ISO/IEC TS 24718:2025
Information technology — Programming languages — Guidance for the use of the Ada Ravenscar Profile in high integrity systems
Product Details
To this end, this document provides a complete description of the motivations behind the Ravenscar profile, to show how conformant programs can be analysed, and to give examples of usage.
This document is aimed at a broad audience, including application programmers, implementers of run-time systems, those responsible for defining company or project guidelines, and academics. Familiarity with the Ada language is assumed.