The L4 microkernel has undergone 20 years of use and evolution. It has an active user and
developer community, and there are commercial versions that are deployed on a large scale …

With the widespread adoption of multicore architectures, multiprocessors are now a
standard deployment platform for (soft) real-time applications. This dissertation addresses …

The L4 microkernel has undergone 20 years of use and evolution. It has an active user and
developer community, and there are commercial versions which are deployed on a large …

Architectures in which multicore chips are augmented with graphics processing units (GPUs)
have great potential in many domains in which computationally intensive real-time …

Virtualization has been deployed as a key enabling technology for coping with the ever
growing complexity and heterogeneity of modern computing systems. However, on its own …

Component-based design can encapsulate and isolate state and the operations on it, but
timing semantics crosscut these boundaries when a real-time task's control flow spans …

Embedded systems are increasingly required to handle code of various qualities that must
often be isolated, yet predictably share resources. This has motivated the isolation of, for …

Component-based design encapsulates and isolates state and the operations on it, but
timing semantics cross-cut these boundaries when a real-time task's control flow spans …

Microkernels are an intriguing technology for operating systems research in general and for
real-time systems in particular. To gain experience and to explore new ground, the OS …

This paper presents the design of user-level scheduling hierarchies in the composite
component-based system. The motivation for this is centered around the design of a system …