ISO/IEC TS 24718

Information technology — Programming languages — Guidance for the use of the Ada Ravenscar Profile in high integrity systems

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.

SDO:

ISO

Language:

English

ICS Codes:

35.060

Status:

Draft

Publish date:

1969-12-30

Standard Number:

ISO/IEC TS 24718