En cours de publication
Spécification technique
ISO/IEC TS 24718
Technologies de l'information — Langages de programmation — Guide pour l'usage du profil "Ada Ravenscar" dans les systèmes de haute intégrité
Numéro de référence
ISO/IEC TS 24718
Edition 1
© ISO 2024
En cours de publication Spécification technique
En cours de publication
Étapes finales du processus d’élaboration (jusqu’à sept semaines).
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
    : Norme internationale en cours de publication [60.00]
  • 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. TC
  5. ISO/IEC JTC 1/SC 22
  6. ISO/IEC TS 24718