Ada Resource Association

Automated code review assistant helps eliminate bugs and vulnerabilities

NEW YORK and PARIS, January 12, 2010 – AdaCore, a leading supplier of Ada development tools and support services, today announced the release of CodePeer, a source code analysis tool that detects run-time and logic errors in Ada programs. Serving as an efficient and accurate code reviewer, CodePeer identifies constructs that are likely to lead to run-time errors such as buffer overflows, and it flags legal but suspect code typical of logic errors.

Praxis and AdaCore launch SPARK GPL, which makes the SPARK technology available under the GNU Public License (GPL). This brings a professional-grade toolset for high-assurance and safety-critical software development to the academic community and developers of Free Software.

AdaCore Announces Release of GNAT Pro for LynxOS 5.0
GNAT Pro 6.2.2 available for both PowerPC and x86 targets

NEW YORK, PARIS and BOSTON, September 22, 2009 – Embedded Systems Conference – AdaCore, a leading supplier of Ada development tools and support services, today announced the release of the GNAT Pro Ada development environment for the LynuxWorks LynxOS 5.0 operating system. This release allows GNAT Pro users to develop applications for both LynxOS 4.x and 5.0, and also provides a smooth migration path from older versions of the operating system to LynxOS 5.0. GNAT Pro for LynxOS 5.0 is available for both Linux and Windows host platforms, and for both PowerPC and x86 embedded targets.

New Release of GNATbench for Wind River Workbench Extends AdaCore’s Eclipse Technology – Ada plug-in supports latest Wind River Workbench version

NEW YORK, PARIS and FRAMINGHAM, Mass., September 17, 2009 – Wind River Aerospace and Defense Regional Conference – AdaCore, a leading supplier of Ada development tools and support services, today announced a new release of its Ada Integrated Development Environment (IDE) plug-in, GNATbench 2.3.1.

SPARK used to develop safety-critical system for AgustaWestland AW159 Lynx Wildcat.

Praxis, the international specialist in critical systems engineering and assurance, today announced that General Dynamics UK has selected Praxis’ SPARK language as part of its £6 million contract to develop the safety-critical Stores Management System for the Royal Navy’s new AgustaWestland AW159 Lynx Wildcat helicopter.

AdaCore, a leading supplier of Ada development tools and support services, today announced that international electronics and systems group Thales has chosen the GNAT Pro technology, including several safety-qualified tools, to develop critical systems for the new Airbus A350 XWB (Xtra Wide-Body) family.

AdaCore’s Ada development environment chosen for Block 7.0 Upgrade

SAN DIEGO, NEW YORK and PARIS, June 1, 2009 – Avionics USA – AdaCore, a leading supplier of Ada development tools and support services, today announced that Lockheed Martin Aeronautics, Marietta, Georgia, will be using GNAT Pro to develop the Flight Management System Interface Manager and Radio Control software on the C-130J Super Hercules aircraft.

GNAT Pro now available for Wind River’s VxWorks 653, VxWorks MILS, VxWorks DO-178B, and VxWorks 6.7, including both AMP and SMP configurations.

SAN DIEGO, NEW YORK and PARIS, June 1, 2009 – Avionics USA – AdaCore, a leading supplier of Ada development tools and support services, today announced the availability of GNAT Pro on all active versions of Wind River’s VxWorks real-time operating system.