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 Lv | 1 | 158 | 15.88 |
Nan Guan | 2 | 685 | 49.29 |
Yi Zhang | 3 | 247 | 34.88 |
Qingxu Deng | 4 | 361 | 46.24 |
Ge YU | 5 | 1313 | 175.88 |
Jianming Zhang | 6 | 257 | 29.85 |