TUD Logo

TUD Home » ... » Institute of Systems Architecture » Groups » Operating Systems

Operating Systems

Chair of Operating Systems

The Operating Systems Group

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 ...

 

L4 SECRET

Dresden Operating System L4 used as foundation of a security gateway for security level SECRET read more ...

 

German Collegiate Programming Contest

The German Collegiate Programming Contest (GCPC) is a national programming competition, where teams of students develop solutions to algorithmic problems. Participating teams can qualify for follow-up international competitions. If you are interested, please contact Maksym Planeta at the Operating Systems group. read more ...

 

TU Dresden Spin-Off demonstrates next generation router firmware

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 ...

 
 
Last modified: 29th Jun 2017, 5.16 AM
Author: Dr.-Ing. Michael Roitzsch

Contact
Prof. Dr.
Hermann Härtig

Phone: +49 (0) 351 463-38282
Fax: +49 (0) 351 463-38284
e-mail contact form

Angela Spehr

Phone: +49 (0) 351 463-38281
Fax: +49 (0) 351 463-38284
e-mail contact form

Office hours:
9.00 AM to 3.00 PM