[TYPES/announce] RePP 2014 workshop call for participation: Grenoble, France, Sunday April 6th, 2014

[Alain Girault]

                   RePP 2014

             http://repp14.inria.fr

          Reconciling Performance with Predictability

            Grenoble, France, Sunday April 6th, 2014

             An ETAPS 2014 satellite event


=================================
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

   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, Brino 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