Die grundsätzliche Aufgabe eines eingebetteten HW/SW-Systems ist es, einen physikalischen Prozess durch Kontrollkommandos an Aktuatoren zu steuern und auf Eingangssignale von Sensoren oder Benutzern zu reagieren
Die Gruppe "Eingebettete Systeme" forscht an den mathematischen Grundlagen von eingebetteten Systemen, Spezifikationstechniken, Qualitätssicherungsmethoden incl. formale Verifikation sowie automatische Testfallgenerierung. Diese Themen schließen insbesondere Werkzeugunterstützung und Formulierung des methodischen Einsatzes mit ein.

Das mittelfristige Ziel der Gruppe ist es, diese Aktivitäten unter dem Paradigma modellbasierte Entwicklung zusammenzubringen. Modellbasierte Entwicklung stützt sich auf explizite Modelle für Prozesse und Produkte, welche die formale Definition komplexer Entwicklungsschritte ermöglichen. Solche formalen Definitionen können dann für a-priori korrekte Entwicklungsschritte, für die Generierung von Beweispflichten im Zusammenhang mit einer Modelltransformation, für die Verfolgung von Anforderungen, sowie für die Dokumentation des Entwicklungsprozesses eingesetzt werden. Unsere Gruppe gliedert sich in die Gebiete:

"Development processes"
"Formal methods and models"
"Software synthesis and tool support"