• Home
  • Ada Advantages
  • Learn Ada
  • Resources
  • ARA Community
Site Map | Contact Us

Ada Resource Association

News and resource for the Ada programming language

  • Press Release Jun 26 '19

    Code Dx and AdaCore Partner to Provide an Ada Application Security Testing Toolsuite

    Posted by AdaCore
    Code Dx, Inc., provider of an application security management solution, today announced its partnership with AdaCore. Through this partnership, Code Dx Enterprise now supports AdaCore’s CodePeer advanced static analysis tool, an automatic Ada code reviewer and validator.
    Continue Reading
  • Press Release May 26 '19

    PTC ObjectAda includes more Ada 2012 features

    Posted by PTC
    PTC has released of version 10.1 of its popular PTC® ObjectAda for Windows and PTC ObjectAda64 for Windows Ada compiler products. This new release expands the support for Ada 2012 language features to include the complete set of Ada 2012 container packages and support for the associated Ada 2012 language constructs required by those packages. Support for dynamic contracts (preconditions and postconditions for subprograms), aspect specifications, new flexible forms of expressions has also been enhanced in this new release. ObjectAda for Windows and ObjectAda64 for Windows support development of native Windows 32-bit or 64-bit applications using the Microsoft Visual Studio 2017 / 2019 development tools and libraries from the Windows 10 Software Development Kit (SDK).
    Continue Reading
  • Press Release Apr 23 '19

    AdaCore Now a Principal Member of The Open Group FACE™ Consortium

    Posted by AdaCore
    AdaCore, a trusted provider of software development and verification tools for the Ada programming language, is raising its membership level in The Open Group’s Future Airborne Capability Environment (FACE™) Consortium from Associate to Principal.
    Continue Reading
  • Press Release Mar 12 '19

    AdaCore Extends Support for Wind River VxWorks

    Posted by AdaCore
    The GNAT Pro Ada Development Environment is available the latest version of the Wind River® VxWorks® real-time operating system (RTOS) for the ARM 64-bit processor. Other platforms will be available in the coming months.
    Continue Reading
  • Press Release Feb 19 '19

    AdaCore Annual V19 Product Release Brings Performance Improvements and more

    Posted by AdaCore
    The annual major product releases from AdaCore for GNAT Pro and other products have taken place. This brings support for new platforms, performance improvements, and functionality enhancements.
    Continue Reading
  • Press Release Feb 5 '19

    AdaCore Enhances Security-Critical Firmware with NVIDIA

    Posted by AdaCore
    AdaCore is working with NVIDIA to implement Ada and SPARK programming languages for select security-critical firmware used for applications that demand stringent safety and security capabilities, like automated and autonomous driving.
    Continue Reading
  • Press Release Jan 30 '19

    AdaCore Joins the RISC-V Foundation

    Posted by AdaCore
    AdaCore has joined the RISC-V Foundation, a non-profit organization chartered to standardize and promote the free and open RISC-V instruction set architecture (ISA) together with its hardware and software ecosystem. GNAT Pro Ada targeted to bare metal RISC-V 32- and 64-bit architectures, as well as the GNAT Community edition for bare metal RISC-V 32-bit configurations, are now available.
    Continue Reading
  • Press Release Jan 9 '19

    AVIO uses GNAT Pro for European Space Agency Program

    Posted by AdaCore
    The aerospace company AVIO has selected the GNAT Pro Assurance Ada Development Environment, including the GNATemulator host-based target emulation tool, to implement the on-board software for AVIO’s Vega-C launch vehicle. Sponsored by the European Space Agency (ESA), this safety-critical hard real-time embedded system is the flight software that handles guidance, navigation and control for the Vega-C.
    Continue Reading
  • Press Release Jun 5 '18

    PTC ObjectAda for Windows includes Ada 2012 features

    Posted by PTC
    PTC has released version 10.0 of its PTC ObjectAda for Windows and PTC ObjectAda64 for Windows Ada compiler products. This new release introduces support for a substantial initial subset of Ada 2012 language features. It also supports development of native Windows 32-bit or 64-bit applications using the Microsoft Visual Studio 2017 development tools and libraries.
    Continue Reading
  • Press Release May 24 '18

    PTC ApexAda® v5.2 Embedded for ApexAda Exec/Intel64 is shipping

    Posted by PTC
    The PTC ApexAda v5.2 development system for Linux host-based development targeting Intel x86_64 processors running the ApexAda Exec bare-board runtime is now shipping. Included with the 64-bit embedded compiler is the PTC® ApexAda v5.2 64-bit compiler for Linux native application development. Also included is the integrated ApexAda 64-bit C/C++ compiler which facilitates seamless development of mixed-language applications written in Ada, C, and C++. ApexAda V5.2 Embedded compilers provide a complete cross-development toolchain hosted from Linux distributions including RedHat Enterprise Edition, CentOS, and SUSE.
    Continue Reading
previous12345678910111213141516171819next
  • Press
  • Articles
  • Events
Filter by Organization
  • Ada Europe
  • AdaCore
  • Advanced Technologies
  • Altran
  • ARA
  • Atego
  • LDRA
  • OC Systems
  • PTC
  • SIGAda
  • SofCheck
  • Sysgo

ARA Sponsor Spotlight
PTC Logo View All Sponsors

Upcoming Events

  • HILT 2022 – Supporting a Rigorous Approach to Software Development
    Oct 14, 2022 Ann Arbor, Michigan

View All Events




AdaCore PTC Logo

Ada Advantages

  • Ada 202x
  • Ada Overview
  • More Topics of Interest
  • Features & Benefits
  • Ada Comparison Chart
  • Ada 2012
  • Ada 2005
  • SPARK Ada
  • Ada and Multicore
  • Case Studies
  • Ada Projects

Ada Projects

Learn Ada

  • Learning Materials
  • Professional Training
  • Ada in Academia

Resources

  • Ada Standards
  • Free Tools & Libraries
  • Professional Tools and Services
  • Associations
  • Ada on the Web

ARA Community

  • Sponsors
  • Compilers and Conformity
  • Join the ARA
  • ARA Press Releases

Copyright © 2009-2022 Ada Resource Association Site Map | Contact Us