Logo
Login Sign Up
Current Revision

ISO/IEC TS 24718:2025

Information technology - Programming languages - Guidance for the use of the Ada Ravenscar Profile in high integrity systems
Best Price Guarantee
Instant

$0.00

2-5 Days

$0.00

SAVE 15%

$0.00


Sub Total (1 Item(s))

$ 0.00

Estimated Shipping

$ 0.00

Total (Pre-Tax)

$ 0.00


View in Library
or

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.

SDO ISO: International Organization for Standardization
Document Number ISO/IEC 24718
Publication Date Jan. 1, 2025
Language en - English
Page Count 62
Revision Level
Supercedes
Committee ISO/IEC JTC 1/SC 22
Loading...

Failed to load document history.

Publish Date Document Id Type View