October 15 (Wednesday)
| 8:30-9:00 9:00-9:15 |
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 Slides | |
| 1.2 | Davide Di Ruscio, Ivano Malavolta, and Patrizio Pelliccione: The Role of Parts in the System Behaviour Slides |
|
| 1.3 | Maxime Turenne, Ali Kanso, Abdelouahed Gherbi, and Ronan Barrett: Automatic Generation of Description Files for Highly Available Systems Slides |
|
| 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 Slides |
|
| 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 Slides |
|
| 2.3 | Cristiana Areias, Nuno Antunes, and Joao Carlos Cunha: On Applying FMEA to SOAs: A Proposal and Open Challenges Slides |
|
| 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 Slides |
|
| 3.2 | Richard Lipka, Marek Paska, and Tomas Potuzak: Simulation Testing and Model Checking: A Case Study Comparing these Approaches Slides |
|
| 3.3 | Alexei Iliasov, Roberto Palacin, and Alexander Romanovsky: Advanced Modelling, Simulation and Verification for Future Traffic Regulation Optimisation Slides |
|
| 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 Slides |
|
| 4.2 | Arda Ahmet Ünsal, Görkem Sazara, Bariş Aktemur, and Hasan Sözer: Adaptive Domain-Specific Service Monitoring Slides |
|
| 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 Slides |
|
| 10:45-11:15 |
Coffee break |
|
| 11:15-12:15 |
Panel session |
|
|
Views on Runtime Resilience Assessment of Dynamic Software Systems Chair: 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 |
|