Ada Resource Association

New open source tool suite improves high assurance software projects

NEW YORK, PARIS and LONDON, March 24, 2009 – Ada UK Conference – Developers creating safety critical and high assurance systems will benefit from today’s launch of SPARK Pro. The new open source development environment has been created by Praxis, international specialist in critical systems engineering, and AdaCore, the leading provider of commercial software solutions for the Ada language.

Leading defense and aerospace company adopts AdaCore’s GNAT Pro development environment

AMSTERDAM and NEW YORK, March 11, 2009 – Avionics 2009 – AdaCore has announced a corporate-wide, unlimited-usage licensing agreement with BAE Systems UK, providing every BAE Systems developer in the UK with access to AdaCore’s GNAT Pro Ada development environment. This contract potentially applies to all Ada projects at BAE Systems UK facilities. Existing projects can freely migrate to GNAT Pro, and new Ada projects can select GNAT Pro, with no additional costs to BAE Systems UK.

Provides customized source-to-object code traceability analysis

PARIS, NEW YORK and AMSTERDAM, March 11, 2009 – Avionics 2009 – AdaCore, leading provider of Ada tools and support, today announced the availability of the GNAT Pro Traceability Analysis Package. This product and services solution comprises an Ada language feature analysis, including test cases and GNAT Pro switch recommendations, that can help developers demonstrate compliance of safety-critical software with the DO-178B avionics standard.

New release brings technology upgrades and productivity-enhancing features

NEW YORK, PARIS and NÜRNBERG, Germany, March 3, 2009 (Embedded World Conference) – AdaCore, leading provider of Ada tools and support, today announced GNAT Pro 6.2, the latest major release of its flagship GNAT Pro Ada development environment. This new release is now available on 18 native and 28 cross platforms.

Bringing a multi-threaded language to multi-core

NEW YORK, PARIS, and SAN DIEGO – MILCOM 2008 -AdaCore, provider of the highest quality Ada tools and support, today announced the availability of GNAT Pro for Wind River’s VxWorks 6.6 SMP product. This powerful Ada development environment brings a language that was designed from the ground up to support multi-processing to an operating system that takes advantage of multi-core processors.

New GPS 4.3 Integrated Development Environment enables easy configurability for multiple toolchains

NEW YORK and STUTTGART, Germany, November 19, 2008 – Automotive – Safety & Security 2008 / Ada Deutschland – AdaCore, provider of the highest quality Ada tools and support services, today announced the release of GNAT Programming Studio (GPS) 4.3 – an advanced, powerful Ada-oriented Integrated Development Environment (IDE) that accompanies the AdaCore GNAT Pro toolset on most platforms.

New Member of the GNAT Pro Family to Support Multiple Independent Levels of Security

NEW YORK, PARIS, and SAN DIEGO, November 17, 2008 – MILCOM 2008 – AdaCore, provider of the highest quality Ada tools and support, today announced plans to fully support the VxWorks MILS product line for medium and high security levels of the Common Criteria: Evaluation Assurance Level (EAL) 4 and above.

Product integration takes the SPARK language and toolset to the next level

BOSTON, October 28, 2008 – Embedded Systems Conference – Praxis, international specialist in critical systems engineering, and AdaCore, provider of the highest quality Ada tools and support, have announced the formation of a long-term partnership with the intent of taking the SPARK language and toolset to a new level in technical capability, marketing and sales.