METHOD OF DYNAMIC UPDATING OF THE INTERACTION MODEL OF PARALLEL PROCESSES IN EMBEDDED SYSTEMS
Annotation
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.
Keywords
Постоянный URL
Articles in current issue
- IMPROVEMENT OF THE HUMAN EMOTIONAL STATE IDENTIFICATION ALGORITHM USING MFCC
- OPTIMAL AGGREGATION OF CLUSTERED SAMPLE INTERVALS FOR APPLYING THE χ2 TEST
- SPEED ANALYSIS OF ALOHA-BASED RANDOM-ACCESS ALGORITHM WITH VARIOUS SLOT DURATION
- HANDWRITTEN TEXT RECOGNITION OF HISTORICAL DOCUMENTS USING DEEP NEURAL NETWORK TECHNOLOGIES
- IMPROVEMENT OF THE CALCULATION AND ANALYTICAL METHOD OF TV-CAMERA EFFICIENCY ASSESSMENT IN OBJECTS DETECTION AND RECOGNITION
- STUDY OF A LOW-COHERENCE INTERFEROMETRIC PROBE OPERATING IN THE SCANNING MEASUREMENT MODE
- CONTRAST AGENT DISTRIBUTION IN THE LUMEN AND WALL OF THE ABDOMINAL AORTA ACCORDING TO CT-ANGIOGRAPHIC STUDY DATA