Статья

Гончаров А.А., Быковский С.В. (науч. рук. Быковский С.В.) РАЗРАБОТКА МЕТОДА АНАЛИЗА ПРОЦЕССОВ ВСТРОЕННЫХ СИСТЕМ НА БАЗЕ МОДЕЛЕЙ НАБЛЮДАЕМОГО ПОВЕДЕНИЯ
УДК тезиса: 004.273

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

Авторы:

Гончаров Алексей Андреевич

Быковский Сергей Вячеславович

Руководитель:

Быковский Сергей Вячеславович

Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, [2022].