ISO/IEC TS 24718:2025
Current
The latest, up-to-date edition.
Information technology — Programming languages — Guidance for the use of the Ada Ravenscar Profile in high integrity systems
Hardcopy , PDF
English
24-01-2025
This document provides guidance on the use of the Ravenscar profile for concurrent Ada software intended for verification up to, and including, the very highest levels of integrity.
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.
| Committee |
ISO/IEC JTC 1/SC 22
|
| DocumentType |
Standard
|
| Pages |
52
|
| PublisherName |
International Organization for Standardization
|
| Status |
Current
|
| Supersedes |
| Standards | Relationship |
| DS/ISO/IEC TS 24718:2025 | Identical |
Access your standards online with a subscription
-
Simple online access to standards, technical information and regulations.
-
Critical updates of standards and customisable alerts and notifications.
-
Multi-user online standards collection: secure, flexible and cost effective.
Important note : Users cannot be edited or removed once added to your Multi user PDF.