Wind River Platforms

LynuxWorks Platforms

Bare board Platforms

Ada Development Environment for Bare Board ARM Cortex

GNAT Pro Safety-Critical is the natural Ada solution for the ARM Cortex processors. It provides a complete Ada development environment, oriented towards the needs of systems that have high-reliability or safety-critical requirements.

GNAT Pro Safety-Critical for Bare Board ARM Cortex supplies a fully configurable / customizable run-time library and includes the High-Integrity “Zero Footprint” (ZFP) and Ravenscar profiles that are particularly relevant to safety-critical systems. The ZFP profile corresponds to a language subset that does not require any GNAT run-time routines, and the Ravenscar profile is a deterministic subset of the Ada concurrency features with an efficient small-footprint implementation.


Lower certification costs

GNAT Pro Safety-Critical for Bare Board ARM Cortex is designed to reduce costs for developing and certifying systems that have to meet safety standards such as RTCA/DO-178B, EUROCAE ED-12B and DEF Stan 00-55. Key to achieving this goal is the product’s fully configurable and customizable run-time library. You can select units in an “à la carte” fashion, thus limiting the run-time library to just those units that are required for the Ada features used in the application, and you can adapt their implementation if desired. Various compiler options (e.g. the ability to detect / prohibit features that could implicitly cause loops or conditionals in the generated code) simplify the coverage analysis required for certification.

Support for high levels of safety certification

The ZFP and Ravenscar profiles are intended for high-criticality applications (for example those that need to be certified to DO-178B / DO-178C Level A or B).

“À la carte” run-time library configurability

The GNAT Pro Safety-Critical product allows the user to tailor the run-time library so that it reflects exactly the support needed for the features that are used. This results in executables that are smaller and that are easier to certify (e.g., no “dead” code in the run-time library).

Usable on any kernel

The supported run-time profiles are designed to be independent of run-time support on the target system, so they can be used on any third-party or proprietary kernel.

Key Features

  • Complete GNAT Pro toolset
  • ZFP and Ravenscar profiles, for high levels of safety criticality
  • Usable on third-party or proprietary kernels