Доклад посвящен сокращению времени верификации программного обеспечения кибер-физических систем за счёт использования системы функционального мониторинга на базе моделей наблюдаемого поведения. Предложена архитектура фреймворка с указанием технологий анализа процессов для использования в кибер-физической системе.

Гончаров А.А., Быковский С.В. (науч. рук. Быковский С.В.) РАЗРАБОТКА МЕТОДА АНАЛИЗА ПРОЦЕССОВ ВСТРОЕННЫХ СИСТЕМ НА БАЗЕ МОДЕЛЕЙ НАБЛЮДАЕМОГО ПОВЕДЕНИЯ // Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, [2022]. URL: https://kmu.itmo.ru/digests/article/8050