GNAT Pro Safety-Critical is ideal for developing software applications deployed in space vehicles or satellites, which require the creation of high-reliability, mission-critical software.
GNAT Pro Safety-Critical is an enhanced version of GNAT Pro, designed for building high-reliability software. It has many features that help to reduce the cost of developing systems that have to conform to Space standards such as ECSS-E-ST-40C (Space Engineering, Software) and ECSS-Q-ST-80C (Space Product Assurance, Software) and other Mission critical 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.
Space Industry Standards
ECSS-E-ST-40C & ECSS-Q-ST-80C
ECSS-E-ST-40C and ECSS-Q-ST-80C are the software-related standards for use in all European space projects and applications. The Ada language and several AdaCore products and technologies are designed to help in the qualification process, such as SPARK Pro, CodePeer, GNATcoverage, GNATcheck, GNATmetric, GNATstack, qualification data packages, specific run-time libraries, etc.