Skip to main content
SpringerLink
Log in

Software Engineering for Resilient Systems

6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings

  • Conference proceedings
  • © 2014

Overview

Editors:
  1. István Majzik

    1. Budapest University of Technology and Economics, Budapest, Hungary

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Marco Vieira

    1. Department of Informatics Engineering, University of Coimbra, CISUC, Coimbra, Portugal

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: SERENE 2014.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 34.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 44.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (13 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Talk

    1. Community Resilience Engineering: Reflections and Preliminary Contributions

      • Vincenzo De Florio, Hong Sun, Chris Blondia
      Pages 1-8

  3. Design of Resilient Systems

    1. Enhancing Architecture Design Decisions Evolution with Group Decision Making Principles

      • Ivano Malavolta, Henry Muccini, Smrithi Rekha V.
      Pages 9-23

    2. The Role of Parts in the System Behaviour

      • Davide Di Ruscio, Ivano Malavolta, Patrizio Pelliccione
      Pages 24-39

    3. Automatic Generation of Description Files for Highly Available Services

      • Maxime Turenne, Ali Kanso, Abdelouahed Gherbi, Ronan Barrett
      Pages 40-54

  4. Analysis of Resilience

    1. Modelling Resilience of Data Processing Capabilities of CPS

      • Linas Laibinis, Dmitry Klionskiy, Elena Troubitsyna, Anatoly Dorokhov, Johan Lilius, Mikhail Kupriyanov
      Pages 55-70

    2. Formal Fault Tolerance Analysis of Algorithms for Redundant Systems in Early Design Stages

      • Andrea Höller, Nermin Kajtazovic, Christopher Preschern, Christian Kreiner
      Pages 71-85

    3. On Applying FMEA to SOAs: A Proposal and Open Challenges

      • Cristiana Areias, Nuno Antunes, João Carlos Cunha
      Pages 86-100

  5. Verification and Validation

    1. Verification and Validation of a Pressure Control Unit for Hydraulic Systems

      • Pontus Boström, Mikko Heikkilä, Mikko Huova, Marina Waldén, Matti Linjama
      Pages 101-115

    2. Simulation Testing and Model Checking: A Case Study Comparing these Approaches

      • Richard Lipka, Marek Paška, Tomáš Potužák
      Pages 116-130

    3. Advanced Modelling, Simulation and Verification for Future Traffic Regulation Optimisation

      • Alexei Iliasov, Roberto Palacin, Alexander Romanovsky
      Pages 131-138

  6. Monitoring

    1. Using Instrumentation for Quality Assessment of Resilient Software in Embedded Systems

      • David Lawrence, Didier Buchs, Armin Wellig
      Pages 139-153

    2. Adaptive Domain-Specific Service Monitoring

      • Arda Ahmet Ünsal, Görkem Sazara, Barış Aktemur, Hasan Sözer
      Pages 154-168

    3. Combined Error Propagation Analysis and Runtime Event Detection in Process-Driven Systems

      • Gábor Urbanics, László Gönczy, Balázs Urbán, János Hartwig, Imre Kocsis
      Pages 169-183

  7. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Software Engineering for Resilient Systems

Keywords

About this book

This book constitutes the refereed proceedings of the 6th International Workshop on Software Engineering for Resilient Systems, SERENE 2014, held in Budapest, Hungary, in October 2014. The 11 revised technical papers presented together with one project paper and one invited talk were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on design of resilient systems; analysis of resilience; verification and validation; and monitoring.

Editors and Affiliations

  • Budapest University of Technology and Economics, Budapest, Hungary

    István Majzik

  • Department of Informatics Engineering, University of Coimbra, CISUC, Coimbra, Portugal

    Marco Vieira

Bibliographic Information

  • Book Title: Software Engineering for Resilient Systems

  • Book Subtitle: 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings

  • Editors: István Majzik, Marco Vieira

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-319-12241-0

  • Publisher: Springer Cham

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2014

  • Softcover ISBN: 978-3-319-12240-3Published: 25 September 2014

  • eBook ISBN: 978-3-319-12241-0Published: 08 October 2014

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: X, 185

  • Number of Illustrations: 59 b/w illustrations

  • Topics: Computer Science, general

Publish with us

Policies and ethics

Back to top

Search

Navigation