0

ISO/IEC TS 24718:2025

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

Publication date:   Jan 24, 2025

General information

60.60 Standard published   Jan 24, 2025

ISO/IEC

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

Technical Specification

35.060   Languages used in information technology

Buying

Published

Language in which you want to receive the document.

Scope

This document provides guidance on the use of the Ravenscar profile for concurrent Ada software intended for verification up to, and including, the very highest levels of integrity.
To this end, this document provides a complete description of the motivations behind the Ravenscar profile, to show how conformant programs can be analysed, and to give examples of usage.
This document is aimed at a broad audience, including application programmers, implementers of run-time systems, those responsible for defining company or project guidelines, and academics. Familiarity with the Ada language is assumed.

Life cycle

PREVIOUSLY

WITHDRAWN
ISO/IEC TR 24718:2005

NOW

PUBLISHED
ISO/IEC TS 24718:2025
60.60 Standard published
Jan 24, 2025