Press Release
Feb 25 '14
AdaCore today announced the next major release of its Ada development environment, GNAT Pro 7.2. This latest GNAT Pro toolsuite incorporates more than 120 new features, many of which are based on customer suggestions. This latest GNAT Pro toolsuite includes several new tools, is available on additional platforms, implements the Ada 2012 language standard by default, and extends its coverage of ARM configurations.
Press Release
Feb 6 '14
CodePeer 2.3 is the latest version of AdaCore’s static analysis tool for the automated review and validation of Ada source code. CodePeer assesses potential bugs before program execution to find errors efficiently and early in the development life cycle. It also performs impact and vulnerability analysis when existing code is modified, and, using control-flow, data-flow and other advanced static analysis techniques, the tool detects problems that would otherwise only be found through labor-intensive debugging.
Press Release
Feb 6 '14
GNATcoverage 1.2 is the latest version of AdaCore’s source and object code coverage analysis tool. GNATcoverage does not require instrumentation of the executable, and this new product release supports usage with an iSystem hardware probe generating Nexus trace data, as well as usage with Valgrind on Linux.
Press Release
Jul 3 '13
The GNAT Pro Ada development environment is now available for the Wind River Linux platform. This new implementation brings the Ada language’s reliability benefits to the increasingly popular Wind River Linux system. AdaCore offers the industry’s leading Ada solution for Wind River’s products, including a GNAT Pro implementation for Wind River’s VxWorks® real-time operating system (RTOS).
Press Release
May 29 '13
AdaCore and its research partners today announced the successful completion of Project Hi-Lite, a three-year, €3.9 million effort aimed at popularizing formal methods in the development of high integrity software by combining formal verification and testing. Hi-Lite took advantage of Airbus’ decade-long experience using formal verification methods to create high integrity systems, and leveraged the powerful industrial tools already developed by the project partners. The work was sponsored by the French Government and the General Council of the Département of Essonne and was conducted by a partnership comprising AdaCore, Altran, Astrium Space Transportation, CEA List, INRIA Toccata and Thales Communications.
Hi-Lite’s main goal was to make formal verification faster and easier to use across large, multi-language projects that need to meet safety certification criteria, and the project has successfully achieved this objective. “Hi-Lite has allowed us to take advanced program proving technology that was developed in academia and adapt it for industrial use,” said Yannick Moy, Hi-Lite Project Manager at AdaCore. “The project has shown that formal verification can complement testing and play a prominent and practical role in verifying critical software.”