Eurocopter Selects AdaCore's GNAT Pro High-Integrity Edition
- Military Helicopter ARINC 653 Demonstrator Project
The GNAT Pro High-Integrity Edition for DO-178B will be used to port military avionics operational functions and Ada software drivers onto an ARINC-653 platform. The objectives of the project are twofold: to demonstrate Integrated Modular Avionics (IMA) capabilities at the test rig level in the military domain, and to provide an ARINC-653 platform to capture technical and process requirements for following IMA military projects.
Conference Documentation - Military Flight Training 2013
The GNAT Pro High-Integrity Edition for DO-178B is an enhanced version of the GNAT Pro Ada development environment, designed for building safe and secure software. In addition to some of its toolchain features, specifically developed for the highest levels of safety, it includes qualifiable tools (coding standard checker, static stack size analyzer) that help reduce the cost of developing and certifying systems that have to meet safety standards such as DO-178B. Key to achieving this goal is the product's fully configurable and customizable run-time library. Units can be selected in an a la carte fashion, thus limiting the run-time library to just those units that are required for the Ada features used in the application, while also making it possible to adapt their implementation, if desired.
Source : Adacore