Under publication
Technical Specification
ISO/IEC TS 24718
Information technology — Programming languages — Guidance for the use of the Ada Ravenscar Profile in high integrity systems
Reference number
ISO/IEC TS 24718
Edition 1
© ISO 2024
Under publication Technical Specification
Under publication
Final production steps (up to seven weeks).
Will replace ISO/IEC TR 24718:2005

Abstract

This document provides guidance on the use of the Ravenscar Profile for Ada software using concurrency and intended to be verified up to, and including, the very highest integrity levels.

General information

  • Status
     : Under development
    Stage
    : International Standard under publication [60.00]
  • Edition
     : 1
  • 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 TS 24718