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

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.

SPARK Pro combines the proven SPARK language and supporting toolset with AdaCore’s easy-to-use GNAT Programming Studio (GPS) Integrated Development Environment, backed by unrivalled support services. This provides a powerful method for developing critical systems.

Developed by Praxis, SPARK is a language specifically designed to support the development of software used in applications where correct operation is vital either for reasons of safety or security. The SPARK Toolset offers static verification that is unrivalled in terms of its soundness, low false-alarm rate, depth and efficiency. The toolset also generates evidence for correctness that can be used to build a constructive assurance case in line with the requirements of industry regulators and certification schemes. There are versions of SPARK based on Ada 83, Ada 95, and Ada 2005, so all leading Ada compilers and tools work out-of-the-box with SPARK.

The new development environment will be globally available from AdaCore, with support delivered by both companies using AdaCore’s web based GNAT Tracker support system. Existing SPARK users have the option to transition to the new environment, which is also available as a standalone product. The launch of SPARK Pro is the first available product following the technical and marketing partnership announced in Q4 2008 between Praxis and AdaCore.

“SPARK continues to be used for the development of new, advanced, critical systems as well as support of existing operational systems, so it is vital that it continues to develop – SPARK Pro is a major step forward in usability and support through our partnership with AdaCore,” said Keith Williams, Praxis Managing Director. “The launch of SPARK Pro integrates the strengths of the best development tools in the market. Our partnership combines our proven expertise with AdaCore’s user interface, global reach and support systems to deliver the perfect solution for safety and security developers. This is great news for the SPARK language and our existing and future customers.”

“AdaCore and Praxis share a commitment to enabling high-quality, high-integrity development,” said Robert Dewar, AdaCore President and CEO. “I am excited by the possibilities of this partnership. The SPARK technology is an outstanding demonstration of the fact that formal methods technologies are practical today, and hold enormous promise for the future. The launch of SPARK Pro, which integrates SPARK Pro and GNAT Pro into a coherent FLOSS tool set and environment, extends the benefits of SPARK to existing and new GNAT Pro users. I expect this combination to play a major role in high-integrity development, especially for the increasingly important security-critical area”.

“Praxis has worked with AdaCore for many years and the development of common technology was the next logical step,” said Sylvain Haman, Praxis Director. “SPARK Pro will enable our clients world-wide to ensure correctness of their software while enjoying the convenience of an enhanced development environment.”

Praxis and AdaCore have a long history of working together on high profile systems. These include the Tokeneer project developed by Praxis for the US National Security Agency (NSA) using the SPARK Ada language and toolset and AdaCore GNAT Pro.

Webinar
A joint webinar between AdaCore and Praxis to discuss the benefits and provide a demonstration of SPARK Pro will be held on April 21, 2009. It will begin at 5pm European Daylight Time/4pm GMT Daylight Time/11am Eastern Daylight Time/8am Pacific Daylight Time. To register please visit https://adacore.webex.com/adacore/onstage/g.php?t=a&d=718810241.

About Praxis
Praxis is a systems engineering company specializing in safety and mission critical applications. Praxis leads the world in specific areas of advanced systems engineering, such as ultra low defect software engineering, safety engineering for complex or novel systems, and tools/methods for systems engineering. Praxis offers clients a range of services including turn-key systems development, consultancy, training and R&D. Key market sectors are Aerospace, Defence, Air Traffic Management, Railways, Nuclear and Automotive. The company operates internationally with active projects in North America, Asia and Europe. The headquarters of Praxis are in Bath (UK) with further offices in London, Loughborough, and Paris. It is wholly owned by Altran Technologies, which is a global leader in innovation engineering and has 18, 500 staff across the world. www.praxis-his.com

About AdaCore
Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, the 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 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, railway 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

Leena Chauhan
Praxis
leena.chauhan@praxis-his.com

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.

Depending on the application’s criticality level, DO-178B demands varying depths of analysis for showing coverage of the requirements by the software. In general it is sufficient to demonstrate coverage based on the source code. However, at the highest level (DO-178B, Level A), if the compiler generates object code not directly traceable to source code, then the developer needs to perform additional verification on the object code to establish the correctness of such generated code. The GNAT Pro Traceability Analysis Package provides a product/services solution that can reduce this effort.

“For a system at DO-178B Level A, a failure could be catastrophic and cause the loss of human life,” said Cyrille Comar, Managing Director, AdaCore Europe. “The release of the Traceability Analysis Package is a natural extension of our tool support for developers working in this critical area. It uses our intimate knowledge of both the Ada programming language and the GNAT Pro technology to provide accurate source-to-object code traceability analysis.”

“The GNAT Pro Traceability Analysis Package allows developers to use richer subsets of Ada while reducing certification costs,” said Robert Dewar, AdaCore President/CEO. “Although the code compiled for a more sophisticated feature might not be directly traceable to the source program construct, the analyses supplied in the Package provide the additional verification needed for compliance with DO-178B, Level A. The result is an overall reduction of effort and better usage of Ada language features.”

The GNAT Pro Traceability Analysis Package includes the following items, which AdaCore prepares based on a safety-oriented coding standard supplied by the customer:

Consistency analysis of the coding standard

Recommendations for those compilation switches and language restrictions offering the best tradeoff between performance of generated code and ease of showing traceability between source and object code

A test suite representative of the subset of the Ada language allowed by the customer’s coding standard

The analysis, for each test, of the traceability of the generated object code

Additional verification to establish the correctness of generated code that is not directly traceable to source code.

The Traceability Analysis Package complements AdaCore’s existing GNAT Pro High-Integrity Edition for DO-178B. This environment includes GNATcheck, a coding standard verification tool. With GNATcheck developers can enforce the specified coding standard or language subset covered by the Traceability Analysis Package.

