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