Chair of Operating Systems

Current Lectures

Distributed Operating Systems

This lecture continues and consolidates the topics of the basic course "Operating Systems and Security". The lecture covers scalability, fault tolerance, memory consistency and synchronization in parallel systems, security in distributed systems, and Trusted Computing.

Operating-System Construction

In this course with a strong exercise and lab component, the focus is on building one's own simple operating system from scratch. For this purpose, we teach knowledge about the structure and functionality of PC hardware, but also recapitulate and deepen basics such as interrupts, synchronization and scheduling.

Microkernel Construction

This lecture addresses the current development of 2nd-generation microkernels in a very practical manner. We start with a short introduction to the area of microkernel-based systems and then illustrate mechanisms of modern microkernels by means of example code and accompanied by practical exercises.

Scheduling Theory

When designing a real-time system, a critical decision is how much computation time to assign to processes. This lecture teaches the basic terms, methods, and results of scheduling theory.

The Operating Systems Group

The TUD:OS group (TU Dresden Operating Systems) research objective is to address systems topics that have become critical for advanced applications. Examples for such topics include systems security requiring small trusted computing bases, real-time systems, or efficient and predictable communications in high-performance systems.

It is our ambition to push research far enough to be usable outside of our group, for example by other research groups or as starting points for industrial partners. Examples are the L4Re and M³ microkernel technologies. L4Re for example is used in security critical environments like government agencies and several prominent industry applications, which unfortunately cannot be named on this website. Come visit us and we will tell you.

It is also our goal to work closely with Dresden’s thriving operating-system scene, part of which has been initiated or founded by former members of our group. Especially close is our interaction with the Barkhausen Institute, Kernkonzept GmbH, and Huawei’s Dresden Research Center.

Contacts and postal address