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. The specific product is GNAT Pro High-Integrity Edition for a PowerPC target running VxWorks 653, the time- and memory-partitioned real-time operating system from Wind River Systems.

The Lockheed Martin C-130J Super Hercules is an advanced tactical airlifter, designed for mission flexibility, combat delivery, air-to-air refueling, special operations, disaster relief, and humanitarian missions. Its range, power, performance, safety redundancy, reliability, and sophisticated avionics allow the aircraft to meet demanding mission requirements. With Rolls-Royce AE2100D3 engines and Dowty R391 six-bladed composite propellers, the Super Hercules can operate in hot climates, and handle short, high-elevation airstrips with maximum payload.

The Super Hercules transports 33% more payload, using half the crew, while burning less fuel and flying faster, farther and higher than its predecessors.

• Faster: The C-130J is faster, climbs more quickly, and offers 21% more speed. Time-to-climb is 50% better than earlier model C-130s.

• Higher: The C-130J flies higher, climbs over the weather and has a 40% greater cruising altitude than the C-130H.

• Farther: The C-130J flies much farther with less fuel, providing up to 40% greater range than the C-130H.

GNAT Pro is being used for the Block 7.0 software upgrade of the C-130J - the second cooperative Block Upgrade initiative that is a true international partnership, with the development costs shared among the participating nations, including the US government. This upgrade includes a new Flight Management System developed cooperatively between GE Aviation, Grand Rapids, Michigan, and Lockheed Martin Aeronautics in Marietta, Georgia. Since GE Aviation has used the GNAT Pro development environment on the 787 and C-130AMP upgrade programs, Lockheed Martin’s selection of GNAT Pro will make it easier for the two companies to work together on the C-130J upgrade.

“AdaCore has been providing Lockheed-Martin with Ada development technology and support services for many years, and I look forward to continuing this relationship on the C-130J upgrade project,” said Robert Dewar, President and CEO of AdaCore. “Avionics is a domain where errors can have catastrophic consequences, and I am pleased that Ada and GNAT Pro are being recognized as technologies that can provide the necessary safety and reliability.”

In the United States, the C-130J is used by the U.S. Air Force, Air Force Reserve, Air National Guard, Marine Corps, United States Air Force Special Operations Forces, Mission Rescue Units and Coast Guard. International C-130J operators include the United Kingdom, Australia, Italy, Denmark and Norway, with Canada, India, Qatar and Iraq soon joining their ranks.

About AdaCore
Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a state-of-the-art programming language designed for large, long-lived applications where safety, security, and reliability are critical. AdaCore’s flagship product is the GNAT Pro development environment, which comes with expert on-line support and is available on more platforms than any other Ada technology. AdaCore has an extensive world-wide customer base; see http://www.adacore.com/home/company/customers/ for further information.

Ada and GNAT Pro see a growing usage in high-integrity and safety-certified applications, including commercial aircraft avionics, military systems, air traffic management/control, railroad systems, and medical devices, and in security-sensitive domains such as financial services.

AdaCore has North American headquarters in New York and European headquarters in Paris. www.adacore.com

Press Contacts
press@adacore.com

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

Thales will use the GNAT Pro High-Integrity Edition for DO-178B and the Ada 2005 language to build the Air Data Inertial Reference Unit (ADIRU) for the A350 XWB (Xtra Wide-Body). The ADIRU provides precise in-flight positioning information, and the new system will therefore need to be certified to the highest safety levels. It will meet Level A of the DO-178B standard and use ARINC 653 multi-partition operating system MACS2.

The project promises to advance the state of the art in safety-critical development through a number of innovations including the application of Agile Programming techniques and the safe use of Object-Oriented Programming (OOP) features. Thales will be using the Ada 2005 version of the Ada language, which has introduced additional support for real-time and safety-critical systems and for safe/reliable OOP.

“When it comes to safety-critical systems, the Ada language has an impressive pedigree and track record,” said Francois Brun, Software Design Authority at Thales Aerospace Division - Navigation Unit. “The combination of GNAT Pro and Ada 2005 provides the technology we need to develop the ADIRU software for the new Airbus A350 XWB (Xtra Wide-Body).”

