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
Indisponible en français
Projet
Projet au stade approbation.
Remplacera ISO/IEC TR 24718:2005

Résumé

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.

Informations générales

  • État actuel
     : Projet
    Stade
    : Epreuve envoyée au secrétariat ou mise au vote du FDIS: 8 semaines [50.20]
  • Edition
     : 1
  • Comité technique :
    ISO/IEC JTC 1/SC 22
    ICS :
    35.060 
  • RSS mises à jour

Cycle de vie

Objectifs de développement durable

Cette norme contribue à l'Objectif de développement durable suivant

9
Industrie, innovation et infrastructure

Vous avez une question?

Consulter notre Aide et assistance

  2. Store
  3. Catalogue de normes
  4. ICS
  5. 35
  6. 35.060
  7. ISO/IEC DTS 24718