GNAT Pro Assurance

Designed for certification and long-lived projects.


GNAT Pro Assurance is a complete Ada solution for projects with the most stringent requirements for reliability, long-term maintenance or certification.

The product supports all versions of the Ada language standard (from Ada 83 to Ada 2012), with C support an optional add-on. It includes a full toolsuite as well as a configurable run-time library and several specific run-times that are especially suited to high-assurance systems. Unique to the GNAT Pro Assurance product, a specialized service known as sustained branches allows a project to continue its use of a specific version of the technology, including upgrades to repair critical issues.



The GNAT Pro environment has been used to develop systems that have been certified against a number of software standards including:

  • DO-178B/C (avionics)
  • CENELEC EN 50128 (rail)
  • ECSS-E-ST-40C / ECSS-Q-ST-80C (Space)

Development personnel behind GNAT Pro Assurance are experts in these standards, and several staff members directly participated in the development of DO-178C and its technology supplements.

GNAT Pro Assurance provides developers with:

  • The GNAT Pro Toolsuite IDE
  • The GNATcoverage tool, which performs coverage analysis up to DO-178B/C Level A
  • Static analysis tools including GNATstack, GNATmetric and GNATcheck
  • Customisable Runtimes
  • Qualification Kits
  • Source-to-Object Traceability, helping developers of safety-critical software comply with the DO-178B avionics standard

GNAT Pro Assurance is available on a wide range of platforms, both native and cross, with targets including commercial RTOSes and Bare Metal.

Please contact us for availability.

Not available.