Ada Resource Association

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.

Ada development support for Nucleus brings reliability to high-volume, embedded computing

BOSTON, October 28, 2008 – Embedded Systems Conference – AdaCore, provider of the highest quality Ada tools and support, today announced the availability of GNAT Pro for Nucleus® OS, the embedded operating system from Mentor Graphics. Nucleus OS offers a highly configurable kernel and utility extensions, making it a popular choice for small, high-volume embedded computing applications where low cost and high reliability are critical.

Ada now available on embedded Linux

BOSTON, October 28, 2008 – Embedded Systems Conference – AdaCore, provider of the highest quality Ada tools and support, and SYSGO, supplier of software and firmware products and services for the embedded system marketplace, today announced the availability of GNAT Pro for ELinOS™, the industrial grade embedded Linux® operating system from SYSGO.

Tokeneer project shows the way to develop secure systems in a rigorous and cost-effective manner

NEW YORK, PARIS, and BATH, U.K., October 6, 2008, – VSTTE 2008 – The development of highly secure, low defect software will be dramatically helped by the release of the Tokeneer research project to the open source community by the US National Security Agency (NSA).