ISO/IEC TR 24718:2005
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
- Item title
- Information technology — Programming languages — Guide for the use of the Ada Ravenscar Profile in high integrity systems verified
- Status code
- 9599 verified
- Successor
- ISO/IEC CD TR 24718 | ISO/IEC TS 24718:2025
- Withdrawn / published date
- 2005-02-17 verified
Verified
Review by
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
— isopublicstorageprod.blob.core.windows.net, retrieved 2026-08-05
Source
- isopublicstorageprod.blob.core.windows.nethttps://isopublicstorageprod.blob.core.windows.net/opendata/_latest/iso_deliverables_metadata/csv/iso_deliverables_metadata.csv