Software Engineering for Resilient Systems

9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings

  • Alexander Romanovsky
  • Elena A. Troubitsyna
Conference proceedings SERENE 2017

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

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 10479)

Table of contents

  1. Front Matter
    Pages I-XIV
  2. Invited Talk

    1. Front Matter
      Pages 1-1
  3. Modelling and Specification

    1. Front Matter
      Pages 19-19
    2. Klaus Havelund, Rajeev Joshi
      Pages 21-36
    3. Luke Martin, Alexander Romanovsky
      Pages 37-44
    4. Swaib Dragule, Bart Meyers, Patrizio Pelliccione
      Pages 45-61
  4. Safety and Security

    1. Front Matter
      Pages 63-63
    2. Henry Muccini, Mahyar Tourchi Moghaddam
      Pages 81-95
    3. Inna Vistbakka, Elena Troubitsyna, Tuomas Kuismin, Timo Latvala
      Pages 96-114
  5. Software

    1. Front Matter
      Pages 115-115
    2. Petter Sainio Berntsson, Lars Strandén, Fredrik Warg
      Pages 117-132
    3. Hayley Borck, Paul Kline, Hazel Shackleton, John Gohde, Steven Johnston, Perry Alexander et al.
      Pages 133-148
  6. Fault Tolerance, Resilience and Robustness

    1. Front Matter
      Pages 149-149
    2. Yulai Zhou, Patrizio Pelliccione, Johan Haraldsson, Mafjiul Islam
      Pages 151-168
    3. Rem Gensh, Ashur Rafiev, Fei Xia, Alexander Romanovsky, Alex Yakovlev
      Pages 169-183
    4. Marcin Kubacki, Janusz Sosnowski
      Pages 184-200
  7. Back Matter
    Pages 201-201

About these proceedings

Introduction

This book constitutes the refereed proceedings of the International Workshop on Software Engineering for Resilient Systems, SERENE 2017, held in Geneva; Switzerland, in September 2017. 
The 11 papers presented together with 2 invited talks were carefully reviewed and selected from 16 submissions. They cover the following areas: modeling and specification; safety and security; fault tolerance, resilience and robustness software.

Keywords

Architecture description languages Cloud computing Computer software selection and evaluation Data security Formal methods Model checking Model-driven software engineering Semantics Software defect analysis Software engineering Software fault tolerance Software reliability Software system models Software testing and debugging Software verification and validation Specification languages Unified modeling Language (UML)

Editors and affiliations

  • Alexander Romanovsky
    • 1
  • Elena A. Troubitsyna
    • 2
  1. 1.Newcastle UniversityNewcastle-upon-TyneUnited Kingdom
  2. 2.Åbo Akademi UniversityTurkuFinland

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-65948-0
  • Copyright Information Springer International Publishing AG 2017
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-65947-3
  • Online ISBN 978-3-319-65948-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book