9.15 – 9.30

• Opening

9.30 – 10.30

• Sebastian Hahn, Jan Reineke, and Reinhard Wilhelm. Saarland University, Saarbruecken: Compositionality in Execution Time Analysis

• David Broman. University of California, Berkeley: Precision Timed Processors and WCET-Aware Code Management for Mixed-Criticality Systems

10.30 – 11.00

• Coffee Break

11.00 – 12.30

• Sophie Quinton and Rolf Ernst. INRIA Grenobles and Technical University Braunschweig: Typical Worst-Case Analysis: Designing Real-Time Systems for the Hard and Weakly-Hard Case

• Joerg Mische, Stefan Metzlaff, and Theo Ungerer. University of Augsburg: Distributed Memory on Chip – Bringing Together Low Power and Real-Time

• Thomas Carle, Manel Djemal, Dumitru Potop Butucaru, Robert de Simone, Zhen Zhang, Francois Pecheux, and Franck Wajbuerst. INRIA, IRT SystemX, and UPMC/LIP6: Reconciling performance and predictability on a many-core through off-line mapping

12.30 – 14.00

• Lunch

14.00 – 16.00

• Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Fabienne Carrier, and Mihail Asavoae. Grenoble-Alpes University and Verimag: Timing Analysis Enhancement for Synchronous Program

• Florian Kluge, Mike Gerdes, Florian Haas, and Theo Ungerer. University of Augsburg: A Generic Timing Model for Cyber-Physical Systems

• Insa Fuhrmann, David Broman, Steven Smyth, and Reinhard von Hanxleden. Christian-Albrechts-University, Kiel, and University of California, Berkeley, and Linkoeping University: Towards Interactive Timing Analysis for Designing Reactive Systems

• Michael Mendler, Bruno Bodin, Partha Roop, and Jai Jie Wang. Otto-Friedrich University of Bamberg, University of Edinburgh, and The University of Auckland: The WCRT analysis of synchronous programs: Studying the tick alignment problem

16.00 – 16.30

• Coffee Break

16.30 – 17.30

• Moderated Discussion