AdaCore, provider of Ada tools and expertise for the mission-critical, safety-critical, and security-critical software communities, today announced that Eurocopter has chosen the GNAT Pro High-Integrity Edition for development of an ARINC-653 demonstrator for military helicopters. The demonstrator will provide military interfaces and operational functions within a time- and memory-partitioned ARINC-653 architecture.
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.
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.
Related Research on ASDReports.com: