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.
Press Release
Feb 1 '11
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.
Press Release
Feb 1 '11
Today, AdaCore announced the release of GNATcoverage, a tool that analyzes and reports program coverage. Originally developed as part of the Couverture research project, GNATcoverage performs coverage analysis on both object code — instruction and branch coverage – and Ada and C language source code – statement, decision and Modified Condition/Decision Coverage (MC/DC).
Press Release
Oct 26 '10
GPS 5.0 Integrated Development Environment brings enhanced multi-language support, more powerful source editing, and improved ease of use
Press Release
Sep 21 '10
AdaCore, a leading supplier of Ada development tools and support services, today announced a comprehensive set of tools and support services for projects where Ada is used in conjunction with other programming languages. Available with GNAT Pro 6.3, the latest release of AdaCore’s Ada Development Environment, the solutions include tools and libraries to handle the various ways in which multi-language systems are designed and constructed.
Press Release
Sep 21 '10
New platforms and features benefit Ada developers on Wind River Workbench