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
Press Release
Jun 7 '11
Increased flexibility and functionality for high-assurance systems
Press Release
May 2 '11
The SPARK language shown to have fewest vulnerabilities.
Press Release
May 2 '11
GNAT Pro to be used on high-assurance software for global location and data collection system.
Press Release
May 2 '11
GNAT Pro High-Integrity Edition for DO-178B used for EFIS/EICAS upgrade and modernization
Press Release
Mar 1 '11
EADS CASA is using the GNAT Pro High-Integrity Edition to implement the data exchange and air-to-ground data links systems for the nEUROn Unmanned Combat Air Vehicle (UCAV) demonstrator.
Press Release
Mar 1 '11
AdaCore, provider of tools and expertise for the mission-critical, safety-critical, and security-critical software communities, today announced that Airbus Military has successfully certified the Airbus Military Aerial Refueling Boom System (ARBS) on the A330 Multi Role Tanker Transport (MRTT). The certification was simplified by the use of the qualified GNATcheck tool to verify conformance to the software coding standard required by the ARBS project. Verification of conformance was undertaken as part of the DO-178B level A Software Verification Process.
