GNAT Pro Safety-Critical is ideal for developing software applications that must meet the RTCA DO-178B / DO-178C and EUROCAE ED-12B safety standards required for avionics flight critical systems.
GNAT Pro Safety-Critical is an enhanced version of GNAT Pro, designed for building safe and secure software. Its many features help to reduce the cost of developing and certifying systems that have to meet safety standards such as RTCA DO-178B / DO-178C and EUROCAE ED-12B and other high-integrity standards. Key to achieving this goal is the product’s fully configurable and customizable run-time library. You can select units 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, and you can adapt their implementation if desired.
GNAT Pro Safety-Critical is a complete development environment with full DO-178B / DO-178C Level A certification materials. It has passed formal certification as a part of multiple avionics flight critical systems.
Avionics Industry Standards
The purpose of RTCA DO-178B / EUROCAE ED-12B is to provide guidelines for the production of software for airborne systems and equipment that performs its intended function with a level of confidence in safety that complies with airworthiness requirements. The guidelines are in the form of:
Objectives of software life cycle processes
Description of activities and design considerations for achieving these objectives
Description of the evidence that indicate that the objectives have been satisfied
The document discusses those aspects of airworthiness certification that pertain to the production of software for airborne systems and equipment used on aircraft or engines.
More on DO-178B
The RTCA/EUROCAE’s DO-178B avionics safety standard went through a revision that ended with the publication of the new DO-178C standard in December 2011. The core document is substantially the same as DO-178B, with a number of clarifications and a few minor corrections. The major change is the inclusion of several supplements. One supplement deals with tool qualification, and three others adapt the core document guidance when specific technologies are used: Model-Based Development, Object-Oriented Techniques, and Formal Methods. AdaCore participated in the DO-178C revision process, with Dr. Cyrille Comar contributing to the Object-Oriented Techniques subgroup.
The Ada language and the AdaCore tools that are designed to help in DO-178B certification are equally useful for the new DO-178C standard. These include GNAT Pro Safety-Critical, SPARK Pro, GNATcoverage, GNATcheck, GNATstack, Qualification material, Traceability studies, specific runtimes, etc.