Research on Real-time Analysis Method for Real-time Operating System

Worst-case Execution Time (WCET) represents the Execution Time of a program in the worst-case scenario, the WCET of each RTOS module has a great influence on the real-time performance of the operating system. Most of the existing evaluation methods of RTOS real-time performance are to select several specific indicators and obtain the time value by using the test-based method, which cannot guarantee the security of the obtained execution time. Therefore, this paper firstly studies the key technologies of WCET analysis, and then designs and implements a static WCET analysis tool based on the open source tool Chronos from three aspects: the transplantation of ARM instruction set, the parsing of ELF files, and the modeling and analysis of microarchitecture model. WCET analysis of some key time indicators of mginkgo microkernel operating system was carried out by using this analysis tool, and the safe execution time of some key modules were obtained. The static WCET analysis tool designed in this paper can analyze the executable file of ARM instruction set and get its worst-case execution time estimate, which has certain universality.