Данная работа посвящена разработке средств автоматизации верификации программ управления киберфизическими системами в платформе FBME. Рассматриваются возможные к добавлению в платформу средства верификации. Описываются необходимые детали реализации этих средств и некоторые примеры их работы в платформе
Москвичев В.С. (науч. рук. Сорокин Р.О., Вяткин В.В.) Верификация систем стандарта IEC 61499 на основе инструмента SPIN в платформе FBME // Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, [2024]. URL: https://kmu.itmo.ru/digests/article/13525