ISO/IEC TS 24718:2025

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

Best Price Guarantee Jan 1, 2025 English 62 Pages

Sub Total (1 Item(s)) $ 0.00
Estimated Shipping $ 0.00
Total (Pre-Tax) $ 0.00

You own the digital copy of this edition

View in Library
or
ISO/IEC TS 24718:2025 PDF Preview
ISO/IEC TS 24718:2025

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.

Loading...

Failed to load document history.

Publish Date Document Id Type View