Das Kompetenzzentrum "Eingebettete Systeme" forscht an Techniken und Methoden zur Entwicklung von Software- und Hardwaresystemen, wie sie etwa in Automobilen, Flugzeugen, Medizintechnischen Geräten oder auch Konsumelektronik verbaut werden.

Das Ziel des Kompetenzzentrums ist es die Effizienz der Entwicklung und die Qualität Eingebetteter Systeme zu erhöhen. Als primärer Ansatz wird hierbei die konsequent modellbasierte Entwicklung herangezogen. Modelle mit mathematisch formal fundierter Semantik werden hierbei verwendet, um alle Phasen der System- und Softwareentwicklung von der frühen Modellierung der Funktionen eines Systems bis hin zu Modellen der dem System zugrundeliegenden Plattform und der Hardware zu unterstützen. Die erarbeiteten Ansätze adressieren dabei nicht nur die konstruktiven Entwicklungsschritte sondern auch die Absicherung der Qualität und der Korrektheit des Systems. Auch Fragen der Steigerung der Performanz, etwa durch Parallelisierung auf Multicore-Steuergeräten, oder der Verifikation von Schedulings und Echtzeitbedingungen sind hierbei von zentraler Bedeutung.