Method of dynamic updating models of the interaction model of parallel processes in embedded systems

A method for dynamic updating of a formal model of parallel processes, intended for debugging and verification of microcontroller software during field testing, is considered. The proposed method is based on the application of methods of process mining and initially differs from previous approaches in that it allows recording the observed behavior of the system in a formal model and updating this model in real time during the operation of the system. This approach allows to significantly reduce the memory resource costs for event logging, maintain the cause-and-effect relationship between them, monitor the system in cases where access to it is limited for a long time, and build process models for distributed systems in real time. The method, embodied in the form of a library in the C language, is implemented as a set of pre-prepared tables representing a dynamically updated model of the system processes in the form of an event graph with frequency characteristics updated due to the receipt of information about events in the system. A formula for assessing the necessary resources for target platforms is given, and instructions for using the developed toolkit are given.