July 1, 2003

Building E ("Edificio E")

School of Engineering of the Polytechnic Institute of Porto (ISEP)

Rua Dr. Antonio Bernardino de Almeida, 431

4200-072 Porto, Portugal

8.30 - 9.00: Registration

9.00 - 9.05: Welcome and opening of workshop

9.05 - 10.05: WCET tools (chair: Jan Gustafsson, Mälardalen University, Västerås, Sweden)

"Challenges in Calculating the WCET of a Complex On-board Satellite Application" by M. Rodriguez, N. Silva, J. Estives, L. Henriques and D. Costa, Critical Software SA, Coimbra, Portugal.

"Convenient User Annotations for a WCET Tool" by C. Ferdinand, R. Heckmann, H. Theiling, AbsInt Angewandte Informatik GmbH, Saarbrücken, Germany, and R. Wilhelm, Universität des Saarlandes, Saarbrücken, Germany.

"pWCET, a Tool for Probabilistic WCET Analysis of Real-Time Systems" by G. Bernat, A. Colin, S. Petters. University of York, United Kingdom.


10.05 - 11.05: Panel discussion: "Requirements of WCET tools". Jean Souyris, Airbus Toulouse, France, Jan Lindblad, ENEA OSE, Sweden. Moderator Reinhard Wilhelm, Universität des Saarlandes, Saarbrücken, Germany.

11.05 - 11.30: Coffee

11.30 - 12.45: WCET calculation methods (chair: Peter Puschner, Technische Universität Wien, Austria)

"On the Design of an Extensible Platform for Flow Analysis of Java using Abstract Interpretation" by P. Guedes, Cidade Universitária, Recife, Brazil.

"Elimination of Unstructured Loops in Flow Analysis" by C. Sandberg, Mälardalen University, Västerås, Sweden.

"A Survey of Methods to Improve ILP-based WCET Analysis" by Xianfeng Li, National University of Singapore, Singapore.

"Discussion of Misconceptions about WCET Analysis" by R. Kirner and P. Puschner, Technische Universität Wien, Austria.


12.45 - 13.45: Lunch

13.45 - 15.00: WCET calculation methods, cont. (chair: Reinhard Wilhelm, Universität des Saarlandes, Saarbrücken, Germany)

"Wishing For Compiler Support" by G. Bernat, University of York, United Kingdom and N. Holsti, Space Systems Finland, Finland.

"Impact of Automatic Gain Time Identification on Tree-Based Static WCET Analysis" by Mathieu Avila, Maxime Glaizot, Isabelle Puaut, IRISA, Campus de Beaulieu, Rennes Cedex, France.

"Comparison of Trace Generation Methods for Measurement Based WCET Analysis" by S. Petters, University of York, United Kingdom.

"Evaluating Reasons for Unexpected Results When Measuring Execution Time of Code" by V. Lorente, A. Espinosa, A. Terrasa, A. Garcia and A. Crespo, Universitat Politecnica de Valencia, Valencia, Spain.


15.00 - 15.30: Low-level analysis (chair: Guillem Bernat, University of York, United Kingdom)

"Towards Designing WCET-Predictable Processors" by Christine Rochange, Pascal Sainrat IRIT - UPS, Toulouse, France.

"A Flexible Tradeoff between Code Size and WCET by Employing Dual Instruction Set Processors" by Sheayun Lee, Jaejin Lee, Chang Yun Park, and Sang Lyul Min, Seoul National University, Seoul, Korea.

15.30 - 15.45: Coffee

15.45 - 16.30: New methods for analyzing WCET (chair: Guillem Bernat)

"Aspect-Level WCET Analyzer: A Tool for Automated WCET Analysis of the Real-Time Software Composed Using Aspect and Components" by A. Tesanovic, J. Hansson and P. Uhlin, Linköping University, Linköping, Sweden and D. Nyström and C. Norström, Mälardalen University, Västerås, Sweden.

"Fully Automatic, Parametric Worst-Case Execution Time Analysis" by B. Lisper, Mälardalen University, Västerås, Sweden.

Discussion for the two last sessions.

16.30 - 16.35: Closing of workshop.