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
No disponible en español
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
    : Envío de la prueba a la secretaría o inicio de la votación del FDIS: 8 semanas [50.20]
  • Edición
     : 1
    Número de páginas
     : 53
  • 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

¿Tiene alguna duda?

Consulte nuestras Ayuda y asistencia

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