9 декабря 2020 года на совместном заседании Консорциума "Сетевые и облачные технологии" и кафедры АСВК состоялась успешная предзащита диссертации программиста кафедры АСВК А.Б. Глониной. Диссертация рекомендуется к защите на соискание ученой степени кандидата физико-математических наук по специальности 05.13.11 – «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей» (по физико-математическим наукам).

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

В диссертационной работе рассматривается задача проверки выполнения ограничений реального времени для конфигураций модульных вычислительных систем (МВС) на примере систем интегрированной модульной авионики. Под конфигурацией МВС понимается: количество и типы вычислителей, характеристики рабочей нагрузки, привязка рабочей нагрузки к вычислителям и расписание выполнения разделов (групп прикладных задач).

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