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