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.”
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.
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 www.adacore.com/customers/ 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. www.adacore.com
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.