20th International Workshop on
Worst-Case Execution Time Analysis
Home | Program | Call for papers | Submission instructions | Organizers
The International Workshop on Worst-Case Execution Time Analysis (WCET 2020) focuses on the analysis and design of real-time systems in a broad sense, with a particular emphasis on techniques to analyze the worst-case execution time (WCET) of real-time software. The workshop covers topics related to hard and soft real-time systems, program analysis, timing analysis, as well as (timing-predictable) hardware designs and operating systems. As in previous years, the 19th edition of the WCET workshop will be co-located with the Euromicro Conference on Real-Time Systems (ECRTS 2020) in Modena, Italy, from July 7-10, 2020.
Important dates
Paper submission deadline: April 16, 2020
Notification of acceptance: May 13, 2020
Early registration deadline: May 28, 2020
Camera-ready version deadline: May 28, 2020
Workshop: July 7, 2020
Goals and topics
A large class of embedded systems is distinguished from general-purpose computing systems by the need to satisfy timing requirements, often under resource constraints. The analysis of such real-time systems is often challenging due to the interaction of the physical environment with the system’s software, which in turn interacts with the underlying hardware as well as other software components. All these interactions make it difficult in practice to guarantee that a system meets all its timing requirements. Designers and engineers thus strive for their systems to be timing-predictable and analyzable, i.e., facilitate the verification of the system’s timing behavior.
The WCET workshop covers all aspects related to timing analysis and the design of timing-predictable systems, with a particular emphasis on worst-case execution time (WCET) analysis. Topics of interest include, but are not limited to:
- Integration of WCET and schedulability analysis
- Processor and hardware design for timing predictability
- WCET analysis of multi-threaded and parallel applications
- WCET analysis for multi/many-core systems and GPUs
- Integration of WCET analysis in development processes
- Timing-predictable, resource-aware operating systems
- Program design for timing predictability
- Flow analysis for WCET, loop bounds, infeasible paths
- Low-level timing analysis, modeling/analysis of processor features
- Measurement-based and hybrid WCET analysis
- Tools for WCET analysis
- Compiler-based optimization of worst-case timing
- Methods and benchmarks for WCET analysis evaluation
- Case studies and industrial experiences of WCET analysis
- WCET analysis in the academic curriculum
- Statements which are innovative, controversial, or that present new approaches are especially sought.
Submission instructions
Research papers should present original research results not published or submitted for publication in other forums. Accepted papers will be published via Schloss Dagstuhl’s OASIcs online proceedings series. By submitting a paper, the authors agree and confirm that: (1) Neither this paper, nor a version close to it, is under submission or will be submitted elsewhere before notification by WCET 2020. (2) If accepted, at least one author will register for WCET 2020, and present the paper at the workshop in person.
Papers submitted for the WCET workshop must be written in English, must not exceed 10 pages, excluding bibliography, should conform with the OASIcs typesetting requirements, and must be submitted in PDF format using the WCET workshop paper submission website. The bibliography does not count towards the page limit of 10 pages. Author names, affiliations and self-references should not be anonymized.
See http://www.dagstuhl.de/publikationen/oasics/anleitung-fuer-autoren/
Program Chair
Clément Ballabriga, Université de Lille, France
Program committee
TBD