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 (including C11) and C++ (including C++17) support as optional add-ons. 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.
A certified system needs to be maintained over time, for example in response to changing requirements. The customer thus needs to have confidence that if an issue such as a code generation problem is encountered, then it can be addressed in the context of the version of the compiler that is being used. That is the purpose of AdaCore’s “sustained branch” service, which is included in GNAT Pro Assurance.
We know certification.
AdaCore’s 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) and ECSS-E-ST-40C / ECSS-Q-ST-80C (Space). AdaCore personnel are experts in these standards, and several staff members directly participated in the development of DO-178C and its technology supplements.
GNAT Pro Toolsuite
The GNAT Pro toolsuite includes tailorable Integrated Development Environments, a visual debugger, a multi-language build tool, and a variety of static and dynamic analysis utilities.
The Ada language supports run-time customization, and GNAT Pro Assurance comes with several run-time libraries that are particularly suited to certification. These include the ZFP (“Zero Footprint”) minimal run-time, the Cert run-time that adds support for exceptions and several other features, and the Ravenscar run-time that implements the Ravenscar tasking profile.
Source-to-Object Code Traceability
This Ada language feature analysis, available as a product option, includes test cases and GNAT Pro switch recommendations that can help developers of safety-critical software comply with the DO-178B avionics standard. Based on the feature analysis / traceability study, you can use the GNAT Pro compiler to meet Table A7 objective 7, in accordance with the guidelines described in the Certification Authority Software Team’s Position Paper CAST-12.
Customer Projects: GNAT Pro Assurance
Barco has developed an advanced business jet avionics display system using the AdaCore GNAT Pro Ada development environment. Barco selected the GNAT Pro High Integrity Edition, along with the Traceability Kit, running on Wind River’s VxWorks 653 RTOS in order to meet the highest levels of safety standard DO-178B.
Please contact AdaCore for availability. Not available.
Integral to every one of our products are the consulting and support services we provide to our customers. While every company says they offer excellent support, for us it‘s a critical part of our business model and something we take very seriously.
- Direct access to the GNAT Pro team
- Confidential support
- 48 hour response guarantee
- Support for multiple versions of Ada (83, 95, 2005, and 2012)
- Access to GNAT Tracker