Wir beschäftigen uns mit verschiedenen Aspekten eingebetteter Systeme. Der Hauptanwendungsbereich unserer Forschung sind sicherheitskritische Systeme, also Computersysteme bei denen allgemein gesprochen, Fehler kostspielige oder sogar katastrophale Auswirkungen haben können. Beispiele hierfür sind die Computersysteme in Flugzeugen, Drohnen und Automobilen, aber auch medizinische Geräte wie Herzschrittmacher sowie ‚smarte‘ Infrastrukturen. Diese Computersysteme sind besonders hohen Korrektheitsanforderungen ausgesetzt, welche bereits früh in der Entwicklung berücksichtigt werden müssen.

Der Fokus unserer Forschung liegt auf den Prozessoren und Architekturen sowie auf der Analyse und Modellierung der nicht-funktionalen Eigenschaften, wie zum Beispiel dem Echtzeitverhalten, dem Energiebedarf und der Sicherheit.

Der Lerhstuhl für Embedded Systems setzt zudem die Forschung des Lehrstuhls für Systemnahe Informatik und Kommunikationssysteme zu Fehlertoleranten Systemen fort.