Software Engineering for Resilient Systems

8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings

  • Ivica Crnkovic
  • Elena Troubitsyna
Conference proceedings SERENE 2016

DOI: 10.1007/978-3-319-45892-2

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9823)

Table of contents

  1. Front Matter
    Pages I-IX
  2. Mission-critical Systems

    1. Front Matter
      Pages 1-1
    2. Rui Wang, Jérémie Guiochet, Gilles Motet
      Pages 3-12
    3. Christine Jakobs, Peter Tröger, Matthias Werner
      Pages 13-27
    4. Luke J. W. Martin, Alexander Romanovsky
      Pages 28-42
  3. Verification

    1. Front Matter
      Pages 43-43
    2. Dimitri Racordon, Didier Buchs
      Pages 45-61
    3. Piergiuseppe Mallozzi, Massimo Sciancalepore, Patrizio Pelliccione
      Pages 62-75
  4. Engineering Resilient Systems

    1. Front Matter
      Pages 77-77
    2. John C. Mace, Charles Morisset, Aad van Moorsel
      Pages 79-87
  5. Testing

    1. Front Matter
      Pages 115-115
    2. Stefan Klikovits, David P. Y. Lawrence, Manuel Gonzalez-Berges, Didier Buchs
      Pages 117-132
    3. Kostantinos Koukouvis, Roberto Alcañiz Cubero, Patrizio Pelliccione
      Pages 133-148
  6. Back Matter
    Pages 149-149

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 8th International Workshop on Software Engineering for Resilient Systems, SERENE 2016, held in Gothenburg, Sweden, in September 2016.The 10 papers presented were carefully reviewed and selected from 15 submissions. They cover the following areas: development of resilient systems; incremental development processes for resilient systems;  requirements engineering and re-engineering for resilience; frameworks, patterns and software architectures for resilience; engineering of self-healing autonomic systems; design of trustworthy and intrusion-safe systems;  resilience at run-time (mechanisms, reasoning and adaptation); resilience and dependability (resilience vs. robustness, dependable vs. adaptive systems); verification, validation and evaluation of resilience; modeling and model based analysis of resilience properties; formal and semi-formal techniques for verification and validation; experimental evaluations of resilient systems;  quantitative approaches to ensuring resilience; resilience prediction; cast studies and applications; empirical studies in the domain of resilient systems;  methodologies adopted in industrial contexts; cloud computing and resilient service provisioning; resilience for data-driven systems (e.g., big data-based adaption and resilience); resilient cyber-physical  systems and infrastructures; global aspects of resilience engineering: education, training and cooperation.

Keywords

distributed systems embedded software formal methods real-time systems software system models cloud computing component-based dependability fault tree analysis model-driven software engineering process management reconfiguration reliability requirements analysis scheduling self-reconfiguration software design engineering software infrastructure software testing and debugging software verification and validation

Editors and affiliations

  • Ivica Crnkovic
    • 1
  • Elena Troubitsyna
    • 2
  1. 1.Chalmers University of Technology GothenburgSweden
  2. 2.Abo Akademi University TurkuFinland

Bibliographic information

  • Copyright Information Springer International Publishing Switzerland 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-45891-5
  • Online ISBN 978-3-319-45892-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349