Press Release
Mar 3 '20
The winning entries for the 4th annual Make It With Ada contest have been announced. The winner is John Singleton for his SmartBase IoT Adjustable Bed.
Press Release
Feb 18 '20
AdaCore announced that three of its signature software development/verification tools for Ada, SPARK and C have been qualified under the ISO 26262 and IEC 61508 functional safety standards. The tools are GNAT Pro, SPARK Pro, and CCG.
Press Release
Jun 26 '19
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.
Press Release
May 26 '19
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).
Press Release
Apr 23 '19
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.
Press Release
Mar 12 '19
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.
Press Release
Feb 19 '19
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.
Press Release
Feb 5 '19
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.
Press Release
Jan 30 '19
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.
