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.
AdaCore has a long history of working with customers who need to meet certification requirements, and GNAT Pro Assurance offers a number of options that can simplify the development and verification effort. These include certification material for the run-time libraries, as well as qualification material for several of the tools.