The GNAT Pro High-Integrity Edition supports safety-critical development with the tools and certification materials needed to meet leading safety-critical standards such as: DO-178B/C for avionics, the generic IEC 61508, EN 50128 for railway systems, Def Stan 00-55/56, and other related standards. This package is the ideal environment for developing any high-reliability / safety-critical embedded application. DO-178B Level A certification and qualification packages are available. These packages have already passed formal certification as a part of multiple avionics flight critical systems.
The GNAT Pro High-Integrity Edition for MILS is a product set designed specifically to meet high security requirements of Evaluation Assurance Levels EAL 5-7. At the core of the High-Integrity Edition for MILS product set is the SPARK Pro language and tool set. This product supports both semi or formal proof of correctness of an application.