17.07.2024
Семинар «Инжиниринг современных информационных систем»
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