3. WCET 2003: Porto, Portugal

Jan Gustafsson (Ed.): Proceedings of the 3rd International Workshop on Worst-Case Execution Time Analysis, WCET 2003 - a Satellite Event to ECRTS 2003, Polytechnic Institute of Porto, Portugal, July 1, 2003. MDH-MRTC-116/2003-1-SE Department of Computer Science and Engineering, Mälardalen University, Box 883, 721 23 Västerås, Sweden 2003 BibTeX

PART I: WCET Tools

Manuel Rodríguez, Nuno Silva, João Esteves, Luis Henriques, Diamantino Costa, Niklas Holsti, Kjeld Hjortnaes: Challenges in Calculating the WCET of a Complex On-board Satellite Application. 11-15 BibTeX
Christian Ferdinand, Reinhold Heckmann, Henrik Theiling, Reinhard Wilhelm: Convenient User Annotations for a WCET Tool. 17-20 BibTeX
Guillem Bernat, Antoine Colin, Stefan M. Petters: pWCET, a Tool for Probabilistic WCET Analysis of Real-Time Systems. 21-38 BibTeX

PANEL DISCUSSION: Requirements of WCET tools

Reinhard Wilhelm, Jakob Engblom, Stephan Thesing, David B. Whalley: Industrial Requirements for WCET Tools - Answers to the ARTIST Questionnaire. 39-43 BibTeX
Jan Lindblad: Requirements of WCET tools. 45-46 BibTeX

PART II: WCET calculation methods

Paulo Abadie Guedes, Sérgio Vanderlei Cavalcante: On the Design of an Extensible Platform for Flow Analysis of Java using Abstract Interpretation. 47-50 BibTeX
Christer Sandberg: Elimination of Unstructured Loops in Flow Analysis. 51-55 BibTeX
Xianfeng Li: A Survey of Methods to Improve ILP-based WCET Analysis. 57-60 BibTeX
Raimund Kirner, Peter P. Puschner: Discussion of Misconceptions about WCET Analysis. 61-64 BibTeX

PART III: WCET calculation methods, cont.

Guillem Bernat, Niklas Holsti: Compiler Support for WCET Analysis: a Wish List. 65-69 BibTeX
Mathieu Avila, Maxime Glaizot, Isabelle Puaut: Impact of Automatic Gain Time Identification on Tree-Based Static WCET Analysis. 71-74 BibTeX
Stefan M. Petters: Comparison of Trace Generation Methods for Measurement Based WCET Analysis. 75-78 BibTeX
Vicent Lorente, Agustín Espinosa, Andrés Terrasa, Ana García-Fornes, Alfons Crespo: Evaluating Reasons for Unexpected Results When Measuring Execution Time of Code. 79-85 BibTeX

PART IV: Low-level analysis

Christine Rochange, Pascal Sainrat: Towards Designing WCET-Predictable Processors. 87-90 BibTeX
Sheayun Lee, Jaejin Lee, Chang Yun Park, Sang Lyul Min: A Flexible Tradeoff between Code Size and WCET Employing Dual Instruction Set Processors. 91-94 BibTeX

PART V: New methods for analyzing WCET

Aleksandra Tesanovic, Jörgen Hansson, Dag Nyström, Christer Norström, P. Uhlin: Aspect-Level WCET Analyzer: A Tool for Automated WCET Analysis of the Real-Time Software Composed Using Aspect and Components. 95-98 BibTeX
Björn Lisper: Fully Automatic, Parametric Worst-Case Execution Time Analysis. 99-102 BibTeX