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