Reference for citation: Goncharov A. A., Bykovsky S. V. Method of dynamic updating models of the interaction model of parallel processes in embedded systems. 2024. Vol. 67, N 9. P. 741–750 (in Russian). DOI: 10.17586/0021-3454-2024-67-9-741-750.

Abstract. 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: verification, formal process model, embedded systems, microcontrollers, process mining

References:

1. Pivoto D.G.S. et al. Journal of manufacturing systems, 2021, vol. 58, pp. 176–192.
2. Hamzah M. et al. Systems, 2023, no. 4(11), pp. 208.
3. Pola G., Di Benedetto M.D. Annual Reviews in Control, 2019, vol. 47, pp. 178–192.
4. de Souza J.T. et al. IEEE Latin America Transactions, 2019, no. 03(17), pp. 372–382.
5. Taranto-Vera G. et al. The Journal of Supercomputing, 2021, vol. 77, pp. 11481–11513.
6. Cheng T. et al. Handbook of regional science, 2021, pp. 1691–1709.
7. Vodyaho A. et al. Computers, 2020, no. 9, pp. 47.
8. Hsieh F.S. Applied Sciences, 2021, no. 14(11), pp. 6469.
9. Chervontsev M. et al. Engineering Proceedings, 2023, no. 1(33), pp. 14.
10. Nicoleta T.C. International Conference on Software Testing, Verification and Validation Workshops (ICSTW), IEEE, 2021, pp. 205–212.
11. Xavier M. et al. 20th International Conference on Industrial Informatics (INDIN), IEEE, 2022, pp. 1–6.
12. Premchaiswadi W. et al. Progress in Applied Science and Technology, 2023.
13. Zakarija I., Škopljanac-Mačina F., Blašković B. Automatika: časopis za automatiku, mjerenje, elektroniku, računarstvo i komunikacije, 2020, no. 2(61), pp. 312–324.
14. Shakya S. Journal of Soft Computing Paradigm, 2021, no. 2(3), pp. 96–109.
15. Vitale F. Run-Time Anomaly Detection with Process Mining: Methodology and Railway System Compliance CaseStudy, Extended Abstracts of Master’s Thesis. Linnaeus Univ., Sweden, 2021.
16. Myers D. et al. Computers & Security, 2018, vol. 78, pp. 103–125.
17. Goncharov A.A., Bykovskii S.V. University Proceedings. Volga Region. Technical Sciences, 2023, no. 3, pp. 5–17, DOI: 10.21685/2072-3059-2023-3-1. (in Russ.)
18. Karpov Yu.G. Model shecking. Verifikatsiya parallel'nykh i raspredelennykh programmnykh sistem (MODEL CHECKING. Verification of Parallel and Distributed Software Systems), St. Petersburg, 2010. (in Russ.)
19. Table_miner, https://github.com/GoncharovAleshka/micropm