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:00 | Lunch |
14:00 – 15:30 | Session 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 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:00 | Coffee Break |
16:00 – 17:10 | Session 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:00 | First-Timer Reception |