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.

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.  

Solutions for the Long Run

sustainedBranches.png#asset:38553

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.

standardsList.png#asset:38554

Premium Toolsuite and Certification Tools

gIcon Created with Sketch.

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.

mcDc Created with Sketch.

MC/DC Coverage

The GNATcoverage tool, which is available as an option, performs non-intrusive coverage analysis up to DO-178B/C Level A (MC/DC). It can work on programs that are executed either on a target board with a probe or on the GNATemulator target emulator.

staticAnalysis Created with Sketch.

Static Analysis

GNAT Pro Assurance comes with static analysis tools including GNATstack (calculates maximum stack usage), GNATmetric (derives various program metrics), and GNATcheck (verifies adherence to a coding standard). Other static analysis tools are available as options

gears Created with Sketch.

Customizable Runtimes

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. 

suitcaseCheckmark Created with Sketch.

Qualification Kits

A number of tools have been qualified for usage on systems certified under DO-178B/C and EN 50128. Qualification material that can be adapted to other systems is available for these tools

loupeId Created with Sketch.

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

    Advanced Jet Avionics Display

    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.

View all customer projects »

An Unparalleled Level of Coverage

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

Native Configurations
x86 PowerPC SPARC
Windows check Created with Sketch.
Linux check Created with Sketch.
Solaris check Created with Sketch.
check Created with Sketch.
macOS check Created with Sketch.
AIX
check Created with Sketch.
Embedded Configurations
x86 PowerPC ARM LEON
VxWorks 5
check Created with Sketch.
VxWorks 6 check Created with Sketch. check Created with Sketch. check Created with Sketch.
VxWorks 7 check Created with Sketch. check Created with Sketch. check Created with Sketch.
VxWorks 653
check Created with Sketch.
Lynx178 check Created with Sketch. check Created with Sketch.
PikeOS check Created with Sketch. check Created with Sketch. check Created with Sketch.
iOS
check Created with Sketch.
Android
check Created with Sketch.
Bare Metal
check Created with Sketch. check Created with Sketch. check Created with Sketch.
Emb Linux
check Created with Sketch. check Created with Sketch.

Not currently available, please contact AdaCore.

Expert Support

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.

  • check Direct access to the GNAT Pro team
  • check Confidential support
  • check 48 hour response guarantee
  • check Support for multiple versions Ada (85,93 2005, 2012)
  • check Access to GNAT Tracker

Learn more about Expert Support »