Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2014

Software Engineering for Resilient Systems

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

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)

Conference series link(s): SERENE: International Workshop on Software Engineering for Resilient Systems

Conference proceedings info: SERENE 2014.

Sections

Buy it now

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

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

Table of contents (13 papers)

  1. Front Matter

    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

    PDF
Back to top

Other Volumes

  1. Software Engineering for Resilient Systems

Back to top

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.
Back to top

Keywords

Back to top

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

Back to top

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

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation