TY - GEN
T1 - A survey of WCET analysis of real-time operating systems
AU - Lv, Mingsong
AU - Guan, Nan
AU - Zhang, Yi
AU - Deng, Qingxu
AU - Yu, Ge
AU - Zhang, Jianming
N1 - Publication details (e.g. title, author(s), publication statuses and dates) are captured on an “AS IS” and “AS AVAILABLE” basis at the time of record harvesting from the data source. Suggestions for further amendments or supplementary information can be sent to [email protected].
PY - 2009
Y1 - 2009
N2 - 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 realtime 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.
AB - 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 realtime 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.
UR - http://www.scopus.com/inward/record.url?scp=70349690567&partnerID=8YFLogxK
UR - https://www.scopus.com/record/pubmetrics.uri?eid=2-s2.0-70349690567&origin=recordpage
U2 - 10.1109/ICESS.2009.24
DO - 10.1109/ICESS.2009.24
M3 - RGC 32 - Refereed conference paper (with host publication)
SN - 9780769536781
T3 - Proceedings - 2009 International Conference on Embedded Software and Systems, ICESS 2009
SP - 65
EP - 72
BT - Proceedings - 2009 International Conference on Embedded Software and Systems, ICESS 2009
T2 - 2009 International Conference on Embedded Software and Systems, ICESS 2009
Y2 - 25 May 2009 through 27 May 2009
ER -