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 Panelists:
|
||
| 12:15-13:30 | Lunch | |
| 13:30-14:45 | SERENE WG meeting (open to everybody) | |
| 14:45-15:00 | Workshop wrap-up and closing | |