Campus Event Calendar
Event Entry
What and Who
Safe and Precise WCET Determination by Abstract Interpretation of Pipeline Models
Stephan Thesing
Promotionskolloquium
AG 1, AG 2, AG 3, AG 4, AG 5
AG Audience
Note: We use this to send email in the morning.
Date, Time and Location
Thursday, 18 November 2004
16:00
-- Not specified --
45
003
Saarbrücken
Abstract
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
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
Contact
--email hidden
passcode not visible
logged in users only
Bahareh Kadkhodazadeh, 11/15/2004 10:27 -- Created document.