| 08:30 | Registration |
| 09:30 | Methods for WCET Computation (Chair: Guillem Bernat) |
| Measurements vs. Static Analysis? S. M. Petters, P. Zadarnowski, G.Heiser Automatic Amortised Worst-Case Execution Time Analysis C. A. Herrmann, A. Bonenfant, K. Hammond, S. Jost, H.-W. Loidl, R. Pointon Clustering Worst-Case Execution Times for Software Components J. Fredriksson, T. Nolte, A. Ermedahl, M. Nolin Tighter WCET Estimates by Procedure Cloning [SLIDES] P. Lokuciejewski, H. Falk, M. Schwarzer, P. Marwedel | |
| 11:00 | Coffee break |
| 11:30 | Low-level Analysis (Chair: Stefan Petters) |
| A Framework for Static Analysis of VHDL Code M. Schlickling, M. Pister Towards Symbolic State Traversal for Efficient WCET Analysis of Abstract Pipeline and Cache Models S. Wilhelm, B. Wachter | |
| 12:15 | System-level Analysis (Chair: Stephan Thesing) |
| Finding DU-Paths for Testing of Multi-Tasking Real-Time Systems using WCET Analysis D. Sundmark, A. Pettersson, C. Sandberg, A. Ermedahl, H. Thane Timing Analysis of Body Area Network Applications Y. Liang, A. Roychoudhury, T. Mitra | |
| 13:00 | Lunch |
| 14:30 | Flow Analysis (Chair: Raimund Kirner) |
| Data-Flow Based Detection of Loop Bounds [SLIDES] C. Cullmann, F. Martin Loop Bound Analysis based on a Combination of Program Slicing, Abstract Interpretation, and Invariant Analysis [SLIDES] A. Ermedahl, C. Sandberg, J. Gustafsson, S. Bygde, B. Lisper Analysing Switch-Case Tables by Partial Evaluation [SLIDES] N. Holsti Analysis of path exclusion at the machine code level [SLIDES] I. Stein, F. Martin | |
| 16:00 | Coffee break |
| 16:30 | Flow Analysis (cont'd) (Chair: Niklas Holsti) |
| WCET Analysis: The Annotation Language Challenge [SLIDES] R. Kirner, J. Knoop, A. Prantl, M. Schordan, I. Wenzel | |
| 17:00 | WCET Tool Challenge by Jan Gustafsson |
| Report from the WCET Tool Challenge 2006 Planning of the WCET Tool Challenge 2008 |