GNAT Pro Safety-Critical

Ideal environment for any high-reliability / safety-critical embedded application, GNAT Pro Safety-Critical facilitates formal compliance with domain-specific safety standards like RTCA DO-178B / DO-178C.

Overview

GNAT Pro Safety-Critical is an ideal environment for any high-reliability / safety-critical embedded application. In addition, we have tailored solutions to address the programming challenges and requirements associated with many industries and international safety standards.

The product consists of the full GNAT Pro environment enhanced with a suite of tools — specifically GNATcheck, GNATmetric, and GNATstack — and specialized run-time libraries designed for usage in a safety certification context.

Owing to both the product’s technical features and the Ada language’s software engineering foundations, GNAT Pro Safety-Critical facilitates formal compliance with domain-specific safety standards. In addition to supporting RTCA DO-178B / DO-178C (also known as EUROCAE ED-12B / ED-12C), GNAT Pro Safety-Critical can help reduce the effort in certifying systems against standards such as DEF STAN 00-55 / 00-56 (defense), DO-278 / DO-278A (ground-based systems), CENELEC EN 50128 (rail) and ECSS-E-ST-40C / ECSS-Q-ST-80C (space). GNAT Pro Safety-Critical has been used to develop systems that have been certified to DO-178B Level A.

TECHNICAL SPECIFICATIONS

  • Supports RTCA DO-178B / DO-178C
  • Configurable Run-Time Library
  • Native Integrated Development Environment (IDE) as well as an Eclipse plug-in
  • Full Ada 2005 / 2012 Implementation
  • Sustained Branch Service
  • Traceability
  • Simplification of Certification Effort
  • Advanced Static Analysis
  • Safety-Critical Support and Expertise