DFG-Projekt Parlot II

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

Projektspezifische Publikationen

	Kilian Kempf, Steffen Kollmann, Victor Pollex und Frank Slomka, Relaxing Event Densities by Exploiting Infeasible Paths in Control Flow Graphs. Proceedings of the 19th International Conference on Real-Time and Network Systems, September 2011.
	Steffen Kollmann, Victor Pollex, Kilian Kempf, Frank Slomka, Matthias Traub, Torsten Bone und Jürgen Becker, Comparative Application of Real-Time Verification Methods to an Automotive Architecture. Proceedings of the 18th International Conference on Real-Time and Network Systems, November 2010.
	Steffen Kollmann, Victor Pollex, Kilian Kempf und Frank Slomka, A Scalable Approach for the Description of Dependencies in Hard Real-Time Systems. Proceedings of the 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Seite 397-411, Springer Verlag, Oktober 2010.

Export als:

BibTeX, XML