Draft
Technical Specification
ISO/IEC DTS 24718
Information technology — Programming languages — Guidance for the use of the Ada Ravenscar Profile in high integrity systems
Reference number
ISO/IEC DTS 24718
Edition 1
© ISO 2024
Draft Technical Specification
недоступно на русском языке
В стадии разработки
Проект данного международного стандарта находится на этапе утверждения.
Текущее издание: ISO/IEC TR 24718:2005

Тезис

This document provides guidance on the use of the Ravenscar Profile for Ada software using concurrency and intended to be verified up to, and including, the very highest integrity levels.

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

  • Текущий статус
     : В стадии разработки
    Этап
    : Уведомление направлено в секретариат. Начало голосования по окончательному проекту международного стандарта: 2 мес. [50.20]
  • Версия
     : 1
  • Технический комитет :
    ISO/IEC JTC 1/SC 22
    ICS :
    35.060 
  • RSS обновления

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

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

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

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

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

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

  2. Интернет-магазин
  3. Каталог стандартов
  4. МКС
  5. 35
  6. 35.060
  7. ISO/IEC DTS 24718