Методы проектирования операционных систем реального времени и их применение

• Автор: Егоров, Геннадий Алексеевич
• Шифр специальности: 05.13.11
• Научная степень: Докторская
• Год защиты: 1999
• Место защиты: Москва
• Количество страниц: 51 с. : ил.; 20х15 см

Официальные оппоненты

членкорреспондент РАН,

доктор физикоматематических наук, профессор

Королев Л.Н.

доктор технических наук, профессор Козмидиади В.А.

доктор технических наук, старший научный сотрудник

Ведущая организация институт точной механики и

вычислительной техники им. С.А. Лебедева

Защита диссертации состоится декабря г. в

часов на заседании диссертационного совета ДООЗ при Институте проблем информатики РАН по адресу , Москва, ул. Вавилова

С диссертацией в виде ну чакомиться в

библиотеке Института проблем и
Диссертация в виде научного до. г.
Кузнецов С.Д.
РОССИЙСКАЯ
ГОСУДАРСТВЕННАЯ
БИБЛИОТЕКА
Ученый секретарь диссертационного совета, д.т.н., профессор
ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ
Актуальность


Основной отличительной чертой этих ВС РВ является наличие набора взаимодействующих процессов, для которых известны следующие характеристики периодичность выполнения каждый й интервал времени, по событию, по требованию оператора длительность выполнения процесса требуемый объем оперативной памяти потребность в ресурсах процессора потребность во внешней памяти и устройствах вводавывода объем информации, передаваемой другим процессам матрица взаимодействия. Дополнительно необходимо выделить несколько важных системных требований, связанных с разработкой и сопровождением современных ВС РВ, которые предлагается разделить на следующие группы спецификация анализ и верификация ВС РВ операционные системы реального времени архитектура ВС РВ коммуникации реального времени. Главная проблема при анализе и верификации заключается в том, как включить временные ограничения в спецификацию и как проверить, что система удовлетворяет такой спецификации. При этом могут использоваться такие методы, как сети Петри и др. Однако не ясно, как расширить эти методы для ограничений реального времени. Для решения этой проблемы предлагается использовать две стратегии. Операционные системы реального времени ОС РВ играют ключевую роль в большинстве ВС РВ. ОС РВ должны реагировать на внешние и внутренние события в определенные интервалы времени, вне зависимости от влияния других выполняемых задач или процессов. В связи с этим можно выделить две главные архитектурные особенности ОС РВ структура ядра системы и алгоритм планирования.