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

19 июля 2024 г. (пятница), 14:00 (10:00 МСК), google-meet

Тема:
Моделирование работы Controller Area Network (CAN) методом проверки моделей

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

Аннотация: В докладе будут рассмотрены основные первичные документы (даташиты) CAN и трансивера MCP 2515,  алгоритмы отправки, получения сообщений и арбитража на шине, а также предложены способы моделирования протокола CAN с помощью метода Model Checking.

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

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