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 proceedingConference article published in proceeding or bookAcademic researchpeer-review

10 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 languageEnglish
Title of host publicationProceedings - 12th IEEE International Conference on Computational Science and Engineering, CSE 2009 - 7th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, EUC 2009
Pages270-276
Number of pages7
Volume2
DOIs
Publication statusPublished - 3 Dec 2009
Externally publishedYes
Event7th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, EUC 2009 - Vancouver, BC, Canada
Duration: 29 Aug 200931 Aug 2009

Conference

Conference7th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, EUC 2009
Country/TerritoryCanada
CityVancouver, BC
Period29/08/0931/08/09

ASJC Scopus subject areas

  • Computational Theory and Mathematics
  • Computer Science Applications
  • Software

Fingerprint

Dive into the research topics of 'WCET analysis of the μC/OS-II real-time kernel'. Together they form a unique fingerprint.

Cite this