Ada Resource Association

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.

Open Source coverage analysis tool wins prize in 14th annual award program

GNAT Pro to be used for safety-critical software development of railway control system

Increased flexibility and functionality for high-assurance systems

The SPARK language shown to have fewest vulnerabilities.

GNAT Pro to be used on high-assurance software for global location and data collection system.

GNAT Pro High-Integrity Edition for DO-178B used for EFIS/EICAS upgrade and modernization

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.

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.

AdaCore announces the release of GNATemulator, an efficient and flexible emulator solution for testing embedded software applications. Based on the QEMU technology, a generic and open source machine emulator and virtualizer, the new GNATemulator tool allows software developers to compile code directly for their target architecture and run it on their host platform, through an approach that translates from the target object code to native instructions on the host.