5^th Intl WORKSHOP ON WORST-CASE EXECUTION TIME (WCET) ANALYSIS

Palma de Mallorca, Spain, July 5, 2005
WCET05

in conjunction with the
17^th Euromicro Intl Conference on Real-Time Systems
Palma de Mallorca, Spain, July 6 - 8, 2005

Workshop program

The program in PDF

09:00 - Bus to Workshop venue departs from Hotel Saratoga

09:30 - 10:00 Registration

10:00 - 11:30 Session 1: Measurement-based methods for WCET determination (session chair: Reinhard Wilhelm, Universität des Saarlandes, Germany)

Issues using the Nexus Interface for Measurement-Based WCET Analysis
Adam Betts, Guillem Bernat, University of York, UK

Safe Meaurement-based WCET Estimation
Jean Françouis Deverge, Isabelle Puaut, Université de Rennes, France

WCET Measurement using modified path testing  [files/Slides]
Nicky Williams, Commissariat à l'Energie Atomique (CEA), France

Discussion

11:30 - 12:00 Break

12:00 - 13:30 Session 2: Industrial Experience and Education (session chair: Lothar Thiele, ETH Zürich)

Computing the WCET of an Avionics Program by Abstract Interpretation
Jean Souyris, Erwan le Pavec, Guillaume Himbert, Victor Jégu (Airbus France),
Guillaume Borios (Atos Origin Integration) and
Reinhold Heckmann (AbsInt GmbH, Germany)

Experiences from Industrial WCET Analysis Case Studies  [files/Slides]
Andreas Ermedahl, Jan Gustafsson, Björn Lisper, Mälardalen University, Sweden

Using a WCET Analysis Tool in Real-Time Systems Education  [files/Slides]
Samuel Petersson, Andreas Ermedahl, Anders Pettersson, Daniel Sundmark (Mälardalen University, Sweden) and
Niklas Holsti (Tidorium Ltd, Helsinki, Finland)

Discussion

13:30 - 15:00 Lunch Break

15:00 - 16:45 Session 3: Modeling and Compiler Support (session chair: Björn Lisper, Mälardalen University, Sweden)

Analysis of Memory Latencies in Multi-Processor Systems  [files/Slides]
J. Staschulat, S. Schiecker, M. Ivers, R. Ernst, Technical University of Braunschweig, Germany

Efficient Analysis of Pipeline Models for WCET Computation  [files/Slides]
Stephan Wilhelm, AbsInt GmbH and Saarland University, Germany

Classification of Code Annotations and Discussion of Compiler Support for Worst Case Execution Time Analysis [files/Slides]
Raimund Kirner, TU Wien, Austria

Exploiting Branch Constraints without Explicit Path Enumeration  [files/Slides]
Ting Chen, Tulika Mitra, Abhik Roychoudhury, Vivy Suhendra,
School of Computing, National University of Singapore

Discussion

16:45 - 17:15 Break

17:15 - 18:15 Invited Talk and Closing Remarks (Session Chair: Guillem Bernat, University of York, UK)

Composable Real-Time Analysis (abstract)
Lothar Thiele, ETH Zürich

19:00 - Bus departs from Edifici Jovellanos back to Hotel Saratoga