Harte Echtzeitsysteme verlangen, dass verschiedene Aufgaben innerhalb einer vorgegebenen Zeit von zugehoerigen Programmen (Tasks) bearbeitet werden. Um diese Forderung statisch, d.h. im Compiler, zu verifizieren, muss man die `worst case execution time' des Programmes bestimmen (bzw. eine obere
Schranke dafuer angeben).
Dies ist für Uniprozessorsysteme relativ einfach, bei verteilten Systemen, in denen die einzelnen Prozessoren miteinander kommunizieren, treten allerdings größere Schwierigkeiten auf.
In dem Vortrag möchte ich diese Problematik ausführen und den aktuellen Stand der Ergebnisse präsentieren.