7th Int'l Workshop on
Worst-Case Execution Time (WCET) Analysis

Pisa, Italy, July 3, 2007

in conjunction with the
19th Euromicro Int'l Conference on Real-Time Systems
Pisa, Italy, July 4 - 6, 2007

Call for Papers: PDF - ASCII

Last news

Sept. 18 Final proceedings (also available at the Dagstuhl Research Online Publication Server)
Sept. 18 Final program (with final versions of the papers)
July 25 Best papers:
"Data-Flow Based Detection of Loop Bounds" by C. Cullmann, F. Martin
"Loop Bound Analysis based on a Combination of Program Slicing, Abstract Interpretation, and Invariant Analysis" by A. Ermedahl, C. Sandberg, J. Gustafsson, S. Bygde, B. Lisper

Workshop chair

Christine Rochange
  TRACES group
  IRIT, Toulouse, France

Important dates (deadlines)

Submission deadline: April, 21
Notification of acceptance: May, 23
Submission of corrected papers: June, 12
Broadcast of papers to attendees: June, 20
WCET workshop: July, 3
ECRTS conference: July, 4-6
Final version of papers: Sept., 7

Program committee

Antoine Colin
  Rapita Systems Ltd.
Raimund Kirner
  Technische Universität Wien
Stefan Petters
  National ICT Australia Ltd.
Christer Sandberg
  Mälardalen University
Stephan Thesing
  Rücker GmbH

Steering committee

Guillem Bernat
  University of York
Jan Gustafsson
  Mälardalen University
Peter Puschner
  Technical University of Vienna

Prior WCET Workshops

2006, in Dresden
2005, in Palma de Mallorca
2004, in Catania
2003, in Porto
2002, in Vienna
2001, in Delft

The Euromicro Technical Committee organizes a number of satellite events attached to its 19th International Real-Time Systems Conference. This workshop is the seventh on the series of WCET workshops that started at the 2001 Euromicro conference.

The goal of the workshop is to bring together people from academia, tool vendors and users in industry that are interested in all aspects of timing analysis for real-time systems. The workshop will provide a relaxed forum to present and discuss new ideas, new research directions, and to review current trends in this area. The workshop will be based on short presentations that should encourage discussion by the attendees.

The topics of the workshop include any issue related to timing analysis, in particular:

  • Different approaches at computing WCET
  • Flow analysis for WCET
  • Low-level timing analysis, modeling and analysis of processor features
  • Calculation methods for WCET
  • Strategies to reduce the complexity of WCET analysis
  • Integration of WCET and schedulability analysis
  • Evaluation and case studies
  • Testing Methods for WCET analysis
  • Tools for timing analysis
  • Design for Timing Predictability
  • Integration of WCET analysis into the development process
  • Compiler optimizations for worst-case paths
  • WCET analysis for multi-processors, multi-cores or SMTs
  • WCET analysis for networks (e.g., CAN)

Statements which are innovative, controversial, or that present new approaches are specially sought.

Submission of papers:

People who would like to participate in this event are asked to submit a 6 page short paper (PS or PDF) via the workshop submission system. Upon acceptance, a corrected version of the paper should be prepared and submitted. All papers will be made available to all participants a week before the workshop so that contributions can be examined prior to the workshop.

The workshop fosters a highly interactive format of short presentations combined with ample time for in-depth discussions. Authors will be asked to produce a final version of their paper that includes the issues covered in the discussions by September 7, 2007. The final papers will be published in the workshop proceedings. The authors of the two best papers will be invited to submit expanded versions for publication in the Springer Real-Time Systems Journal.

To foster the workshop character, the number of participants will be limited. There will be a small charge for workshop registration. The workshop will be held in Pisa (more details will come later). See the Euromicro Conference on Real-Time Systems website for registration and information on the venue.