Bare Board

• Power PC
• ERC 32

Ada Development Environment for the ERC32 Platform

The GNAT Pro High-Integrity Edition (HIE) is the natural Ada solution for the ERC32 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 HIE for ERC32 supplies a fully configurable / customizable run-time library and implements several predefined High-Integrity profiles that are 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. The Ravenscar profile (a superset of ZFP) implements a set of tasking constructs that are sufficiently restrictive to facilitate safety certification but sufficiently expressive to allow the programming of real-world applications. For lower levels of criticality the product also implements an extended version of the Ravenscar Profile with features such as exception handling, stack overflow checking, dynamic memory management, and stack tracebacks.

Benefits

Lower certification costs

GNAT Pro HIE for ERC32 has been produced following the ESA standard for software development processes ECCS-E40B. The qualification test suite guarantees 100% statement coverage for the restricted run-time libraries. 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 Level A or B). The subset defined for the Ravenscar profile includes simple tasking features, with communication through protected objects or shared data.

“À 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).

Key Features

• Complete GNAT Pro toolset
• ZFP and Ravenscar profiles, for high levels of safety criticality
• Extended Ravenscar profile, for lower levels of criticality

Platforms

For the most up-to-date information on available platforms please contact us at: sales@adacore.com