Ziel der Forschung ist die Bereitstellung von Methoden und Werkzeugen zum integrierten Entwurf eingebetteter Echtzeitsysteme. Diese Systeme bestehen aus engverzahnten Hardware- und Softwarekomponenten. Beim Entwurf solcher Systeme ist eine kostenoptimale Hardware/Softwarearchitektur zu entwickeln. Dabei sind komplexe Entscheidungen bzgl. der Architektur des eingebetteten Systems zu treffen. In Zukunft sollen diese Entscheidungen in eingebetteten Hardware/Softwaresystemen mit Hilfe von Softwarewerkzeugen getroffen werden. Solche Entwurfswerkzeuge zur Synthese eingebetter Echtzeitsysteme benötigen neuartige Modelle zur Beschreibung und Analyse für den optimalen Entwurf eines eingebetteten Systems.