When Lives Are on The Line

AdaCore offers a family of High-Integrity solutions designed to meet the specific software development needs of safety-critical and security-critical applications. Key to these packages is the Ada programming language itself, a language designed from the start to support safety-critical and security-critical software development.

The GNAT Pro High-Integrity Edition for DO-178B

The GNAT Pro High-Integrity Edition for DO-178B supports safety-critical development with the tools and certification materials needed to meet this leading safety-critical standard, or similar standards such as: IEC 61508 for industrial automation, RIA-23 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 materials are available. This package has already passed formal certification as a part of multiple avionics flight critical systems.

High Integrity Edition for DO-178B Product Page »

The GNAT Pro High-Integrity Edition for MILS

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.

High Integrity Edition for MILS Product Page »

The GNAT Pro High-Integrity Edition for Servers

The GNAT Pro High-Integrity Edition for Servers supports application development for servers or workstations where safety or security is critical. This package is accompanied by the tools and certification materials needed for ground based avionics systems that need to meet Air Traffic Management standards such as DO-278, CAP670/SW01, ESARR 4/6, or where the application must meet other high-reliability requirements.

High Integrity Edition for Servers Product Page »