Static worst-case execution time analysis of the μC/OS-II real-time kernel

Mingsong Lv, Nan Guan, Qingxu Deng, Ge Yu, Yi Wang

Research output: Journal article publicationJournal articleAcademic researchpeer-review

4 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 RTOS. Traditionally, WCET analysis mainly deals with application programs, while it is crucial to know whether RTOS also behaves in a timely predictable manner. In this paper, static analysis techniques are used to predict the WCET of the system calls and the Disable Interrupt regions of the μC/OS-II real-time kernel, which presents a quantitative evaluation of the real-time performance of μC/OS-II. The precision of applying existing WCET analysis techniques on RTOS is evaluated, and the practical difficulties in using static methods in timing analysis of RTOS are also discussed.
Original languageEnglish
Pages (from-to)17-27
Number of pages11
JournalFrontiers of Computer Science in China
Volume4
Issue number1
DOIs
Publication statusPublished - 1 Feb 2010
Externally publishedYes

Keywords

  • μC/OS-II
  • Real-time operating systems (RTOS)
  • Static analysis
  • Worst-case execution time (WCET)

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this