Eurocopter selected AdaCore's GNAT Pro High-Integrity Edition for development of an ARINC 653 demonstrator for military helicopters, the companies said Tuesday. 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. According to AdaCore, the objectives of the project are 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.