Title
A Survey of WCET Analysis of Real-Time Operating Systems
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.
Year
DOI
Venue
2009
10.1109/ICESS.2009.24
ICESS
Keywords
Field
DocType
wcet analysis,wcet tool,traditional wcet analysis,rtos routine,real-time operating systems,complete real-time system,timing analysis,poor wcet estimation,application program analysis,schedulability analysis,application program,program analysis,real time operating systems,rtos,worst case execution time,information analysis,job shop scheduling,scheduling,real time operating system,real time systems,systems analysis,static analysis,operating systems,educational technology,data mining,embedded software,hardware,kernel,switches
Embedded software,Computer science,Scheduling (computing),Correctness,Static analysis,Systems analysis,Real-time operating system,Real-time computing,Static timing analysis,Program analysis
Conference
ISSN
Citations 
PageRank 
2576-3504
11
0.69
References 
Authors
23
6
Name
Order
Citations
PageRank
Mingsong Lv115815.88
Nan Guan268549.29
Yi Zhang324734.88
Qingxu Deng436146.24
Ge YU51313175.88
Jianming Zhang625729.85