Draft
Technical Specification
ISO/IEC DTS 24718
Information technology — Programming languages — Guidance for the use of the Ada Ravenscar Profile in high integrity systems
Reference number
ISO/IEC DTS 24718
Edition 1
Draft Technical Specification
ISO/IEC DTS 24718
86472
This draft is in the approval phase.
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

  •  : Under development
    : Final text received or FDIS registered for formal approval [50.00]
  •  : 1
  • ISO/IEC JTC 1/SC 22
    35.060 
  • RSS updates

Got a question?

Check out our Help and Support