Семинар «Инжиниринг современных информационных систем»

06 мая 2022 г. (пятница), 15:00 (11:00 МСК)

Тема:
Автоматно-функциональный подход к моделированию киберфизических систем (на примере Event-B модели для верификации свойств алгоритма управления движением автомобилей на мосту)

Докладчик:
Нейзов Максим Вячеславович

Аннотация: Описывается оригинальный подход к построению моделей киберфизических систем с целью их дедуктивной верификации. В качестве примера будет рассмотрена задача управления движением автомобилей на мосту. Представлена модель киберфизической системы в нотации Event-B, проведена формализация требований к системе. Верификация выполняется с помощью платформы Rodin.

видео -- https://youtu.be/891jZr-7Mos

Страница семинара