ISO/IEC TS 24718

Information technology — Programming languages — Guidance for the use of the Ada Ravenscar Profile in high integrity systems ISO/IEC TS 24718

General information

Current stage: 60.00 Standard under publication Dec 26, 2024

Originator: ISO/IEC

Owner: ISO/IEC JTC 1/SC 22 Programming languages, their environments and system software interfaces

Type: Technical Specification

ICS: 35.060 Languages used in information technology

Scope

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.

Life cycle

PREVIOUSLY

PUBLISHED
ISO/IEC TR 24718:2005

NOW

IN_DEVELOPMENT
ISO/IEC TS 24718
60.00 Standard under publication
Dec 26, 2024