18th International Workshop on Worst-Case Execution Time Analysis

WCET 2018 – July 3, 2018, Barcelona, Spain

Program

You will find the final program of the WCET workshop below.

In addition, you may download a complete calendar under the following link: WCET 2018 (click “Subscribe” to import the calendar into your private agenda).

09:00 – 09:10 Welcome
Florian Brandner
09:10 – 10:00

Session 1: Keynote

(Session Chair: Florian Brandner)

Keynote: Mixed Feelings about Mixed Criticality
Reinhard Wilhelm

10:00 – 10:30 Coffee Break
10:30 – 12:00

Session 2: Multi-Core Analysis & Formal Models

(Session Chair: Theo Ungerer)

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

Reducing timing interferences in real-time applications running on multicore architectures
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

12:00 – 13:30 Lunch
13:30 -15:00

Session 3: Timing Analysis

(Session Chair: Isabelle Puaut)

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

15:00 – 15:30 Coffee Break
15:30 – 16:30

Session 4: Compilers

(Session Chair: Hugues Cassé)

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

16:30 – 16:40 Closing
Florian Brandner
17:30 – 18:30 1st Timers Reception
see the ECRTS website