Cookies
Potřebujeme váš souhlas k využití jednotlivých dat, aby se vám mimo jiné mohly ukazovat informace týkající se vašich zájmů. Souhlas udělíte kliknutím na tlačítko „OK“.
ISO/IEC/TS 24718-ed.1.0
Information technology - Programming languages - Guidance for the use of the Ada Ravenscar Profile in high integrity systems
Přeložit název
NORMA vydána dne 24.1.2025
| Jazyk | |
| Provedení |
|
| Dostupnost | SKLADEM |
| Cena | NADOTAZ bez DPH |
| NA DOTAZ |
Informace o normě:
Označení normy: ISO/IEC/TS 24718-ed.1.0
Datum vydání normy: 24.1.2025
Kód zboží: NS-1212614
Počet stran: 52
Přibližná hmotnost: 156 g (0.34 liber)
Země: Mezinárodní technická norma
Kategorie: Technické normy ISO
Kategorie - podobné normy:
Anotace textu normy 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.
Doporučujeme:
