Software Engineering for Resilient Systems

1. Front Matter

   Pages I-IX

   PDF

2. Biological Immunity and Software Resilience: Two Faces of the Same Coin?

   • Marco Autili, Amleto Di Salle, Francesco Gallo, Alexander Perucci, Massimo Tivoli

   Pages 1-15

3. Towards Dynamic Software Diversity for Resilient Redundant Embedded Systems

   • Andrea Höller, Tobias Rauter, Johannes Iber, Christian Kreiner

   Pages 16-30

4. A Decomposition Method for the Verification of a Real-Time Safety-Critical Protocol

   • Tamás Tóth, András Vörös, István Majzik

   Pages 31-45

5. Considering Execution Environment Resilience: A White-Box Approach

   • Stefan Klikovits, David P. Y. Lawrence, Manuel Gonzalez-Berges, Didier Buchs

   Pages 46-61

6. Engineering Cross-Layer Fault Tolerance in Many-Core Systems

   • Rem Gensh, Alexander Romanovsky, Alex Yakovlev

   Pages 62-70

7. Risk Assessment Based Cloudification

   • Szilárd Bozóki, Gábor Koronka, András Pataricza

   Pages 71-81

8. Stochastic Model-Based Analysis of Energy Consumption in a Rail Road Switch Heating System

   • Davide Basile, Silvano Chiaradonna, Felicita Di Giandomenico, Stefania Gnesi, Franco Mazzanti

   Pages 82-98

9. Bidirectional Crosslinking of System and Software Modeling in the Automotive Domain

   • Harald Sporer, Georg Macher, Andrea Höller, Christian Kreiner

   Pages 99-113

10. Tejo: A Supervised Anomaly Detection Scheme for NewSQL Databases

    • Guthemberg Silvestre, Carla Sauvanaud, Mohamed Kaâniche, Karama Kanoun

    Pages 114-127

11. Resiliency Variance in Workflows with Choice

    • John C. Mace, Charles Morisset, Aad van Moorsel

    Pages 128-143

12. Back Matter

    Pages 145-145

    PDF

This book constitutes the refereed proceedings of the 7th International Workshop on Software Engineering for Resilient Systems, SERENE 2015, held in Paris, France, in September 2015. The 10 revised technical papers presented were carefully reviewed and selected from 18 submissions. The papers are organized in topical sections on development of resilient systems, verification, validation and evaluation of resilience, case studies and applications.

• cloud computing
• dependability
• embedded systems
• error detection
• error recovery
• fault tolerance
• formal modeling
• monitoring
• performance
• power consumption
• redundancy
• reliability
• resilience
• risk assessment
• self-adaptive systems
• software and its engineering
• software architectures
• software testing
• traceability
• veification and validation

• University of Florence, Firence, Italy

  Alessandro Fantechi

• University of Gothenburg, Gothenburgh, Sweden

  Patrizio Pelliccione

Policies and ethics