A survey of WCET analysis of real-time operating systems

Mingsong Lv; Nan Guan; Yi Zhang; Qingxu Deng; Ge Yu; Jianming Zhang

doi:10.1109/ICESS.2009.24

A survey of WCET analysis of real-time operating systems

Mingsong Lv, Nan Guan, Yi Zhang, Qingxu Deng, Ge Yu, Jianming Zhang

Research output: Chapter in book / Conference proceeding › Conference article published in proceeding or book › Academic research › peer-review

35 Citations (Scopus)

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 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.

Original language	English
Title of host publication	Proceedings - 2009 International Conference on Embedded Software and Systems, ICESS 2009
Pages	65-72
Number of pages	8
DOIs	https://doi.org/10.1109/ICESS.2009.24
Publication status	Published - 12 Oct 2009
Externally published	Yes
Event	2009 International Conference on Embedded Software and Systems, ICESS 2009 - Hangzhou, Zhejiang, China Duration: 25 May 2009 → 27 May 2009

Conference

Conference	2009 International Conference on Embedded Software and Systems, ICESS 2009
Country/Territory	China
City	Hangzhou, Zhejiang
Period	25/05/09 → 27/05/09

ASJC Scopus subject areas

Hardware and Architecture
Software

More information

10.1109/ICESS.2009.24

Cite this

@inproceedings{fadcdeece55443e3b558132c9e6b98ac,

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 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.",

author = "Mingsong Lv and Nan Guan and Yi Zhang and Qingxu Deng and Ge Yu and Jianming Zhang",

year = "2009",

month = oct,

day = "12",

doi = "10.1109/ICESS.2009.24",

language = "English",

isbn = "9780769536781",

pages = "65--72",

booktitle = "Proceedings - 2009 International Conference on Embedded Software and Systems, ICESS 2009",

note = "2009 International Conference on Embedded Software and Systems, ICESS 2009 ; Conference date: 25-05-2009 Through 27-05-2009",

}

Lv, M, Guan, N, Zhang, Y, Deng, Q, Yu, G & Zhang, J 2009, A survey of WCET analysis of real-time operating systems. in Proceedings - 2009 International Conference on Embedded Software and Systems, ICESS 2009., 5066632, pp. 65-72, 2009 International Conference on Embedded Software and Systems, ICESS 2009, Hangzhou, Zhejiang, China, 25/05/09. https://doi.org/10.1109/ICESS.2009.24

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

PY - 2009/10/12

Y1 - 2009/10/12

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

U2 - 10.1109/ICESS.2009.24

DO - 10.1109/ICESS.2009.24

M3 - Conference article published in proceeding or book

SN - 9780769536781

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 -

A survey of WCET analysis of real-time operating systems

Abstract

Conference

ASJC Scopus subject areas

More information

Other files and links

Fingerprint

Cite this