Find out how ICT can support biomedical and clinical researchFind out more. Managing complexity by developing new tools and processes. Managing Complexity

Abstract

Title:

Issues in analysing L4 for its WCET

Authors:

Mohit Singal and Stefan M. Petters

Computer Science and Engineering
IIT Guwahati
Assam
India

NICTA
Sydney 2052
Australia

School of Computer Science and Engineering
University of NSW
Sydney 2052
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.

Download paper: