Ada Resource Association

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).

New York and Newcastle, United Kingdom, September 22, 2008 – SAFECOMP 2008

AdaCore, provider of the highest quality Ada tools and support, today welcomed the 150th member to the GNAT Academic Program (GAP), demonstrating the success of the company’s grass-roots initiative created to help bring Ada to the forefront of university study.

AdaCore, provider of the highest quality Ada tools and support, today announced the appointment of Ada expert Stephen Baird to the company’s GNAT Pro implementation team. In this role, he will participate in the development and enhancement of the GNAT Pro technology, and provide expert support for AdaCore customers.

GNATPro on RTX produces real-time Ada applications on Microsoft Windows platforms. RTX provides a real-time subsystem that executes in kernel mode with hard, real-time behavior.

The GNAT Ada-Java Interfacing Suite (GNAT-AJIS), which allows developers to build applications using both languages. With GNAT-AJIS, programmers can combine Java applications compiled to the Java Virtual Machine (JVM) and Ada code that has been compiled either natively or to the JVM. Application areas as diverse as financial services, communications, aerospace, defense, and academic research can all benefit from GNAT-AJIS.