AdaCore is also providing a Qualified Code Standard Checker and a Coverage tool for this program. These tools will be key to the development process of the ADIRU and the generation of safety evidence. AdaCore’s Coverage solution adopts an innovative approach by providing MC/DC coverage information on uninstrumented source code, through the use of a PowerPC simulator. Tool qualification material gives credit to the output of the tools, which speeds up the certification process.

“Thales is leading the way when it comes to safety-critical and avionics system development,” said Michaël Friess, Technical Sales Manager of AdaCore. “It is a pleasure to partner with such a technically advanced team. Our long collaboration with Thales and our regular exchanges with their technical staff have led to strategic advances in AdaCore’s offering. ADIRU is another example of a project that helps our technology progress, and that shows customers that they can count on AdaCore as a reliable partner in their development process.”

The A350 XWB (Xtra Wide-Body) Family is Airbus’ response to widespread market demand for a series of highly efficient, medium-capacity, long-range, wide-body aircraft. With a range of up to 8,300 nm / 15,400 km, it is available in three basic passenger versions: the A350-800, the A350-900 and the A350-1000.

About AdaCore
Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a state-of-the-art programming language designed for large, long-lived applications where safety, security, and reliability are critical. AdaCore’s flagship product is the GNAT Pro development environment, which comes with expert on-line support and is available on more platforms than any other Ada technology. AdaCore has an extensive world-wide customer base; see http://www.adacore.com/home/company/customers/ for further information.

Ada and GNAT Pro see a growing usage in high-integrity and safety-certified applications, including commercial aircraft avionics, military systems, air traffic management/control, railroad systems and medical devices, and in security-sensitive domains such as financial services.

AdaCore has North American headquarters in New York and European headquarters in Paris. www.adacore.com

Press Contacts
press@adacore.com

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. This list includes VxWorks 5, VxWorks 6, supporting both asymmetric multiprocessing (AMP) and symmetric multiprocessing (SMP) configurations, VxWorks 653, VxWorks DO-178B, and VxWorks MILS. GNAT Pro now gives Ada users the widest selection of VxWorks platforms to choose from, whether for new programs or for migration of existing codebases to newer operating systems. In addition, all Wind River platforms supporting deployment in DO-178B certified environments are also supported.

The GNAT Pro product offering for VxWorks satisfies a wide variety of customer application requirements and deployment environments. GNAT Pro for VxWorks 5 and 6 are suitable for general-purpose software development. The specialized GNAT Pro High-Integrity Edition for DO-178B, available for the VxWorks 653 and VxWorks DO-178B Platforms, is targeted to RTCA DO-178B and IEC 61508 safety-critical systems.

For safety-certified environments, AdaCore’s GNAT Pro High-Integrity Edition supports three specific runtime environments that optimize size, performance, and certification effort.

1. The zero-foot-print (ZFP) library simplifies safety certification for sequential applications.

2. The Ravenscar library adds support for tasking or multi-processing.

3. The Cert library adds ARINC653 awareness and supports advanced integrated modular avionics (IMA) features like inter-process or inter-partition communication and synchronization.

GNAT Pro is also available for VxWorks 6, supporting both symmetric multiprocessing (SMP) and asymmetric multiprocessing (AMP) multicore implementation models. This capability allows customers to deploy Ada on advanced multicore processors, and enables high levels of optimization for a variety of challenging multiprocessor designs and configurations.

AdaCore’s GNAT Pro product for VxWorks MILS brings a powerful application development environment to the aerospace and defense industry for developing Ada applications within a MILS (multiple independent levels of security) architecture.

