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:
Updating of laws
Do you want to be sure about the validity of used regulations?
We offer you a solution so that you could use valid and updated legislative regulations.
Would you like to get more information? Look at this page.
