29-Nov-2011 Source: AdaCore
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.
Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a state-of-the-art programming language designed for large, long-lived applications where safety, security, and reliability are critical. AdaCoreâ€™s flagship product is the GNAT Pro development environment, which comes with expert on-line support and is available on more platforms than any other Ada technology. AdaCore has an extensive world-wide customer base; seehttp://www.adacore.com/home/company/customers/ for further information.