В работе рассмотрены различные подходы анализа графовых моделей встроенных систем. Определены требования для использования рассмотренных подходов. Разработан прототип инструментария для автоматизированного анализа динамических процессов встроенных систем вне целевой платформы. Показано, что предлагаемое средство позволяет существенно упростить и ускорить анализ графовой модели встроенной системы.

Гончаров А.А. (науч. рук. Быковский С.В.) Средство анализа графовых моделей встроенных систем // Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, [2025]. URL: https://kmu.itmo.ru/digests/article/15002