Проверка выполнения ограничений реального времени для конфигураций модульных вычислительных систем Доклад Глониной А.Б. по результатам её диссертационной работы пройдёт в среду 25 ноября, в формате Zoom-конференции. Начало в 18:00. В диссертационной работе рассматривается задача проверки выполнения ограничений реального времени для конфигураций модульных вычислительных систем (МВС) на примере систем интегрированной модульной авионики. На основе предложенного расширения математического аппарата сетей временных автоматов с остановкой таймеров построена обобщенная модель функционирования МВС, абстрагированная от структуры МВС и используемых в МВС алгоритмов планирования. Корректность этой модели доказана. Разработан метод, конкретизирующий обобщенную модель на случай МВС с заданной конфигурацией и позволяющий при помощи полученной модели проверить выполнение ограничений реального времени для этой конфигурации МВС. Работа выполнена на кафедре АСВК факультета ВМК МГУ Проект автореферата Ссылка на конференцию Zoom Идентификатор конференции: 836 8523 0636 Код доступа: 6212020
