Die Betriebssysteme-Gruppe
Die Forschung in der TUD:OS-Gruppe (TU Dresden Operating Systems) befasst sich mit systemnahen Themen, die von kritischer Bedeutung für anspruchsvolle Anwendungen sind. Beispiele für solche Themen sind hohe Systemsicherheit durch eine drastische Verkleinerung der sogenannten „Trusted Computing Base“, Echtzeitfähigkeit oder die effiziente und determistische Kommunikation in Supercomputern.
Wir haben den Ehrgeiz unsere Forschung so weit zu treiben, dass deren Ergebnisse auch außerhalb unserer Gruppe genutzt werden können, beispielsweise in anderen Forschungsgruppen oder als Ausgangspunkte für Partner aus der Industrie. Beispiele dafür sind unsere Mikrokern-Systeme L4Re und M3. L4Re wird in sicherheitsrelevanten Umgebungen wie Regierungsbehörden und sehr prominenten industriellen Anwendungen eingesetzt. Leider dürfen wir die nicht auf dieser Web-Seite nennen, aber wenn ihr uns besucht, erzählen wir es gern.
Als ein ebenfalls wichtiges Ziel betrachten wir die Zusammenarbeit mit der großen und lebendigen Dresdner Betriebssysteme-Szene, die zum Teil von unseren Alumni initiiert oder gegründet wurde. Eine besonders intensive Zusammenarbeit haben wir mit dem Barkhausen-Institut, der Kernkonzept GmbH und dem Huawei Dresden Research Center.