Technical Papers

Ada 2005 for High-Integrity Systems

The forthcoming Ada 2005 standard has been enhanced to better address the needs of the real-time and high-integrity communities. This new standard introduces new restriction identifiers that can be used to define highly efficient, simple, and predictable run-time profiles. Among others, this language revi- sion will standardize the Ravenscar profile, new scheduling policies, and will include execution time clocks and timers. Flexible object-oriented features are also supported without compromising performance or safety.

Attached Files

posted in GNAT Pro, Runtime Profiles, Ada 2005 / 95 / 83, Certification, Embedded Development, Safety-Critical Development