Cookies
We need your consent to use the individual data so that you can see information about your interests, among other things. Click "OK" to give your consent.
ISO/IEC/TS 24718-ed.1.0
Information technology - Programming languages - Guidance for the use of the Ada Ravenscar Profile in high integrity systems
Translate name
STANDARD published on 24.1.2025
| Language | |
| Format |
|
| Availability | IN STOCK |
| Price | ONREQUEST excl. VAT |
| ON REQUEST |
The information about the standard:
Designation standards: ISO/IEC/TS 24718-ed.1.0
Publication date standards: 24.1.2025
SKU: NS-1212614
The number of pages: 52
Approximate weight : 156 g (0.34 lbs)
Country: International technical standard
Category: Technical standards ISO
The category - similar standards:
Annotation of standard text ISO/IEC/TS 24718-ed.1.0 :
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.
We recommend:
Technical standards updating
Do you want to make sure you use only the valid technical standards?
We can offer you a solution which will provide you a monthly overview concerning the updating of standards which you use.
Would you like to know more? Look at this page.
