WCET 2019 – Program

Home    |    Program    |    Call for papers    |    Submission instructions    |    Organizers

Preliminary Program

11:00 – 12:30
Session 1: Keynote and Industrial Perspective
Session Chair: Sebastian Altmeyer


Welcome

Keynote: Blech – a synchronous language for embedded real-time programming.
[Slides]
Franz-Josef Grosch from SW Systems Engineering, Robert Bosch GmbH

TimeWeaver: A Tool for Hybrid Worst-Case Execution Time Analysis. [Slides]
Daniel Kaestner, Markus Pister, Simon Wegener, and Christian Ferdinand
12:30 – 14:00Lunch
14:00 – 15:30Session 2: Static Analysis
Session Chair: Enrico Mezzetti

Validating static WCET analysis: a method and its application. [Slides]
Wei-Tsun Sun, Eric Jenn and Hugues Cassé

WCET of OCaml bytecode on microcontrollers: an automated method and its formalisation.
Steven Varoumas and Tristan Crolard

Worst-Case Energy-Consumption Analysis by Microarchitecture-Aware Timing Analysis for Device-Driven Cyber-Physical Systems. [Slides]
Phillip Raffeck, Christian Eichler, Peter Wägemann, and Wolfgang Schröder-Preikschat
15:30 – 16:00Coffee Break
16:00 – 17:10Session 3: Performance Profiling
Session Chair: Peter Wägemann

Non-Intrusive Online Timing Analysis of Large Embedded Applications. [Slides]
Boris Dreyer and Christian Hochberger

ePAPI: Performance Application Programming Interface for embedded platforms. [Slides]
Jeremy Giesen, Enrico Mezzetti, Jaume Abella, Enrique Fernandez, and Francisco J Cazorla

Closing
18:00First-Timer Reception

Comments are closed.