Workshop Program

8:30 Registration

9:00 Session 1: Fundamental Issues of WCET Analysis (Chair: Raimund Kirner)

Towards an Open Timing Analysis Platform
Benedikt Huber, Wolfgang Puffitsch, Peter Puschner

On the Industrial Fitness of WCET Analysis
Enrico Mezzetti, Tullio Vardanega

Safety Standards and WCET Analysis Tools
Daniel Kästner, Simon Wegener, Christian Ferdinand

10:30 Coffee Break

11:00 Session 2: Analysis Methodologies (Chair: Christine Rochange)

FDTA – A Tool Chain for Failure-Dependent Timing Analysis
Kai Höfig

Towards Semantics-Based WCET Analysis
Mihail Asăvoae, Dorel Lucanu, Grigore Roşu

Dynamics for WCET
David Griffin, Alan Burns

12:30 Lunch

13:30 Invited Talk: Francisco Cazorla (Barcelona Supercomputing Center)

14:30 Session 3-A: Control Flow and Techniques I (Chair: Kevin Hammond)

Compiler Support for Measurement-Based Timing Analysis
Raimund Kirner, Michael Zolda

Deriving WCET Bounds by Abstract Execution
Andreas Ermedahl, Jan Gustafsson, Björn Lisper

15:30 Coffee Break

16:00 Session 3-B: Control Flow and Techniques II (Chair: Kevin Hammond)

Branch Prediction Related WCET with a Markovian Model
Stéphane Louise, Amira Dkhil

An Evaluation of WCET Analysis using Symbolic Loop Bounds
Jens Knoop, Laura Kovács, Jakob Zwirchmayr

17:00 WCET Tool Challenge Report
Niklas Holsti, Björn Lisper

Réalisation Axome - Création de sites Internet