Call for Paper

13th International Workshop on Worst-Case Execution Time Analysis

Paris, France, July 9, 2012
In conjunction with the 25th Euromicro International Conference on Real-Time Systems (ECRTS 2013)

GOALS:

The goal of the workshop is to bring together people from academia, tool vendors and users in industry who are interested in all aspects of timing analysis for real-time systems. The workshop fosters a highly interactive format with ample time for in-depth discussions. It provides a relaxed forum to present and discuss new ideas, new research directions, and to review current trends in this area. The presentations will be kept short to leave plenty of time for interaction of attendees.

TOPICS:

The workshop welcomes submissions that include any issue related to timing analysis, in particular:

  • Case studies and industrial experience of WCET analysis,
  • Novel approaches to WCET computation and strategies to reduce the analysis complexity, including time-predictable computer architectures and synergy with compilers,
  • Advances in tools for WCET analysis,
  • Capturing flow facts to feed flow analysis for WCET,
  • Needs and constraints stemming from current and future industrial development process and schedule that timing analysis should best accommodate,
  • WCET-related analyses of code generated from design models,
  • Experience with the integration of WCET with schedulability analysis, as well as with the software and system development process,
  • Methods and benchmarks for WCET analysis evaluation,
  • WCET analysis in the academic curriculum.

    • SUBMISSION OF PAPERS:

    Papers for the workshop must be written in English, should not exceed 10 pages in the required format, and should be submitted in PDF via the EasyChair system at https://www.easychair.org/conferences/?conf=wcet2013 following the formatting instructions given at the workshop website.
    The workshop proceedings with the revised, final version of the accepted papers will be published in Schloss Dagstuhl's OASIcs online proceedings series, http://www.dagstuhl.de/en/publications/oasics/, indexed, with ISBN.