DFG-Projekt Hepproxsys II

Bisherige Ansätze zur Analyse verteilter Echtzeitsysteme berücksichtigen in nicht ausreichendem Maße indirekte Abhängigkeiten, wie sie z.B. durch die Konkurrenz um gemeinsame Ressourcen entstehen. Dadurch wird ein enormes Potential für eine exakte Analyse verschenkt. Durch diese Ungenauigkeiten überschätzen die bekannten Verfahren die wirklichen Antwortzeiten des Systems um ein Vielfaches.
In diesem Projekt sollen derartige Abhängigkeiten erforscht und Methoden erarbeitet werden, diese Abhängigkeiten sukzessive in eine Analyse verteilter Echtzeitsysteme einzuarbeiten. Besonderes Augenmerk liegt dabei auf der Entwicklung effizienter Verfahren. Das heißt, Laufzeit- und Speicherkomplexität der Algorithmen werden betrachtet und ggf. durch gezielte Approximationsverfahren beherrschbar gemacht. Für die Umsetzung wird in dem Projekt eine Methodik entwickelt, welche es ermöglicht, die Abhängigkeiten orthogonal zur Echtzeitanalyse zu berechnen und abzuschätzen. Als Grundlage werden die Modelle und Algorithmen aus dem ersten Förderabschnitt (Hepproxsys I) verwendet.

Projektstart: 2010

Projektende: 2012

Projektdauer: 3 Jahre

Projektspezifische Publikationen

	Robert I. Davis, Steffen Kollmann, Victor Pollex und Frank Slomka, Controller Area Network (CAN) Schedulability Analysis with FIFO queues. Proceedings of the 23rd Euromicro Conference on Real-Time Systems, IEEE, Juli 2011. Best Paper Award
	Steffen Kollmann, Victor Pollex und Frank Slomka, Reducing Response Times by Competition Based Dependencies. Proceedings of the 14th Workshop of Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Februar 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.
	Tobias Bund, Steffen Moser, Steffen Kollmann und Frank Slomka, Guaranteed Bounds for the Control Performance Evaluation in Distributed System Architectures. Proceedings of the International Conference on Real-Time and Embedded Systems (RTES), 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.
	Steffen Kollmann, Victor Pollex und Frank Slomka, Global Best-Case Response Time for Improving the Worst-Case Response Times in Distributed Real-Time Systems. Proceedings of the 7th IFIP Distributed and Parallel Embedded Systems Conference (DIPES), September 2010.
	Victor Pollex, Steffen Kollmann und Frank Slomka, Generalizing Response-Time Analysis. Proceedings of the 16th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), IEEE Computer Society, August 2010.
	Steffen Kollmann, Victor Pollex und Frank Slomka, Holistic Real-Time Analysis with an Expressive Event Model. Proceedings of the 13th Workshop on Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Seite 67-76, Februar 2010.

Export als:

BibTeX, XML