- GNAT Pro
- High-Integrity Edition for DO-178B > ERC32 / LEON
Benefits | Features | Platforms
Ada Development Environment for the ERC32 / LEON Platform
The High-Integrity Edition for DO-178B is the natural Ada solution for the ERC32 / LEON 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 High-Integrity Edition for ERC32 /LEON 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 High-Integrity Edition for ERC32 / LEON 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).
Platforms
For the most up-to-date information on available platforms please contact us at: sales@adacore.com