GNAT Pro for VxWorks MILS combines with SPARK Pro (an Integrated Development Environment combined with the SPARK language tool set) to support security certification of user applications or their components to Evaluation Assurance Level (EAL) 5 and higher. SPARK is an Ada subset extended with a contract language that allows a program’s specification to be precisely expressed and verified. It directly supports semi-formal and formal methods as required by EAL 5 and higher, and has a strong track record for both safety-critical and high-security systems. An example of the latter is the NSA-sponsored Tokeneer project (see: http://www.adacore.com/2008/10/06/nsa-releases-secure-software-project-to-open-source-community/)

“Ada is an important technology for Wind River aerospace and defense customers, and AdaCore leads the way in providing Ada toolsets across the full spectrum of VxWorks platforms,” said Rob Hoffman, Vice President and General Manager of Aerospace and Defense at Wind River.“ Ada is well suited for the high-integrity domains that we target, and we are pleased to see GNAT Pro available for our newest products, including VxWorks 6.7 and VxWorks MILS.”

“Wind River’s platforms are a key market for AdaCore, so we placed a high priority on making GNAT Pro available on all the latest versions of VxWorks,” said Robert Dewar, President and CEO of AdaCore.” And our new support for VxWorks MILS, in particular the SPARK Pro tool set, provides a unique capability of creating applications suitable for medium to high assurance deployment. AdaCore’s SPARK Pro tool set is the only program analysis tool to directly help developers certify their high assurance applications in MILS architectures.”

About AdaCore
Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a state-of-the-art programming language designed for large, long-lived applications where safety, security, and reliability are critical. AdaCore’s flagship product is the GNAT Pro development environment, which comes with expert on-line support and is available on more platforms than any other Ada technology. AdaCore has an extensive world-wide customer base; see http://www.AdaCore.com/home/company/customers/ for further information.

Ada and GNAT Pro see a growing usage in high-integrity and safety-certified applications, including commercial aircraft avionics, military systems, air traffic management/control, railroad systems, and medical devices, and in security-sensitive domains such as financial services.

AdaCore has North American headquarters in New York and European headquarters in Paris. www.AdaCore.com

Press Contacts
press@adacore.com

PARIS, NEW YORK and ISTANBUL, May 26, 2009 - DASIA 2009 - AdaCore, provider of the highest quality Ada tools and support, today announced that Astrium in the UK, a wholly owned subsidiary of EADS, dedicated to providing civil and defense space systems and services, has selected the Ada programming language and AdaCore’s GNAT Pro development environment for use on the new Sentinel-1 environmental monitoring satellite.

Sentinel-1 is the first of five families of satellites being developed for the Global Monitoring for Environment and Security (GMES) program. GMES, a joint initiative of the European Commission and the European Space Agency (ESA), is designed to support a sustainable European information network by monitoring, recording and analyzing environmental data and events around the globe. The Sentinel-1 project is scheduled to be completed in October 2011..

This instrument provides high-resolution satellite images by extending radar capabilities to penetrate forests and scrub to reach the ground, and registering any movements or changes on the Earth’s surface within a resolution down to 5 meters. Astrium in the UK will use GNAT Pro to implement the Application Software for the SAR Electronics Sub-system which is used to control Sentinel-1’s C-band Synthetic Aperture Radar (SAR). As part of the project, AdaCore will also port the GNAT Pro for LEON development environment to the Sensor Electronics Sub-system (SES) on-board computer, enabling compliance with the ESA’s stringent ECSS-E-40B and ECSS-Q-80B space engineering and product assurance standards. The LEON2 processor was commissioned by ESA and designed specifically for use in satellite systems.

“Sentinel-1 is a large-scale project that promises to deliver superior environmental monitoring capabilities,” said Paul Southwood, software technical engineer, Sentinel-1 Onboard Software project, Astrium (UK). “We selected Ada based on its reliability and reusability and its strong track record in space applications. We also wanted a development partner that could provide the knowledge, flexibility and responsiveness to meet our specific needs and tight timescales. Astrium has worked with AdaCore on a number of successful satellite and space projects, including the TerraSAR-X, which was the first German radar satellite for Earth observation. This experience combined with company’s partnership approach and support capabilities made AdaCore the perfect choice for the Sentinel-1 project.”

“AdaCore has a long and successful history in the space industry,” said José Ruiz, AdaCore’s team leader on the GNAT Pro Sentinel-1 port. “We are pleased that Astrium in the UK has chosen GNAT Pro as its language technology solution for Sentinel-1, and we look forward to providing a product that will fully meet their project’s requirements.”

About Astrium
Astrium, a wholly owned subsidiary of EADS, is dedicated to providing civil and defense space systems and services. In 2008, Astrium had revenues of €4.3 billion ($6.0 billion) and more than 15,000 employees in France, Germany, the United Kingdom, Spain and the Netherlands. Its three main areas of activity are Astrium Space Transportation for launchers and orbital infrastructure, Astrium Satellites for spacecraft and ground segment, and Astrium Services for the development and delivery of satellite services.

EADS is a global leader in aerospace, defense, and related services. In 2008, EADS generated revenues of €43.3 billion ($60.6 billion) and employed a workforce of more than 118,000. www.astrium.eads.net

About AdaCore
Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a state-of-the-art programming language designed for large, long-lived applications where safety, security, and reliability are critical. AdaCore’s flagship product is the GNAT Pro development environment, which comes with expert on-line support and is available on more platforms than any other Ada technology. AdaCore has an extensive world-wide customer base; see http://www.adacore.com/home/company/customers/ for further information.

Ada and GNAT Pro see a growing usage in high-integrity and safety-certified applications, including commercial aircraft avionics, military systems, air traffic management/control, railroad systems, and medical devices, and in security-sensitive domains such as financial services.

AdaCore has North American headquarters in New York and European headquarters in Paris. www.adacore.com

Press Contacts
press@adacore.com

NEW YORK, PARIS, and SALT LAKE CITY, April 21, 2009 - Systems and Software Technology Conference - AdaCore, leading provider of Ada tools and support, and PARSEC Group, a full-service IT support, training and consulting company, today announced a partnership arrangement that will benefit Ada users porting applications from older HP hardware to Itanium-based Integrity server platforms running OpenVMS, HP-UX, or GNU/Linux. Users subscribing to AdaCore’s GNAT Pro environment will obtain the tools and expertise needed to migrate their Ada applications from VAX, Alpha, or PA-RISC architectures to a modern Itanium platform. Complementing AdaCore’s support, PARSEC Group can provide auxiliary services to answer and address any Operating System and architecture issues. This partnership will provide the companies’ joint customers with a solution that reduces the costs of such ports and provides the support to make them successful.

AdaCore has been supplying the GNAT Pro Ada development environment on HP platforms for over ten years. GNAT Pro is currently available on AlphaServer (OpenVMS), on PA-RISC (HP-UX), and on HP Itanium Integrity servers (OpenVMS, HP-UX, and GNU/ Linux). These are full-featured Ada environments supporting all three versions of the Ada language standard (Ada 83, Ada 95, and Ada 2005). GNAT Pro is integrated smoothly into the host environment; and special attention has been paid to ease the migration of code from other Ada compilers to GNAT Pro. In particular, a variety of GNAT Pro features were designed specifically to help HP Ada (formerly DEC Ada) users port their source code from VAX and Alpha to GNAT Pro on OpenVMS for Integrity servers.

PARSEC Group offers support, training and consulting for the HP operating systems that host GNAT Pro. Their services include performance analysis, network management, device driver development, capacity planning, porting assistance, and platform migration strategies.

“HP platforms are very important in our market,” said Robert Dewar, President and CEO of AdaCore. “A number of large mission-critical applications have been written in Ada for OpenVMS on VAX and Alpha. As these older computers are retired, there is a serious question of how to get the applications running, and in some cases enhance them, on newer architectures. GNAT Pro addresses this issue through particular features, documentation, and AdaCore’s support services. We see PARSEC Group complementing AdaCore’s offerings by supplying specific expertise on HP hardware and operating system issues.”

“PARSEC Group has a number of customers with Ada compilers on older HP platforms,” said Wayne Sauer, CEO of PARSEC Group Inc. “And for customers that are looking for a full-service solution that will help them migrate their code to newer architectures, AdaCore and PARSEC Group can offer a practical solution with excellent ROI.”

About PARSEC Group
Since 1986, PARSEC Group has been providing world-class support and consulting services to hundreds of clients and has trained thousands of technical professionals. The average real-world experience for the company’s consultants/trainers is over 25 years.

PARSEC Group offers a full range of support, consulting, software development, and training services for OpenVMS, Tru64 UNIX, HP-UX, AIX, Solaris, Linux and Microsoft. PARSEC Group’s business practices are based on its dedication to providing clients with the most comprehensive, highest-quality, and guaranteed products and services at the most competitive rates possible.

PARSEC Group’s customers include hundreds of businesses, both large and small, including Fortune 100 companies. Its services cover operating systems that include OpenVMS, Tru64 UNIX, HP-UX, Linux, AIX, VMware and Microsoft Windows.

About AdaCore
Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a state-of-the-art programming language designed for large, long-lived applications where safety, security, and reliability are critical. AdaCore’s flagship product is the GNAT Pro development environment, which comes with expert on-line support and is available on more platforms than any other Ada technology. AdaCore has an extensive world-wide customer base; see http://www.adacore.com/home/company/customers/ for further information.

Ada and GNAT Pro see a growing usage in high-integrity and safety-certified applications, including commercial aircraft avionics, military systems, air traffic management/control, railroad systems, and medical devices, and in security-sensitive domains such as financial services.

AdaCore has North American headquarters in New York and European headquarters in Paris. www.adacore.com

Press Contacts
press@adacore.com

SAN JOSE, Calif. and PARIS, March 31, 2009 - Embedded Systems Conference - AdaCore, provider of the highest quality Ada tools and support, today announced availability of its GNAT Pro Ada development environment for the Atmel® AVR® 8-bit microcontroller. This brings the high-level language benefits of Ada to the embedded systems community who have requirements for low-power and small-memory devices, easing the job of developing safety-critical and high-security deeply embedded applications.

The first user of GNAT Pro for AVR will be the UK’s Atomic Weapons Establishment (AWE). AWE is a long-standing Ada user, and GNAT Pro’s support for the AVR processor will enable AWE to extend its Ada usage to new projects.

GNAT Pro for AVR benefits from the features and functionalities of GNAT Pro’s existing High Integrity Edition. It comes with a Zero Footprint run-time library that is particularly well adapted to meet the small memory constraints of the AVR microcontroller. GNAT Pro for AVR demonstrates the suitability of the Ada programming language for safety-critical development for architectures ranging from 8-bit to 32-bit and 64-bit processors.

“The industry has long been waiting for an Ada solution on 8-bit microcontrollers. GNAT Pro for AVR demonstrates AdaCore’s capability to answer the needs of customers who work in highly constrained environments,” said Michaël Friess, Technical Sales Manager at AdaCore. “Organizations such as AWE that are using the AVR microcontroller will find a product that takes into account the increasing interest in formal methods, providing a natural fit with SPARK and Praxis High-Integrity Systems’ correctness-by-construction approach.”

Atmel’s low-power, high-performance AVR microcontroller handles demanding 8-bit applications. With a single cycle instruction RISC CPU, innovative picoPowerTM technology, and a rich feature set, the AVR architecture ensures fast code execution combined with the lowest possible power consumption.

“Following an extensive evaluation, we decided to standardize on Ada as our development language of choice due to its early error detection and its support for our safety-critical, high-reliability requirements,” said a spokesperson for the UK Atomic Weapons Establishment. “Since many of our projects include deeply embedded systems, GNAT Pro for AVR is an ideal solution.”

About GNAT Pro
The GNAT Pro development environment, available on more platforms than any other Ada toolset, combines industry-leading technology with an expert support infrastructure and provides a natural solution for organizations that need to create reliable, efficient, and maintainable code. GNAT Pro is the first-to-market implementation of the Ada 2005 standard, allowing users to take advantage of the many enhancements in areas such as object-oriented programming, real-time support, and predefined libraries.

At the heart of GNAT Pro is a full-featured, multi-language development environment complete with libraries, bindings, and a range of supplementary tools, including automatic documentation generator, code metric tool, code standard checker, and a unit testing framework. All GNAT Pro technology is distributed with complete source code. GNAT Pro is based on the widely used GCC technology, is subjected to a rigorous quality assurance process, and is backed by rapid and expert support service.

Pricing and Availability
GNAT Pro for AVR is currently available to GNAT Pro customers. Please contact AdaCore (sales@adacore.com) for the latest information on pricing and supported configurations.

About AdaCore
Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a state-of-the-art programming language designed for large, long-lived applications where safety, security, and reliability are critical. AdaCore’s flagship product is the GNAT Pro development environment, which comes with expert on-line support and is available on more platforms than any other Ada technology. AdaCore has an extensive world-wide customer base; see http://www.adacore.com/home/company/customers/ for further information.

Ada and GNAT Pro see a growing usage in high-integrity and safety-certified applications, including commercial aircraft avionics, military systems, air traffic management/control, railroad systems and medical devices, and in security-sensitive domains such as financial services.

AdaCore has North American headquarters in New York and European headquarters in Paris.

Atmel, AVR and picoPower are registered trademarks or trademarks of Atmel Corporation or its subsidiaries, in the US and/or other countries. All other product and service names mentioned are the trademarks of their respective companies.

Press Contacts
press@adacore.com