Wind River Platforms

LynuxWorks Platforms

Bare board Platforms

Ada Development Environment for the Bare Board PowerPC

GNAT Pro Safety-Critical is the natural Ada solution for the PowerPC processor. It provides a complete Ada development environment, oriented towards the needs of systems that are safety-critical or that need to meet stringent memory constraints.

GNAT Pro Safety-Critical for bare board PowerPC supplies a fully configurable / customizable run-time library and implements one High-Integrity profile that is particularly relevant to safety-critical systems. The “Zero Footprint” (ZFP) profile corresponds to a language subset that does not require any GNAT run-time routines.


Lower certification costs

GNAT Pro Safety-Critical for Bare Board PowerPC 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 a 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 HIE 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