Method for checking the correctness of the task scheduler of a real-time operating system using Petri nets

The authors of the method proposed checking the correct operation of the intelligent task scheduler for switching on a constant-time system using a model based on a temporary Petri net. A review of various policy schedulers for lighting problems in real-time systems is carried out. The article analyzes the use of temporary Petri net models for testing scheduling problems with system devices in real time at the early stage of designing on-board equipment of an external device in order to determine the required computing resources when using various hardware configurations. Based on the research results, it was found that the technical parameters of the computer system of the on-board equipment of the devices affect the stability of the constant-time system scheduler. The technical limitations of computing platforms built on the basis of microcontrollers are of great importance for small devices. Further evolutionary development of the designed system is possible by expanding the models of various computing systems, which will ensure compliance with the property of scheduler tasks that ensure time constancy given hardware limitations.