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

20 декабря 2024 г. (пятница), 14:00 (10:00 МСК), google-meet

Тема:
Формальный анализ протокола CAN

Докладчик:
к.т.н. Старолетов Сергей Михайлович (ИАиЭ СО РАН)

Аннотация:
В обзорном докладе рассмотрены способы формальной спецификации и верификации канального уровня CAN-шины — высокоскоростной последовательной шины с разрешением коллизий, широко используемой во встраиваемых распределенных системах управления (автомобилестроение, промышленность, авионика). Рассмотрены спецификации для трех видов контроллеров CAN и проверка этих спецификаций по 12 важным свойствам с использованием пакета MurPhi (Murφ).

Ссылка на вебинар для подключения -- https://meet.google.com/iqb-gbix-azj

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