Skip to main content
SpringerLink
Log in
Book cover

Software Engineering for Resilient Systems

Fourth International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012, Proceedings

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Paris Avgeriou

    1. University of Groningen, Groningen, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast track conference proceedings
  • Unique visibility
  • State of the art research

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

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

Included in the following conference series:

Conference proceedings info: SERENE 2012.

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 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 72.00
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 (12 papers)

  1. Front Matter

    Download chapter PDF

  2. Fault Tolerance and Exception Handling

    1. Implementing Reusable Exception Handling Patterns with Compile-Time Metaprogramming

      • Yannis Lilis, Anthony Savidis
      Pages 1-15

    2. A Case Study in Formal Development of a Fault Tolerant Multi-robotic System

      • Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
      Pages 16-31

    3. Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach

      • Camille Fayollas, Jean-Charles Fabre, David Navarre, Philippe Palanque, Yannick Deleris
      Pages 32-46

  3. Safety Modeling

    1. Linking Modelling in Event-B with Safety Cases

      • Yuliya Prokhorova, Elena Troubitsyna
      Pages 47-62

    2. Safety Lifecycle Development Process Modeling for Embedded Systems - Example of Railway Domain

      • Brahim Hamid, Jacob Geisel, Adel Ziani, David Gonzalez
      Pages 63-75

  4. Supporting Evolution

    1. Language Enrichment for Resilient MDE

      • Yasir Imtiaz Khan, Matteo Risoldi
      Pages 76-90

    2. Assume-Guarantee Testing of Evolving Software Product Line Architectures

      • Maurice H. ter Beek, Henry Muccini, Patrizio Pelliccione
      Pages 91-105

  5. Resilience in Service-Oriented Computing

    1. FAS: Introducing a Service for Avoiding Faults in Composite Services

      • Koray Gülcü, Hasan Sözer, Barış Aktemur
      Pages 106-120

    2. Dependability of Service-Oriented Computing: Time-Probabilistic Failure Modelling

      • Anatoliy Gorbenko, Alexander Romanovsky, Vyacheslav Kharchenko, Olga Tarasyuk
      Pages 121-133

    3. Monitoring Service Choreographies from Multiple Sources

      • Amira Ben Hamida, Antonia Bertolino, Antonello Calabrò, Guglielmo De Angelis, Nelson Lago, Julien Lesbegueries
      Pages 134-149

  6. Applying Formal Methods in Case Studies

    1. Supporting Field Investigators with PVS: A Case Study in the Healthcare Domain

      • Paolo Masci, Dominic Furniss, Paul Curzon, Michael D. Harrison, Ann Blandford
      Pages 150-164

    2. Model-Based Evaluation of the Availability of a CBTC System

      • Alessio Ferrari, Massimiliano L. Itria, Silvano Chiaradonna, Giorgio O. Spagnolo
      Pages 165-179

  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 Fourth International Workshop on Software Engineering for Resilient Systems, SERENE 2012, held in Pisa, Italy, in September 2012.
The 12 revised full papers were carefully reviewed and selected from numerous submissions. The papers address all aspects of fault tolerance and exception handling, safety modeling, supporting evolution, resilience in service-oriented computing, and applying formal methods in case studies.

Editors and Affiliations

  • University of Groningen, Groningen, The Netherlands

    Paris Avgeriou

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation