В работе выполнен анализ методов построения моделей поведения внешнего окружения встраиваемых систем. Проведена систематизация уровней наблюдения взаимодействия и обоснована перспективность логического уровня для восстановления моделей за счет семантически насыщенных событий и низкой аппаратной зависимости. Показано, что расширенные конечные автоматы (EFSM) являются наиболее подходящим классом моделей для описания реактивного поведения устройств. Выявлен разрыв между низкоуровневыми архитектурно-зависимыми средствами и высокоуровневыми инструментами анализа журналов, что обосновывает необходимость разработки нового подхода.

Лесников А.А. (науч. рук. Пинкевич В.Ю.) Анализ методов построения моделей поведения внешнего окружения встраиваемых вычислительных систем // Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, [2026]. URL: https://kmu.itmo.ru/digests/article/16955