WCET analysis of the μC/OS-II real-time kernel

Mingsong Lv; Nan Guan; Yi Zhang; Rui Chen; Qingxu Deng; Ge Yu; Wang Yi

doi:10.1109/CSE.2009.82

WCET analysis of the μC/OS-II real-time kernel

Mingsong Lv, Nan Guan, Yi Zhang, Rui Chen, Qingxu Deng, Ge Yu, Wang Yi

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

8 Citations (Scopus)

Abstract

Worst-case execution time (WCET) analysis is one of the major tasks in timing validation of hard real-time systems. In complex systems with real-time operating systems (RTOS), the timing properties of the system are decided by both the applications and the RTOS. Traditionally, WCET analysis mainly deals with application programs, while it is crucial to know whether the RTOS also behaves in a timely predictable manner. In this paper, we present a case study where static analysis is used to predict the WCET of the system calls of the μC/OS-II real-time kernel. To our knowledge, this paper is the first to present quantitative results on the real-time performance of μC/OS-II. The precision of applying existing WCET analysis techniques on RTOS code is evaluated, and the practical difficulties in using static methods in timing analysis of RTOS are also reported.

Original language	English
Title of host publication	Proceedings - 12th IEEE International Conference on Computational Science and Engineering, CSE 2009 - 7th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, EUC 2009
Pages	270-276
Number of pages	7
Volume	2
DOIs	https://doi.org/10.1109/CSE.2009.82
Publication status	Published - 3 Dec 2009
Externally published	Yes
Event	7th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, EUC 2009 - Vancouver, BC, Canada Duration: 29 Aug 2009 → 31 Aug 2009

Conference

Conference	7th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, EUC 2009
Country	Canada
City	Vancouver, BC
Period	29/08/09 → 31/08/09

ASJC Scopus subject areas

Computational Theory and Mathematics
Computer Science Applications
Software

More information

10.1109/CSE.2009.82

Scopus Link

Cite this

Lv, M., Guan, N., Zhang, Y., Chen, R., Deng, Q., Yu, G., & Yi, W. (2009). WCET analysis of the μC/OS-II real-time kernel. In Proceedings - 12th IEEE International Conference on Computational Science and Engineering, CSE 2009 - 7th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, EUC 2009 (Vol. 2, pp. 270-276). [5284144] https://doi.org/10.1109/CSE.2009.82

@inproceedings{e6d557a3bfde47e189150097ec5572c3,

title = "WCET analysis of the μC/OS-II real-time kernel",

abstract = "Worst-case execution time (WCET) analysis is one of the major tasks in timing validation of hard real-time systems. In complex systems with real-time operating systems (RTOS), the timing properties of the system are decided by both the applications and the RTOS. Traditionally, WCET analysis mainly deals with application programs, while it is crucial to know whether the RTOS also behaves in a timely predictable manner. In this paper, we present a case study where static analysis is used to predict the WCET of the system calls of the μC/OS-II real-time kernel. To our knowledge, this paper is the first to present quantitative results on the real-time performance of μC/OS-II. The precision of applying existing WCET analysis techniques on RTOS code is evaluated, and the practical difficulties in using static methods in timing analysis of RTOS are also reported.",

author = "Mingsong Lv and Nan Guan and Yi Zhang and Rui Chen and Qingxu Deng and Ge Yu and Wang Yi",

year = "2009",

month = dec,

day = "3",

doi = "10.1109/CSE.2009.82",

language = "English",

isbn = "9780769538235",

volume = "2",

pages = "270--276",

booktitle = "Proceedings - 12th IEEE International Conference on Computational Science and Engineering, CSE 2009 - 7th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, EUC 2009",

note = "7th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, EUC 2009 ; Conference date: 29-08-2009 Through 31-08-2009",

}

Lv, M, Guan, N, Zhang, Y, Chen, R, Deng, Q, Yu, G & Yi, W 2009, WCET analysis of the μC/OS-II real-time kernel. in Proceedings - 12th IEEE International Conference on Computational Science and Engineering, CSE 2009 - 7th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, EUC 2009. vol. 2, 5284144, pp. 270-276, 7th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, EUC 2009, Vancouver, BC, Canada, 29/08/09. https://doi.org/10.1109/CSE.2009.82

WCET analysis of the μC/OS-II real-time kernel. / Lv, Mingsong; Guan, Nan; Zhang, Yi; Chen, Rui; Deng, Qingxu; Yu, Ge; Yi, Wang.

Proceedings - 12th IEEE International Conference on Computational Science and Engineering, CSE 2009 - 7th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, EUC 2009. Vol. 2 2009. p. 270-276 5284144.

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

TY - GEN

T1 - WCET analysis of the μC/OS-II real-time kernel

AU - Lv, Mingsong

AU - Guan, Nan

AU - Zhang, Yi

AU - Chen, Rui

AU - Deng, Qingxu

AU - Yu, Ge

AU - Yi, Wang

PY - 2009/12/3

Y1 - 2009/12/3

N2 - Worst-case execution time (WCET) analysis is one of the major tasks in timing validation of hard real-time systems. In complex systems with real-time operating systems (RTOS), the timing properties of the system are decided by both the applications and the RTOS. Traditionally, WCET analysis mainly deals with application programs, while it is crucial to know whether the RTOS also behaves in a timely predictable manner. In this paper, we present a case study where static analysis is used to predict the WCET of the system calls of the μC/OS-II real-time kernel. To our knowledge, this paper is the first to present quantitative results on the real-time performance of μC/OS-II. The precision of applying existing WCET analysis techniques on RTOS code is evaluated, and the practical difficulties in using static methods in timing analysis of RTOS are also reported.

AB - Worst-case execution time (WCET) analysis is one of the major tasks in timing validation of hard real-time systems. In complex systems with real-time operating systems (RTOS), the timing properties of the system are decided by both the applications and the RTOS. Traditionally, WCET analysis mainly deals with application programs, while it is crucial to know whether the RTOS also behaves in a timely predictable manner. In this paper, we present a case study where static analysis is used to predict the WCET of the system calls of the μC/OS-II real-time kernel. To our knowledge, this paper is the first to present quantitative results on the real-time performance of μC/OS-II. The precision of applying existing WCET analysis techniques on RTOS code is evaluated, and the practical difficulties in using static methods in timing analysis of RTOS are also reported.

UR - http://www.scopus.com/inward/record.url?scp=70749125624&partnerID=8YFLogxK

U2 - 10.1109/CSE.2009.82

DO - 10.1109/CSE.2009.82

M3 - Conference article published in proceeding or book

SN - 9780769538235

VL - 2

SP - 270

EP - 276

BT - Proceedings - 12th IEEE International Conference on Computational Science and Engineering, CSE 2009 - 7th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, EUC 2009

T2 - 7th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, EUC 2009

Y2 - 29 August 2009 through 31 August 2009

ER -