18th International Workshop on Worst-Case Execution Time Analysis

WCET 2018 – July 3, 2018, Barcelona, Spain


The program is currently under construction and may be subject to modifications.

Florian Brandner

Session 1: Keynote & Formal Models

Keynote: Mixed Feelings about Mixed Criticality
Reinhard Wilhelm

Formal Executable Models for Automatic Detection of Timing Anomalies
Mihail Asavoae, Belgacem Ben Hedia, and Mathieu Jan

Coffee Break

Session 2: Multi-Core Analysis

Reducing timing interferences in multicore architectures for legacy applications
Thomas Carle and Hugues Casse

Toward Contention Analysis for Parallel Executing Real-Time Tasks
Fabrice Guet, Luca Santinelli, Jerome Morio, Guillaume Phavorin, and Eric Jenn


Session 3: Timing Analysis

A New Hybrid Approach on WCET Analysis for Real-Time Systems using Machine Learning
Thomas Huybrechts, Siegfried Mercelis, and Peter Hellinckx

TASKers: A Whole-System Generator for Benchmarking Real-Time–System Analyses
Christian Eichler, Tobias Distler, Peter Ulbrich, Peter Wägemann, and Wolfgang Schröder-Preikschat

Experimental Evaluation of Cache-Related Preemption Delay Aware Timing Analysis
Darshit Shah, Sebastian Hahn, and Jan Reineke

Coffee Break

Session 4: Compilers

Embedded Program Annotations for WCET Analysis
Bernhard Schommer, Christoph Cullmann, Gernot Gebhard, Xavier Leroy, Michael Schmidt, and Simon Wegener

Fine-Grain Iterative Compilation for WCET Estimation
Isabelle Puaut, Mickael Dardaillon, Christoph Cullmann, Gernot Gebhard, and Steven Derrien