Along with its partners, AdaCore is also heavily involved in “Project Coverage”, the first Open Source code coverage project for DO-178B and safety-critical systems. “Project Coverage” will produce a Free Software coverage analysis toolset together with artifacts that allow the tools to be used by developers of safety-critical and mission-critical projects, including systems that need to be certified under safety standards such as DO-178B. “Project Coverage” participants are AdaCore, Open Wide, ENST and LIP6 with financial support from French public funds.

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

About AdaCore
Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a modern 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 worldwide customer base; see http://www.adacore.com/home/company/customers/ for further information.

Ada and GNAT Pro continue to see 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 Contact
press@adacore.com

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.

More than 600 current developers will benefit under this new contract. Developers now have access to GNAT Pro on 15 major native and cross development platforms that are in use across BAE Systems UK.

BAE Systems UK has a long history of successful use of the Ada programming language. Current and recent projects include the Eurofighter Typhoon aircraft, Maritime Composite Training System (MCTS), Harrier and Nimrod updates, and the Seawolf Mid-Life Update (SWMLU) ship defense system. Future BAE Systems Ada programs will be able to take advantage of this corporate-wide agreement, with immediate cost savings for software tool procurement.

“This landmark investment by BAE Systems UK demonstrates how Ada continues to be the standard for development in the safety-critical aerospace and defense markets,” said Franco Gasperoni, managing director of AdaCore. “This agreement builds on our long-term relationship with BAE Systems UK, and the large number of developers that can benefit demonstrates the importance of Ada to BAE Systems UK.”

The Ada programming language, which has evolved from Ada 83 to Ada 95 and more recently Ada 2005, is designed specifically for large, long-lived applications where reliability, efficiency, safety and security are vital. AdaCore’s technical team has been closely involved with the Ada language since its inception, and the GNAT Pro development environment combines state-of-the-art technology with expert support to provide a natural solution where efficient and reliable code is critical.

AdaCore already has a strong presence in the aerospace and defense markets. In addition to working with BAE Systems, the company has corporate agreements with MBDA and other major defense contractors.

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

About BAE Systems
BAE Systems is the premier global defense and aerospace company delivering a full range of products and services for air, land and naval forces, as well as advanced electronics, information technology solutions and customer support services. With approximately 100,000 employees worldwide, BAE Systems’ sales exceeded £15.7 billion (US $31.4 billion) in 2007.

Press Contact
press@adacore.com

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. It offers over 130 new features, including increased support for code coverage and source-to-object traceability, which are important for safety-critical and high-reliability application development.

“GNAT Pro 6.2 incorporates important enhancements to the underlying GCC-based compiler technology while also offering well over a hundred specific new features, almost all of which are based on user requests,” said Robert Dewar, President and CEO of AdaCore. “The result is a production-quality Ada development environment and toolset that customers can use in domains ranging from safety-critical small-footprint embedded programs to large-scale enterprise systems.”

“This latest version continues AdaCore’s tradition of providing annual major releases of GNAT Pro on nearly 150 different machine-OS configurations,” said Cyrille Comar, Managing Director, AdaCore EU. “The portability of both the Ada language and the GNAT Pro technology makes it possible for us to offer the product on native platforms running operating systems such as Windows, GNU/Linux, and VMS, and in cross environments targeted to real-time operating systems including VxWorks and LynxOS.”

Release Adds New Technology, Advanced Features, New Tools

As a general upgrade to the underlying technology, the GNAT Pro compiler back end is now based on GCC 4.3, which brings improved code generation, and the debug engine is now based on GDB 6.8, which provides better debugger performance. Complementing these enhancements are specific features including a more efficient implementation of stack checks, overflow checks, and validity checks, and new attributes and pragmas for use with generics. GNAT Pro 6.2 also includes features for associating pre- and post-conditions with subprograms and for selectively enabling or disabling groups of assertions.

Several existing tools have been enhanced. As an example GNATcheck, a coding standard checker, now supports additional verification rules that are especially useful to teams developing high-reliability software.

GNAT Pro 6.2 has added two new tools – the GNAT Ada Java Interfacing Suite (GNAT AJIS) and GNAT Components Collection (GNATcoll). GNAT AJIS allows users to combine natively compiled Ada code with Java applications that run on a Java Virtual Machine (JVM), through the Java Native Interface (JNI). Using GNAT AJIS, Java code can call natively-compiled Ada, and Ada programs can call Java, in a type-safe manner and without the need for users to write low-level JNI-based “glue” code. GNATcoll is a suite of reusable software components comprising packages that AdaCore developed for the implementation of the GNAT compiler and toolset but which are of general utility.

Also available with GNAT Pro 6.2 is GPS 4.3, the latest version of AdaCore’s extensible GNAT Programming Studio Integrated Development Environment (IDE). Among other new features, GPS 4.3 allows use of multiple versions of the same toolchain, for example an older baselined version of the GNAT Pro compiler for code generation, and a newer version of the GNAT Pro technology for code browsing. The redesigned builder module enables full customization, aiding development flexibility, and the improved documentation generator includes support for predefined and user-defined tags. Additional information on this new version of GPS can be found at the AdaCore web site at: http://www.adacore.com/2008/11/19/gps-4-3

Pricing and Availability
GNAT Pro 6.2 is available immediately on most supported platforms. Please contact AdaCore (sales@adacore.com) for further details on pricing and supported configurations.

About AdaCore
Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a modern 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 worldwide customer base; see http://www.adacore.com/home/company/customers/ for further information.

Ada and GNAT Pro continue to see 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 Contact
press@adacore.com