Friday, 24 May

9:00 - 9:10 Welcome
M. V. Cengarle and M. Roveri
9:10 - 10:10 Invited Talk (Chair M. Roveri)
Automatic timewise refinement
Bill Roscoe -- University of Oxford (UK)
10:10 - 10:30 Coffee break
10:30 - 12:30 Session I (Chair R. Ersch)
On the Technological and Methodological Concepts of Federated Embedded Systems
Avenir Kobetski and Jakob Axelsson
A Roadmap Towards Integrated CPS Development Environments
Jad El-Khoury, Fredrik Asplund, Matthias Biehl, Frederic Loiret and Martin Törngren
Towards autonomous embedded systems
Sagar Behere, Martin Törngren, Jad El-Khoury and Dejiu Chen
12:30 - 14:00 Lunch break
14:00 - 15:00 Invited Talk (Chair María Victoria Cengarle)
Runtime Quantitative Verification: Applications and Research Challenges
Radu Calinescu -- University of York (UK)
15:00 - 16:00 Session II (Chair L. Palopoli)
Towards Dynamic Deployment Calculation for Extensible Systems using SMT-Solvers
Klaus Becker and Sebastian Voss
Engineering of Cyber-Physical Systems
María Victoria Cengarle
16:00 - 16:15 Coffee break
16:15 - 17:15 Session III (Chair H. Rueß)
Synchronous Specialization of Alf for Cyber-Physical Systems
Alessandro Romero and Klaus Schneider
Robotic car-like vehicles: a case study for cyber-physical systems
Luigi Palopoli, Federico Moro, Daniele Fontanelli and Tizar Rizano
17:15 - 18:30
Open Discussion
Workshop Participants
Sponsored by:
EIT-ICT_LABS EIT FBK