Press Release
Oct 5 '12
AdaCore today announced the successful usage of its SPARK Pro and GNAT Pro High-Security products by Rockwell Collins in the development of the SecureOne™ Guard, a high assurance cross domain guard for military tactical systems. The SecureOne Guard has strict requirements for reliability and security. In order to meet these needs, Rockwell Collins selected SPARK Pro and GNAT Pro High-Security as key development tools for the project.
Press Release
Jun 21 '12
SmartSide has adopted the Ada programming language and GNAT Pro for the implementation of their Smart Devices platform. SmartSide provides Smart Metering and Smart Grid management solutions which are used to optimize Smart Grid networks.
Press Release
Jun 12 '12
Saab Electronic Defence Systems (Sweden) has adopted the CodePeer static analyzer tool for use on the GIRAFFE project.
Press Release
Feb 28 '12
Open-source research projects combine model-based integration and qualified code generation for safety-critical systems
Press Release
Feb 28 '12
Full support for the upcoming Ada 2012 language standard
Press Release
Jan 10 '12
Ada expert Tucker Taft joining AdaCore as Director of Language Research
Press Release
Sep 27 '11
GPS 5.1 Integrated Development Environment brings new C/C++ features, improved support for CodePeer, and more powerful source editing
Press Release
Sep 27 '11
Digicomp Research has reaffirmed their commitment to Ada based on their continuing success with the language, by renewing their long-standing subscription for the GNAT Pro Ada development environment.
Press Release
Jul 6 '11
Open Source coverage analysis tool wins prize in 14th annual award program
Press Release
Jun 30 '11
GNAT Pro to be used for safety-critical software development of railway control system
