Program | Waters 2018

9:00	Welcome
9:10-10:00 Keynote	A multi-criteria scheduling heuristic to optimize the execution time, the reliability, the power consumption and the temperature in multicores Alain Girault
10:00-10:30	Coffee break
10:30-11:30 Industrial challenges	Challenge 2018 - 2019/1 Ressac Emmanuel Ledinot Challenge 2019/2 Bosch WATERS challenge reloaded: moving from classical to high-performance real-time systems Arne Hamann
11:30-12:00	Extending the Amalthea model to introduce hardware heterogeneity Paolo Burgio, Marko Bertogna and Ignacio Sanudo
12:00-13:30	Lunch break
13:30-14:30 Formal methods	Applying formal methods to the configuration and verification of Trampoline RTOS Jean-Luc Béchennec Modeling Accesses to Shared Memories in Multi-Processor Systems-on-Chip (MPSoCs) Adam Kostrzewa, Selma Saidi and Rolf Ernst
14:30-15:00	Discussion What are the benefits of using formal methods for real-time systems analysis?Session chair: Sophie Quinton
15:00-15:30	Coffee break
15:30-17:00 Implementation	Challenges in partitioned systems based on hypervisor: XtratuM case Alfons Crespo Compilation for Real-Time Systems - An Overview of the WCET-Aware C Compiler WCC Dominic Oelhert, Arno Luppold and Heiko Falk RTProb - Real Time Probabilistic Tool for Probabilistic Schedulability Analysis using Markov Chain Jasdeep Singh, Luca Santinelli, David Doose, Julien Brunel and Guillaume Infantes
17:00-17:30	Discussion Wrap-up Session chair: Arne Hamann
17:30	End