Für die Synthese eingebetteter Echtzeitsysteme soll das neue Konzept der Ereignisabhängigkeitsgraphen als Analyse- und Partitionierungsmodell weiter erforscht werden. In diesem Konzept wird bei der Analyse eines Systems von konkreten Ausführungspfaden abstrahiert die zeitliche Dichte des Auftretens von Ereignissen zwischen Teilkomponenten beschrieben. Damit vereinigen Ereignisabhängigkeitsgraphen die klassische Echtzeitanalysetheorie und die Theorie der Synchronen Datenflussgraphen.
Auf Basis der strukturell mathematischen Grundlagen wird ein funktionales Partitionierungs- und Explorationskonzept für die Synthese eingebetteter Systeme weiter entwickelt. Ziel ist die Erarbeitung einer einfachen und effektiven Theorie für die Synthese von Echtzeitsystemen und deren Anwendung für die Entwurfsraumexploration.

Projektstart: 2008

Projektende: 2011

Projektdauer: 3 Jahre