Глонина Алевтина Борисовна

Окончила среднюю школу №17 г. Твери в 2008 г., окончила факультет Вычислительной математики и кибернетики (ВМК) МГУ имени М. В. Ломоносова в 2013 г., аспирантуру факультета - в 2016 г.

А.Б. Глонина ведёт исследования в области моделирования информационно-управляющих систем реального времени, а также синтеза архитектур и планирования вычислений в направлениях:

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

За последнее время ею получены следующие основные научные результаты:

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

А.Б. Глонина участвовала в выполнении проектов РФФИ и НИР. Является исполнителем проектов РФФИ «Разработка методов и средств планирования вычислений в модульных вычислительных системах реального времени с использованием имитационных моделей целевых систем» и «Управление качеством сервиса в распределенных вычислительных системах и компьютерных сетях с программным управлением».

С 2013 г. Глонина А.Б. активно занимается учебно-педагогической работой: участвует в научном семинаре лаборатории Вычислительных комплексов, соруководит студенческим семинаром «Синтез архитектур и планирование вычислений», под ее непосредственном руководством успешно выполнены одна курсовая и одна дипломная работы, участвует в руководстве курсовой работой одного студента, ведет семинары по курсу «Практикум по компьютерным сетям», данный практикум является обязательным для студентов 3 курса кафедры АСВК в весеннем семестре.

Имеет 17 научных публикаций. Результаты работ были представлены на 9 конференциях (в том числе 5 международных).