A Survey of WCET Analysis of Real-Time Operating Systems
A Survey of WCET Analysis of Real-Time Operating Systems
复制标题
实时操作系统 WCET 分析综述
DOI：
--
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
Jianming Zhang
中科院分区：
文献类型：
--
作者：
Mingsong Lv;Nan Guan;Yi Zhang;Qingxu Deng;Ge Yu;Jianming Zhang
通过对程序的可调度性分析和最坏情况执行时间（WCET）分析，保证了硬实时系统的时序正确性。传统的WCET分析主要针对应用程序，并在工业上取得了成功。单独对应用程序进行时序分析并不能保证组成实时操作系统的完整系统的正确性。一些研究小组已经将用于应用程序分析的WCET工具应用于分析RTOS例程，但有报道称WCET估计不佳。同时考虑应用和实时操作系统的实时系统时序分析还没有得到充分的研究。因此，本文拟对RTOS的WCET分析的相关工作进行综述。在总结前人工作的基础上，提出了全实时系统WCET分析面临的挑战，并指出了未来可能的研究潜力。
Timing correctness of hard real-time systems is guaranteed by schedulability analysis and worst-case execution time (WCET) analysis of programs. Traditional WCET analysis mainly deals with application programs and has achieved success in industry. Timing analysis of application programs along cannot guarantee correctness of complete systems consisting RTOS. WCET tools designed for application program analysis have been applied to analyze RTOS routines by several research groups, but poor WCET estimations have been reported. Timing analysis of real-time systems considering both applications and RTOS has not been fully studied. So we intend to give a survey of related work on WCET analysis of RTOS. By summarizing previous work, challenges of WCET analysis of complete real-time systems are presented, and some possible further research potentials are unleashed.