Войти / Регистрация
Корзина

  • Ваша корзина пуста
Войти / Регистрация
Корзина

  • Ваша корзина пуста

Статья «Методы оценки времени выполнения в системах реального времени, "Программирование"»

Авторы:
  • Козырев В.П.1
стр. 39-50
Платно
1 Национальный исследовательский ядерный университет “МИФИ”
  • В выпуске: №1, 2016
  • В журнале: Программирование
  • Издательство: ФГУП «Издательство «Наука»
  • Рубрика ГРНТИ: Информатика. Информационные и вычислительные системы
  • Год выхода: 2016
  • SDI: 007.001.0132-3474.2016.000.001.39.50
  • ISSN: 0132-3474
Аннотация:
Оценка WСЕТ (wоrst-саsе ехесиtiоn timе) - максимального времени выполнения программ в наихудшем случае, является задачей, актуальной при разработке систем реального времени. В частности, оценка WСЕТ определена как одна из целей процесса верификации сертифицируемого авиационного ПО в используемых во всем мире квалификационных требованиях DО-178В/С. Эта задача является весьма сложной, и точное ее решение часто оказывается практически невозможным. Исследования путей решения этой задачи, ведущиеся на протяжении многих лет, привели к появлению множества методик, которые могут применяться в тех или иных случаях. В статье приводится обзор существующих методик оценки WСЕТ, который может оказаться полезным при выборе методов и средств решения этой задачи.

Архивные статьи (2015 год и ранее) доступны для ознакомления бесплатно, для скачивания их необходимо приобрести. Для просмотра материалов необходимо зарегистрироваться и авторизоваться на сайте.

Чтобы приобрести доступ к материалу для юридического лица, пожалуйста, свяжитесь с администрацией портала с помощью формы обратной связи либо по электронному адресу libnauka@naukaran.com.  

Действия с материалами доступны только авторизованным пользователям.