October 15 (Wednesday)

8:30-9:00 Registration
9:15-10:15 Keynote
Vincenzo De Florio, Hong Sun, and Chris Blondia: Community Resilience Engineering: Reflections and Preliminary Contributions
 10:15-10:45 Coffee break
 10:45-12:15  Session 1: Design of Resilient Systems
 1.1  Ivano Malavolta, Henry Muccini, and Smrithi Rekha V.: Enhancing Architecture Design Decisions Evolution with Group Decision Making Principles
 1.2  Davide Di Ruscio, Ivano Malavolta, and Patrizio Pelliccione: The Role of Parts in the System Behaviour
 1.3 Maxime Turenne, Ali Kanso, Abdelouahed Gherbi, and Ronan Barrett: Automatic Generation of Description Files for Highly Available Systems
 12:15-13:30 Lunch
13:30-15:00 Session 2: Analysis of Resilience
2.1 Linas Laibinis, Dmitry Klionsky, Elena Troubitsyna, Anatoly Dorokhov, Johan Lilius, and Mikhail Kupriyanov: Modelling Resilience of Data Processing Capabilities of CPS
2.2 Andrea Höller, Nermin Kajtazovic, Christopher Preschern, and Christian Kreiner: Formal Fault Tolerance Analysis of Algorithms for Redundant Systems in Early Design Stages
2.3 Cristiana Areias, Nuno Antunes, and Joao Carlos Cunha: On Applying FMEA to SOAs: A Proposal and Open Challenges
15:00-15:30 Coffee break
 15:30-17:00 Session 3: Verification and Validation
3.1 Pontus Boström, Mikko Heikkilä, Mikko Huova, Marina Waldén, and Matti Linjama: Verification and Validation of a Pressure Control Unit for Hydraulic Systems
 3.2  Richard Lipka, Marek Paska, and Tomas Potuzak: Simulation Testing and Model Checking: A Case Study Comparing these Approaches
 3.3  Alexei Iliasov, Roberto Palacin, and Alexander Romanovsky: Advanced Modelling, Simulation and Verification for Future Traffic Regulation Optimisation
19:00-22:00 Dinner

October 16 (Thursday)

9:00-9:15 Welcome from the SERENE WG
9:15-10:45 Session 4: Monitoring
4.1 David Lawrence, Didier Buchs, and Armin Wellig: Using Instrumentation for Quality Assessment of Resilient Software in Embedded Systems
4.2 Arda Ahmet Ünsal, Görkem Sazara, Bariş Aktemur, and Hasan Sözer: Adaptive Domain-Specific Service Monitoring
4.3 Gábor Urbanics, László Gönczy, Balázs Urbán, János Hartwig, and Imre Kocsis: Combined Error Propagation Analysis and Runtime Event Detection in Process-driven Systems
10:45-11:15 Coffee break
11:15-12:15 Panel session
Views on Runtime Resilience Assessment of Dynamic Software Systems

Organizer: Marco Vieira, University of Coimbra, Portugal


  • Elena Troubitsyna, Åbo Akademi University, Finland;
  • Katinka Wolter, Freie University Berlin, Germany;
  • Vincenzo De Florio, University of Antwerp, Belgium;
  • Henry Muccini, University of L’Aquila, Italy;
  • Alexander Romanovsky, Newcastle University, UK
12:15-13:30 Lunch
13:30-14:45 SERENE WG meeting (open to everybody)
14:45-15:00 Workshop wrap-up and closing