@inproceedings{80b81f46175f4c098514e93f73209621,
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",
doi = "10.1109/CSE.2009.82",
language = "英语",
isbn = "9780769538235",
series = "Proceedings - 12th IEEE International Conference on Computational Science and Engineering, CSE 2009",
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",
}