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 analysis and memory-boundedness, as well as being suitable for mapping to a small and efficient run-time system that supports task synchronization and communication, and which could be certifiable to the highest integrity levels. The profile has been designed such that the restricted form of tasking that it defines can be used even for software that needs to be verified to the very highest integrity levels.
Status: PublishedPublication date: 2005-02
Edition: 2Number of pages: 74
Technical Committee: ISO/IEC JTC 1/SC 22 Programming languages, their environments and system software interfaces
- ICS :
- 35.060 Languages used in information technology
This standard contributes to the following Sustainable Development Goal:
Buy this standard
|std 1 187||Paper|
ISO/IEC TR 24718:2005
A standard is reviewed every 5 years
Stage: 90.92 (To be revised)
ISO/IEC CD TR 24718
Got a question?
Check out our FAQs
Monday to Friday - 09:00-12:00, 14:00-17:00 (UTC+1)
Keep up to date with ISO
Sign up to our newsletter for the latest news, views and product information.