Гончаров А.А., Быковский С.В. (науч. рук. Быковский С.В.) РАЗРАБОТКА МЕТОДА АНАЛИЗА ПРОЦЕССОВ ВСТРОЕННЫХ СИСТЕМ НА БАЗЕ МОДЕЛЕЙ НАБЛЮДАЕМОГО ПОВЕДЕНИЯ
УДК тезиса: 004.273
Доклад посвящен сокращению времени верификации программного обеспечения кибер-физических систем за счёт использования системы функционального мониторинга на базе моделей наблюдаемого поведения. Предложена архитектура фреймворка с указанием технологий анализа процессов для использования в кибер-физической системе.
Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, [2022].