Log in to use our free company, program and sector update tracker feature.

Front page

Thales Aerospace Division selects GNAT Pro for Airbus A350 XWB (Xtra Wide-Body)

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

Press release issued by AdaCore on June 1, 2009


 Contact details from our directory:
Thales Group Aerospace Division Inflight Entertainment, Airborne Electrical Power Supplies, Cockpit Control Systems, Flight Management Systems
AdaCore Computer-aided Design


 Related aircraft programs:
Airbus A350 XWB


 Related directory sectors:
Flight and Data Management
Design Software

Enhanced listings:

Ascent Aerospace
Ascent Aerospace is the leading provider of aerospace tooling systems, assembly automation and factory integration.

Victrex Plc
New VICTREX® AE250 composites and hybrid molding technology are changing the equation in Aerospace composites – find out more!

United Performance Metals
A global distributor and processor of titanium products for over 40 years, and a leading supplier to the aerospace industry

Belden Universal
Specialty universal joints and drive shafts, designed to satisfy even the most rigorous operating criteria. Belden Universal is AS9100C certified.

MW Industries, Inc
Design and manufacture springs, fasteners and related products for aerospace including: engine components, flight controls, propulsion, landing gear, interiors, avionics, and space exploration vehicles.

See our advertising tariff.


data pages remaining in monthly quota for non-subscribers

© Copyright of Airframer Limited, operated under licence by Stansted News Limited 2016. Terms & Conditions of reading.