Trustworthy Systems

Issues in analysing L4 for its WCET

Authors

Mohit Singal and Stefan M. Petters

Computer Science and Engineering
IIT Guwahati
Assam
India

NICTA
Sydney
Australia

School of Computer Science and Engineering
UNSW
Sydney
Australia

Abstract

Real-time analysis of a system requires knowledge of the worst-case execution time of all code in the system. This requirement covers not only application code, but also operating system and kernel code. In this paper we discuss the issues specific to kernel code and how we aim to address these in our work towards analysing the L4 microkernel for the worst-case execution times of all system-call primitives. The main focus in that process is to maximise the degree of automation of the analysis, as the analysis needs to be repeated for any subsequent version of the kernel.

BibTeX Entry

  @inproceedings{Singal_Petters_07,
    address          = {Sydney, Australia},
    author           = {Mohit Singal and Stefan M. Petters},
    booktitle        = {International Workshop on Microkernels for Embedded Systems},
    month            = jan,
    organization     = {NICTA},
    paperurl         = {https://trustworthy.systems/publications/papers/Singal_Petters_07.pdf},
    title            = {Issues in Analysing {L4} for its {WCET}},
    year             = {2007}
  }

Download