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

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
Christian Ferdinand, Reinhold Heckmann, Henrik Theiling, Reinhard Wilhelm: Convenient User Annotations for a WCET Tool. 17-20
Guillem Bernat, Antoine Colin, Stefan M. Petters: pWCET, a Tool for Probabilistic WCET Analysis of Real-Time Systems. 21-38

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
Jan Lindblad: Requirements of WCET tools. 45-46

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
Christer Sandberg: Elimination of Unstructured Loops in Flow Analysis. 51-55
Xianfeng Li: A Survey of Methods to Improve ILP-based WCET Analysis. 57-60
Raimund Kirner, Peter P. Puschner: Discussion of Misconceptions about WCET Analysis. 61-64

PART III: WCET calculation methods, cont.

Guillem Bernat, Niklas Holsti: Compiler Support for WCET Analysis: a Wish List. 65-69
Mathieu Avila, Maxime Glaizot, Isabelle Puaut: Impact of Automatic Gain Time Identification on Tree-Based Static WCET Analysis. 71-74
Stefan M. Petters: Comparison of Trace Generation Methods for Measurement Based WCET Analysis. 75-78
Vicente Lorente Garcés, 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

PART IV: Low-level analysis

Christine Rochange, Pascal Sainrat: Towards Designing WCET-Predictable Processors. 87-90
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

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
Björn Lisper: Fully Automatic, Parametric Worst-Case Execution Time Analysis. 99-102

Last update Wed May 22 16:49:56 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page