ISO 24718:2025
ISO 24718:2025 Information technology – Programming languages – Guidance for the use of the Ada Ravenscar Profile in high integrity systems
CDN $0.00
Description
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.
Edition
1
Published Date
2025-01-24
Status
PUBLISHED
Pages
52
Language
English
Format
Secure PDF
Secure – PDF details
- Save your file locally or view it via a web viewer
- Viewing permissions are restricted exclusively to the purchaser
- Device limits - 3
- Printing – Enabled only to print (1) copy
See more about our Environmental Commitment
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.
Previous Editions
Can’t find what you are looking for?
Please contact us at:
Related Documents
-
ISO 14416:2003 Information and documentation – Requirements for binding of books, periodicals, serials and other paper documents for archive and library use – Methods and materials
CDN $310.00 Add to cart -
ISO 16840:2006 Wheelchair seating – Part 1: Vocabulary, reference axis convention and measures for body segments, posture and postural support surfaces
CDN $397.00 Add to cart -
ISO 4006:1991 Measurement of fluid flow in closed conduits – Vocabulary and symbols
CDN $397.00 Add to cart -
ISO 80000:2019 Quantities and units – Part 11: Characteristic numbers
CDN $352.00 Add to cart
