Final Draft International Standard
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
Edición 1
© ISO 2024
Final Draft
International Standard
En desarrollo
Este borrador está en fase de aprobación.
Reemplazará ISO/IEC TR 24718:2005

Resumen

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.

Informaciones generales

  • Estado
     : En desarrollo
    Etapa
    : Texto final recibido o FDIS registrado para su aprobación formal [50.00]
  • Edición
     : 1
  • Comité Técnico :
    ISO/IEC JTC 1/SC 22
    ICS :
    35.060 
  • RSS actualizaciones

Ciclo de vida

Objetivos de Desarrollo Sostenible

Esta norma contribuye al siguiente Objetivo de Desarrollo Sostenible

9
Industry, Innovation and Infrastructure

Got a question?

Check out our FAQs

Customer care
+41 22 749 08 88

Opening hours:
Monday to Friday - 09:00-12:00, 14:00-17:00 (UTC+1)

  2. Tienda
  3. Standards catalogue
  4. ICS
  5. 35
  6. 35.060
  7. ISO/IEC DTS 24718