Final program

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