The research of our group focuses on the use of
microkernel technology to provide various specialized systems running
besides a legacy operating system (L4Linux).
Currently, we are working on two versions of this approach. DROPS - The
Dresden Real-Time Operating System - is a real-time system which
provides both hard and statistical real-time guarantees. The aim of the
project is to define a microkernel-based architecture for secure
Within this research area, I was involved in various projects:
- L4Env -
The L4 Environment
- L4Env is a programming environment for application
development on top of the
L4 microkernel family. It consists of a set of system servers and
libraries which provide basic system services, such as memory
management, synchronization and so on.
- DDE - The
Linux Device Driver Environment
- The DDE is an emulation library which enables the
reuse of Linux device drivers as standalone servers on top of the L4
microkernel. DDE uses the service provided by L4Env.
- Our real-time disk scheduler combines the assurance
of both hard and statistical real-time guarantees with the optimization
of the disk request order.
- DSI - DROPS
- DSI provides a shared-memory communication protocol
tailored to multimedia applications running on top of the L4
A Highly-Configurable Operating System (IBM T. J. Watson Research
und Werkzeuge zur effizienten Erstellung elektronischer Produktkataloge