ISO/IEC TS 24718:2025
Information technology — Programming languages — Guidance for the use of the Ada Ravenscar Profile in high integrity systems
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.
| Get this standard | Prices exclude GST | |
|---|---|---|
| PDF ( Single user document) |
$5.00 NZD
|
|
| HardCopy |
$50.00 NZD
|
|
| Networkable PDF |
Price varies
|
Keep me up-to-date
Sign up to receive updates when there are changes to this standard
Related Information
Similar Standards
-
AS/NZS 3968.0:1994
Information technology - Database languages - SQL - Definition of data structures and basic operations
-
AS/NZS 3968.0:1994 A1
Information technology - Database languages - SQL - Definition of data structures and basic operations: Amendment 1
-
AS/NZS 3968.3:1998
Information technology - Database languages - SQL - Call-level interface
-
AS/NZS ISO/IEC 14882:2022
Programming languages – C++