Die Arbeitsgruppe beschäftigt sich mit der Analyse und Synthese von Hardware- / Software-Systemen.

Schwerpunkte sind die formale Verifikation (d.h. mathematische Beweise, dass Systeme ihrer Spezifikation entsprechen), Diagnose (d.h. Fehlerlokalisierung in Systemen, die ihrer Spezifikation nicht entsprechen) und die Synthese von Hardware- / Software-Systemen.

Ein wesentliches Anwendungsgebiet sind Eingebettete Systeme, die aus Hardwarekomponenten und Eingebetteter Software wie z.B. Echtzeitbetriebssystemen bestehen und die durch ihren Einsatz innerhalb größerer technischer Systeme (wie z.B. Automobilen, Flugzeugen und Telekommunikationsgeräten) erhöhte Anforderungen an Sicherheit und Effizienz stellen.

Die Gruppe bietet (z.T. im Wechsel mit dem Lehrstuhl für Rechnerarchitektur) Vorlesungen wie z.B. Technische Informatik, Systeme, Rechnerarchitektur und Eingebettete Systeme an.