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
  • Edition
     : 1
  • Technical Committee
     : ISO/IEC JTC 1/SC 22 Programming languages, their environments and system software interfaces
  • ICS
     :
    35.060 Languages used in information technology

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 FAQs

Customer care
+41 22 749 08 88

Opening hours:
Monday to Friday - 09:00-12:00, 14:00-17:00 (UTC+1)

  2. Store
  3. Standards catalogue
  4. TC
  5. ISO/IEC JTC 1/SC 22
  6. ISO/IEC CD TS 24718