No disponible en español

Estado : Publicado (Para revisar)

Esta norma se revisó y confirmó por última vez en 2015. Por lo tanto, esta versión es la actual.
Esta norma será reemplazada por ISO/IEC DTS 24718
Formato Idioma
Papel
  • CHF194
Convertir Franco suizo (CHF) a tu moneda
The electronic version of this International Standard can be downloaded from the ISO/IEC Information Technology Task Force (ITTF) web site

Resumen

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.

Standard first page

Preview 

Previsualice esta norma en nuestra Plataforma de navegación en línea (OBP)

Informaciones generales

  • Estado
     : Publicado
    Fecha de publicación
     : 2005-02
    Etapa
    : Norma Internacional para revisar [90.92]
  • Edición
     : 2
    Número de páginas
     : 74
  • 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 TR 24718:2005