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


8.
pdf
Davis, Robert I.; Kollmann, Steffen; Pollex, Victor und Slomka, Frank
Controller Area Network (CAN) Schedulability Analysis with FIFO queues
Proceedings of the 23rd Euromicro Conference on Real-Time Systems
Herausgeber: IEEE,
Juli 2011

Anmerkung: Best Paper Award

7.
pdf
Kollmann, Steffen; Pollex, Victor und Slomka, Frank
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
6.
pdf
Kollmann, Steffen; Pollex, Victor; Kempf, Kilian; Slomka, Frank; Traub, Matthias; Bone, Torsten und Becker, Jürgen
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
5.
pdf
Bund, Tobias; Moser, Steffen; Kollmann, Steffen und Slomka, Frank
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
4.
pdf
Kollmann, Steffen; Pollex, Victor; Kempf, Kilian und Slomka, Frank
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.
Herausgeber: Springer Verlag, Berlin, Heidelberg
Oktober 2010
3.
pdf
Kollmann, Steffen; Pollex, Victor und Slomka, Frank
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
2.
pdf
Pollex, Victor; Kollmann, Steffen und Slomka, Frank
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
1.
pdf
Kollmann, Steffen; Pollex, Victor und Slomka, Frank
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