Customized run-time libraries, available on a platform-specific basis, that are especially relevant to safety-critical systems.
Zero Footprint Profile (ZFP)
The Zero Footprint Profile defines an Ada subset supported by a certifiable run-time with a memory footprint reduced to null. It thus reduces the footprint of the global application and keeps user code to the use of a restricted set of Ada features that exclude in particular the use of dynamic Ada semantic. This in turn eases certification of the application. User code is kept simple and certification cost is reduced.
The Zero Footprint Profile still gives access to major language features such as generics, child units, library-level tagged types, interfaces and local exception handling.
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. This gives access to a wider set of language features while still meeting the requirements of safety-critical development.
The two Ravenscar run-times add Ravenscar concurrency respectively to the Zero Footprint and Cert Profiles. The tasking restrictions introduced by Ravenscar keep the run-time implementation to the minimum and thus meet the requirements of certification to the highest level. These profiles answer the need for concurrency in safety-critical projects and let them benefit from static schedulability analysis that can be performed when Ravenscar restrictions are in place.
Full Ada Language Support
For lower levels of safety criticality you can use the full Ada language with GNAT Pro High-Integrity Edition. This gives you access to advanced language features like the full Ada container library or Ada tasking with Rendez-Vous.