ISO/IEC TR 24718:2005
2005-02
недоступно на русском языке
ISO/IEC TR 24718:2005
Тезис
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.
Общая информация
-
Текущий статус: ОпубликованоДата публикации: 2005-02Этап: Между-народный стандарт подлежит пересмотру [90.92]
-
Версия: 2
-
Технический комитет :ISO/IEC JTC 1/SC 22ICS :35.060
- RSS обновления
Жизненный цикл
-
Сейчас
ОпубликованоISO/IEC TR 24718:2005
Стандарт, который пересматривается каждые 5 лет
Этап: 90.92 (Будет пересмотрено)-
00
Предварительная стадия
-
10
Стадия, связанная с внесением предложения
-
20
Подготовительная стадия
-
30
Стадия, связанная с подготовкой проекта комитета
-
40
Стадия, связанная с рассмотрением проекта международного стандарта
-
50
Стадия, на которой осуществляется принятие стандарта
-
60
Стадия, на которой осуществляется публикация
-
90
Стадия пересмотра
-
95
Стадия, на которой осуществляется отмена стандарта
-
00
-
Будет заменено
В стадии разработкиISO/IEC DTS 24718
Появились вопросы?
Ознакомьтесь с FAQ
Часы работы:
Понедельник – пятница: 09:00-12:00, 14:00-17:00 (UTC+1)