industry news
Subscribe Now

Ada on Board: Thales Using AdaCore’s GNAT Pro for Critical Avionics Software

Qualified autocode generator implemented in Ada

MERIGNAC, France & PARIS & NEW YORK, October 31, 2017 – AdaCore today announced that its GNAT Pro Ada environment has been successfully used by Thales to develop and verify a qualified autocode generator for critical airborne software. Thales implemented the autocode generator in Ada; the tool takes an XML file and produces source code for an embedded avionics system that will be assessed against the Level B objectives in DO-178C / ED-12C.

The development process for the autocode generator has been performed according to the European Aviation Safety Agency (EASA) DO-330 / ED-215 Tool Qualification Considerations standard, and the tool has been qualified for the avionics project at tool qualification level TQL‑2.

In addition to the compilation environment used for the development and verification of the autocode generator, several AdaCore tools have also been used for the avionics software itself. These include the GNAT Programming Studio (GPS) Integrated Development Environment (IDE), the GNATcheck coding standard verifier, and the GNATcoverage structural coverage analyzer.  According to the Thales engineer in charge of the autocode generator, using an automated coding standard verifier and a qualified structural code coverage analyzer greatly helped the project complete the Tool Verification Process.

“AdaCore has a long and successful history in the avionics industry, with a growing product range that has enabled customers to develop and verify safety-critical software at the highest levels of DO-178B/C / ED-12B/C certification,” said Jamie Ayre, Commercial Team Lead at AdaCore. “We are pleased to see GNAT Pro Ada being used by Thales, both for their application itself and also the qualified autocode generator that is producing the code.”

About Ada

Ada is an internationally standardized (ISO) programming language designed for long-lived, high-reliability, embedded real-time systems, embodying sound software engineering features for both sequential and concurrent applications while also providing facilities for low-level programming. The most recent version of the language, Ada 2012, includes features for contract-based programming (such as subprogram pre- and postconditions) that embed low-level requirements in the source code where they can be verified either dynamically with run-time checks or at compile time with appropriate tool support.

About AdaCore

Founded in 1994, AdaCore supplies software development and verification tools for mission-critical, safety-critical and security-critical systems. Four flagship products highlight the company’s offerings:

  • The GNAT Pro development environment for Ada, a complete toolset for designing, implementing, and managing applications that demand high reliability and maintainability,
  • The CodePeer advanced static analysis tool, an automatic Ada code reviewer and validator that can detect and eliminate errors both during development and retrospectively on existing software,
  • The SPARK Pro verification environment, a toolset based on formal methods and oriented toward high-assurance systems, and
  • The QGen model-based development tool suite for safety-critical control systems, providing a qualifiable and customizable code generator, a static verifier for Simulink® and Stateflow®models, and a model-level debugger.

Over the years customers have used Ada and AdaCore products to field and maintain a wide range of critical applications in domains such as commercial avionics, automotive, railway, space, military systems, air traffic management/control, medical devices and financial services. AdaCore has an extensive and growing worldwide customer base; see for further information.

AdaCore products are open source and come with expert online support provided by the developers themselves. The company has European headquarters in Paris and North American headquarters in New York.

About Thales

Thales is a global technology leader for the Aerospace, Transport, Defense and Security markets. With 64,000 employees in 56 countries, Thales reported sales of €14.9 billion ($17.9 billion) in 2016. With over 25,000 engineers and researchers, Thales has a unique capability to design and deploy equipment, systems and services to meet the most complex security requirements. Its exceptional international footprint allows it to work closely with its customers all over the world.

Leave a Reply

featured blogs
Mar 16, 2018
MICRO RUGGED CONNECTORS Most designers think the smaller the connector, the more fragile and delicate it is.  We don'€™t usually think of micro pitch connectors as being rugged, as being able to handle high mating cycles, or as having robust mechanical strength on the PCB,...
Mar 16, 2018
If you want to know why I made the trek from California to Shanghai to attend SEMICON China, it is well summed up in the press release that SEMI put out on opening day: SEMICON China 2018 opens today at SNIEC in Shanghai with a record 70,000 visitors expected with 3,600 booth...
Mar 16, 2018
Executive Insight: Wally Rhines Using thermofluid simulation to optimize liquid cooling of avionics power systems Mentor framework pulls devices into the cloud A Simple Way To Improve Automotive In-System Test The IIoT is Fragmented'€”How Will We Fix It? Executive Insigh...
Mar 5, 2018
Next-generation networking solutions are pushing processing out of the cloud and towards the network'€™s edge. At the same time, processing structures architected around programmable logic provide the ability to make computing much more data-centric. Programmable logic make...