недоступно на русском языке
Текущий статус : Опубликовано (Будет пересмотрено)
Последний раз этот стандарт был пересмотрен в  2015. Поэтому данная версия остается актуальной
Это стандарт будет замененоISO/IEC DTS 24718 | ISO/IEC CD TR 24718
Формат Язык
Бумажный
  • CHF187
Пересчитать швейцарские франки (CHF) в ваша валюта
The electronic version of this International Standard can be downloaded from the ISO/IEC Information Technology Task Force (ITTF) web site

Тезис

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 22
    ICS :
    35.060 
  • RSS обновления
Standard first page

Preview 

Предварительно ознакомьтесь с этим стандартом в нашем Он-лайн библиотека стандартов (OBP)

Жизненный цикл

Цели в области устойчивого развития

Данный стандарт разработан для достижения следующих Цель устойчивого развития

9
Индустриализация, инновации и инфраструктура

Появились вопросы?

Ознакомьтесь с FAQ

Работа с клиентами
+41 22 749 08 88

Часы работы:
Понедельник – пятница: 09:00-12:00, 14:00-17:00 (UTC+1)

  2. Интернет-магазин
  3. Каталог стандартов
  4. МКС
  5. 35
  6. 35.060
  7. ISO/IEC TR 24718:2005