Die vorliegende Arbeit praesentiert einen Ansatz, der in der Lage ist,
sehr komplexe Architekturen
(etwa den PowerPC 755) zu behandeln. Hierbei wird zuerst ein Modell des
Prozessors und der Peripherie des Systems erstellt, dessen Komponenten
dann geeignet abstrahiert werden koennen, um eine Analyse zu erhalten.
Die Analyse berechnet den WCET fuer die Basisbloecke eines Programmes
durch Simulation des abstrahierten Prozessormodells. Die Korrektheit der
Analyse wird durch die Verwendung der Theorie der abstrakten
Interpretation garantiert.
Mit diesem Ansatz wurde ein Werkzeug entwickelt, welches unter
Industriebedingungen von Airbus France im Verlauf des DAEDALUS Projektes
evaluiert wurde. Dabei konnte die praktische Anwendbarkeit des
vorgestellten Ansatzes klar demonstriert werden