Technical Specification
ISO/IEC TS 24718:2025
Information technology — Programming languages — Guidance for the use of the Ada Ravenscar Profile in high integrity systems
Reference number
ISO/IEC TS 24718:2025
Edition 1
2025-01
© ISO 2025
Technical Specification
Preview
недоступно на русском языке
Опубликовано (Версия 1, 2025)

ISO/IEC TS 24718:2025

Язык
Формат
CHF 0
Pасходы на перевозку должны оплачиваться

Тезис

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.

Общая информация

  • Текущий статус
     : Опубликовано
    Дата публикации
     : 2025-01
    Этап
    : Опубликование международного стандарта [60.60]
  • Версия
     : 1
  • Технический комитет :
    ISO/IEC JTC 1/SC 22
    ICS :
    35.060 
  • RSS обновления

Жизненный цикл

Цели в области устойчивого развития

Данный стандарт разработан для достижения следующих Цель устойчивого развития

9
Индустриализация, инновации и инфраструктура

Появились вопросы?

Ознакомьтесь с FAQ

  2. Интернет-магазин
  3. Интернет-магазин
  4. ТК
  5. ISO/IEC JTC 1/SC 22
  6. ISO/IEC TS 24718:2025