A Survey of WCET Analysis of Real-Time Operating Systems

Authors:
Mingsong Lv;Nan Guan;Yi Zhang;Qingxu Deng;Ge Yu;Jianming Zhang
Affiliations:
-;-;-;-;-;-
Venue:
ICESS '09 Proceedings of the 2009 International Conference on Embedded Software and Systems
Year:
2009

Citing 0
Cited 4

System-specific static code analyses: a case study in the complex embedded systems domain

Software Quality Control
Deadline prediction scheduling based on benefits

Future Generation Computer Systems
Kernel-level time composability for avionics applications

Proceedings of the 28th Annual ACM Symposium on Applied Computing
Comprehensive formal verification of an OS microkernel

ACM Transactions on Computer Systems (TOCS)

Quantified Score

Hi-index	0.02

Visualization

Abstract

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.