События

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

Доклад Глониной А.Б. по результатам её диссертационной работы пройдёт в среду 25 ноября, в формате Zoom-конференции. Начало в 18:00.

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

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

Работа выполнена на кафедре АСВК факультета ВМК МГУ

Проект автореферата

Ссылка на конференцию Zoom

Идентификатор конференции: 836 8523 0636
Код доступа: 6212020