Standard

ISO/IEC TS 24718:2025

Jan 2025 Published

Corrigendums and amendments are bought separately.

Language English

Services Read online + Print/Download €0.00 Read online €0.00 Printed and bound Delivery time: 5-10 days €0.00

There are no extended editions available for this standard

There are no available corrigendum or amendments for this standard. Any future corrigendum and amendments will be added automatically for subscribers.

Abstract

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.

Document information

Standard from ISO/IEC
Published: 24 January 2025
Edition: 1
Document type: TS
Pages
ISBN:

Publisher ISO/IEC
Distributor ISO/IEC
ICS 35.060
ISO TC ISO/IEC JTC 1/SC 22

Product Relations

Revises: ISO/IEC TR 24718:2005
Revises: ISO/IEC TR 24718:2005

ISO/IEC TS 24718:2025

Create subscription

Benefits of a subscription: