Max-Planck-Institut für Informatik
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

MPI-INF or MPI-SWS or Local Campus Event Calendar

<< Previous Entry Next Entry >> New Event Entry Edit this Entry Login to DB (to update, delete)
What and Who
Title:Safe and Precise WCET Determination by Abstract Interpretation of Pipeline Models
Speaker:Stephan Thesing
coming from:
Speakers Bio:
Event Type:Promotionskolloquium
Visibility:D1, D2, D3, D4, D5
We use this to send out email in the morning.
Level:AG Audience
Language:
Date, Time and Location
Date:Thursday, 18 November 2004
Time:16:00
Duration:-- Not specified --
Location:Saarbr├╝cken
Building:45
Room:003
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
Contact
Name(s):
Video Broadcast
Video Broadcast:NoTo Location:
Tags, Category, Keywords and additional notes
Note:
Attachments, File(s):
  • Bahareh Kadkhodazadeh, 11/15/2004 10:27 AM -- Created document.