Тема работы: Проверка выполнения ограничений реального времени для конфигураций модульных вычислительных систем

В диссертационной работе рассматривается задача проверки выполнения ограничений реального времени для конфигураций модульных вычислительных систем (МВС) на примере систем интегрированной модульной авионики. Под конфигурацией МВС понимается: количество и типы вычислителей, характеристики рабочей нагрузки, привязка рабочей нагрузки к вычислителям и расписание выполнения разделов (групп прикладных задач).
Для решения этой задачи разработан метод построения и анализа временной диаграммы функционирования МВС с заданной конфигурацией на основе имитационной модели функционирования МВС. Для описания функционирования МВС при построении имитационной модели выбран математический аппарат сетей временных автоматов с остановкой таймеров.
В диссертационной работе предложено расширение математического аппарата сетей временных автоматов с остановкой таймеров, позволяющее абстрагироваться от систем переходов автоматов. На основе предложенного расширения построена обобщенная модель функционирования МВС, абстрагированная от структуры МВС и используемых в МВС алгоритмов планирования. Корректность этой модели доказана. Разработан метод, конкретизирующий обобщенную модель на случай МВС с заданной конфигурацией и позволяющий при помощи полученной модели проверить выполнение ограничений реального времени для этой конфигурации МВС.
Разработана инструментальная система проверки выполнения ограничений реального времени для конфигураций МВС реального времени.
Экспериментальное исследование подтвердило применимость разработанного метода для анализа конфигураций размерности, соответствующей реальным МВС.

Работа выполнена на кафедре АСВК факультета ВМК МГУ
Проект автореферата доступен по ссылке.
Доклад Глониной А.Б. по результатам её диссертационной работы пройдёт в среду 25 ноября, в формате Zoom-конференции. Начало в 18:00.
Для получения ссылки на конференцию Zoom пишите по адресу asvk@cs.msu.ru