Reference number
ISO/IEC TR 24718:2005
© ISO 2024
Technical Report
ISO/IEC TR 24718:2005
Information technology — Programming languages — Guide for the use of the Ada Ravenscar Profile in high integrity systems
Edition 2
2005-02
Technical Report
Read sample
Published (Edition 2, 2005)
This publication was last reviewed and confirmed in 2015. Therefore this version remains current.

ISO/IEC TR 24718:2005

Language
Format
CHF 0
Shipping costs not included
The electronic version of this International Standard can be downloaded from the ISO/IEC Information Technology Task Force (ITTF) web site

Abstract

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.

General information

  • Status
     : Published
    Publication date
     : 2005-02
    Stage
    : International Standard to be revised [90.92]
  • Edition
     : 2
    Number of pages
     : 74
  • Technical Committee :
    ISO/IEC JTC 1/SC 22
    ICS :
    35.060 
  • RSS updates

Life cycle

Sustainable Development Goals

This standard contributes to the following Sustainable Development Goal

9
Industry, Innovation and Infrastructure

Got a question?

Check out our Help and Support

  2. Store
  3. Standards catalogue
  4. ICS
  5. 35
  6. 35.060
  7. ISO/IEC TR 24718:2005