The TUD:OS (TU Dresden Operating Systems) group's objective is to reduce complexity for critical systems by orders of magnitude. To this end, we research, develop and use our own micro-kernel and virtualization technology. We use micro-kernels to componentise critical parts of systems and virtualisation to enable reuse of legacy software for uncritical parts.
It is our objective to combine ambitious systems research with profound education in operating systems and related areas. We try to push research and development far enough such that its results can be used outside of our group, for example by other research groups or as starting points for industrial partners. read more ...
The Operating Systems group is committed to continue teaching in the summer term. Currently, all teaching activity is conducted online, but we intend to offer all courses announced in the teaching catalogue. If you are interested in the classes, please subscribe as soon as possible to the mailing list associates with each class. Please use your TU Dresden mail address to subscribe.
We will offer the following classes this summer term:
Distributed Operating Systems, Microkernel Construction, Scheduling Theory
Lab, seminar, and thesis work is also possible. Please contact us individually.
If you have any further questions, feel free to contact the acting group leader Michael Roitzsch or the senior professor Hermann Härtig. read more ...
Dresden Operating System L4 used as foundation of a security gateway for security level SECRET read more ...
On June 9, Imagination Technologies and Kernkonzept announced the availability of the L4Re microkernel system for the MIPS architecture, supporting the recently introduced hardware virtualization functionality. read more ...
e-mail contact form
