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