Norme internationale
ISO/IEC TR 24718:2005
Technologies de l'information — Langages de programmation — Guide pour l'usage de "Ada Ravenscar Profile" dans les systèmes de haute intégrité
Numéro de référence
ISO/IEC TR 24718:2005
Edition 2
2005-02
© ISO 2024
Norme internationale
Prévisualiser
Indisponible en français
Publiée (Edition 2, 2005)
Cette norme a été révisée et confirmée pour la dernière fois en 2015. Cette édition reste donc d’actualité.

ISO/IEC TR 24718:2005

Format
Langue
CHF 194
Convertir les francs suisses (CHF) dans une autre devise
La version électronique de cette Norme internationale peut être téléchargée à partir du site Web du Groupe de travail ISO/CEI sur les technologies de l'information (ITTF)

Résumé

ISO/IEC TR 24718:2005 gives a complete description of the motivations behind the Ada Ravenscar Profile, to show how conformant programs can be analysed and to give examples of usage. The profile is a subset of the Ada tasking model, restricted to meet the real-time community requirements for determinism, schedulability analysis and memory-boundedness, as well as being suitable for mapping to a small and efficient run-time system that supports task synchronization and communication, and which could be certifiable to the highest integrity levels. The profile has been designed such that the restricted form of tasking that it defines can be used even for software that needs to be verified to the very highest integrity levels.

Informations générales

  • État actuel
     : Publiée
    Date de publication
     : 2005-02
    Stade
    : Norme internationale à réviser [90.92]
  • Edition
     : 2
  • 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 FAQ

Service à la clientèle
+41 22 749 08 88

Horaires d’ouverture:
De lundi à vendredi - 09:00-12:00, 14:00-17:00 (UTC+1)

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