• GNAT Pro
• Ada Answers
• Developers
• Academia
• Company

Zero Footprint (ZFP)

With the Zero Footprint Profile, the object modules for a program contain no references to the GNAT run-time library. Certification cost is reduced since it is based completely on the code written by the developers, and not on libraries furnished by the compiler implementation. Although the ZFP profile is restrictive with respect to dynamic Ada semantics, it includes major language features such as child units, generics, and library-level tagged types.

Full Ada Language Support

For lower levels of safety criticality you can use the full Ada language with GNAT Pro HIE; you do not need to select one of the restricted profiles or constrain the set of features used.

Cert Profile

This profile augments the ZFP language subset by providing a certifiable Ada run-time library that implements constructs specified by several major aerospace companies. Supported features include exception handling and dynamic string manipulation, among others.

Ravenscar Profile

The Ravenscar profile augments the ZFP subset by providing a simple Ada run-time library implementing the Ravenscar tasking features. This profile has been designed to ease the certification effort for applications that require concurrency.