TUD Logo

TUD Startseite » ... » Institut für Systemarchitektur » Professuren » Betriebssysteme

Betriebssysteme

Professur für Betriebssysteme

Die Betriebssysteme-Gruppe

Die TUD:OS-Gruppe (TU Dresden Operating Systems) widmet sich der Aufgabe, die Komplexität kritischer Systeme um Größenordnungen zu reduzieren. Dazu erforschen, entwickeln und verwenden wir unsere eigenen Mikrokern- und Virtualisierungs-Technologien. Wir nutzen Mikrokerne um kritische Teile von Systemen in Komponenten zu zerlegen. Virtualisierung verwenden wir um für unkritische Teile die Weiterverwendung existierender Software zu ermöglichen.

Es ist unser Ziel, anspruchsvolle Forschung an Systemen mit einer fundierten Ausbildung in Betriebssystemen und verwandten Gebieten zu verbinden. Wir versuchen, Forschung und Entwicklung auf ein Niveau zu führen, das die Verwendung unserer Ergebnisse auch außerhalb unserer Gruppe zulässt, zum Beispiel durch andere Forschungsgruppen. Unsere Technologien sollen zudem auch als Ausgangspunkt für Industriepartner dienen. mehr ...

 

L4 GEHEIM

Dresdner Betriebssystem L4 wird Basis für einen Security-Gateway mit der Sicherheitsstufe GEHEIM mehr ...

 

German Collegiate Programming Contest

Der German Collegiate Programming Contest (GCPC) ist ein nationaler Programmierwettbewerb, bei dem Studenten-Teams Lösungen für algorithmische Probleme entwickeln. Teilnehmende Teams können sich für weiterführende internationale Wettbewerbe qualifizieren. Interessenten können sich an unseren Mitarbeiter Maksym Planeta wenden. mehr ...

 

TU-Dresden-Ausgründung zeigt Router-Firmware der nächsten Generation

Am 9. Juni haben Imagination Technologies und Kernkonzept die allgemeine Verfügbarkeit des L4Re Microkernelsystems für die MIPS-Architektur bekannt gegeben. Das besondere Merkmal ist hierbei die Unterstützung für die kürzlich eingeführte Virtualisierungsfunktionen dieser Architektur.
 mehr ...

 
 
Stand: 27.5.2017, 8:17 Uhr
Autor: Dr.-Ing. Michael Roitzsch

Kontakt
Prof. Dr.
Hermann Härtig

Tel.: +49 (0) 351 463-38282
Fax: +49 (0) 351 463-38284
E-Mail-Kontaktformular

Angela Spehr

Tel.: +49 (0) 351 463-38281
Fax: +49 (0) 351 463-38284
E-Mail-Kontaktformular

Sprechzeit:
9:00 Uhr bis 15:00 Uhr
Fakultät Informatik