|
Published Articles >> Table of Contents >> Abstract
13th Euromicro Conference on Real-Time Systems (ECRTS'01)
p. 0191
Worst-Case Execution Time Analysis of the RTEMS Real-Time Operating System
Antoine Colin, IRISA, Campus de Beaulieu
Isabelle Puaut, IRISA, Campus de Beaulieu
Full Article Text:
  
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/EMRTS.2001.934029
Send link to a friend
| Abstract |
|
Abstract: An important issue in building operating systems for hard real-time applications is to compute the worst-case execution times (WCET) of the operating system activities. Traditionally, this has been achieved by an exhaustive testing of the operating system, with a careful attention on the testing conditions to reproduce the worst-case execution scenario. In this paper, we explore the alternative approach of using static analysis to predict off-line the WCET of the system calls of a real-time kernel, the RTEMS kernel [11]. We give qualitative and quantitative results on the analysis of RTEMS, and draw some conclusions on the extent to which static analysis can be used on operating system code.
|
 Additional Information
|
Citation:
Antoine Colin, Isabelle Puaut,
"Worst-Case Execution Time Analysis of the RTEMS Real-Time Operating System,"
ecrts,
p. 0191,
13th Euromicro Conference on Real-Time Systems (ECRTS'01),
2001
|
|
