# ISO/IEC TR 24718:2005 — Withdrawn and superseded ISO standards

For ISO/IEC TR 24718:2005, item title is Information technology — Programming languages — Guide for the use of the Ada Ravenscar Profile in high integrity systems; status code is 9599; successor is ISO/IEC CD TR 24718 | ISO/IEC TS 24718:2025; withdrawn / published date is 2005-02-17, recorded from its source on 2026-08-05.

- **Identifier:** ISO/IEC TR 24718:2005 _(verified: appears in the quote below)_
- **Item title:** Information technology — Programming languages — Guide for the use of the Ada Ravenscar Profile in high integrity systems _(verified: appears in the quote below)_
- **Status code:** 9599 _(verified: appears in the quote below)_
- **Successor:** ISO/IEC CD TR 24718 | ISO/IEC TS 24718:2025
- **Withdrawn / published date:** 2005-02-17 _(verified: appears in the quote below)_

## What the source says

> 38828,TR,,ISO/IEC TR 24718:2005,Information technology — Programming languages — Guide for the use of the Ada Ravenscar Profile in high integrity systems,Technologies de l'information — Langages de programmation — Guide pour l'usage de 'Ada Ravenscar Profile' dans les systèmes de haute intégrité,2005-02-17,2,['35.060'],ISO/IEC JTC 1/SC 22,9599,,"[74526,86472]",['en'],74,"<p>ISO/IEC TR 24718:2005 gives a complete description of the motivations behind the Ada Ravenscar Profile, to show how conformant programs can be analysed and to give examples of usage. The profile is a subset of the Ada tasking model, restricted to meet the real-time community requirements for determinism, schedulability an

## Source

- https://isopublicstorageprod.blob.core.windows.net/opendata/_latest/iso_deliverables_metadata/csv/iso_deliverables_metadata.csv

Last verified: 2026-08-05. Review by: 2027-02-01.
Part of [Withdrawn and superseded ISO standards](https://referencesource.org/iso-standard-supersessions/).