TUD Logo

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

Betriebssysteme

against racism

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

 

GI-Fachgruppentreffen Betriebssysteme am 22./23. Mai 2014

Der Lehrstuhl Betriebssysteme freut sich, im Mai 2014 das Halbjahrestreffen der GI-Fachgruppe Betriebssysteme auszurichten. mehr ...

 

Betriebssystemegruppe organisiert Mikrokern-Devroom bei der FOSDEM 2014

Die Betriebssystemegruppe organisiert den 'Microkernel and Component-based Operating Systems' Devroom bei der [FOSDEM 2014](https://fosdem.org/2014/) in Brüssel. Die FOSDEM bietet eine Plattform für Open-Source-Enthusiasten um sich kennenzulernen und zu kollaborieren. Der Mikrokern-Devroom im Besonderen bringt jährlich Hacker aus dem gesamten Spektrum der Mikrokerngemeinschaft zusammen. Bei Interesse gibt es hier den Call for Participation: mehr ...

 

L4/Fiasco.OC und L4Re im SiMKo3-Hochsicherheits-Smartphone

Der L4/Fiasco.OC-Mikrokern und das L4 Runtime Environment der TU Dresden bilden die Betriebssystem-Basis für das [SiMKo3 Hochsicherheits-Smartphone](http://www.telekom.com/medien/loesungen-fuer-unternehmen/200140). mehr ...

 
 
Stand: 24.4.2014, 15:53 Uhr
Autor: Webmaster

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