Skip to main content
  • Conference proceedings
  • © 2012

Software Engineering for Resilient Systems

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

Editors:

  • 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)

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

Conference proceedings info: SERENE 2012.

Buying options

eBook USD 54.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-33176-3
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 72.00
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (12 papers)

  1. Front Matter

  2. Fault Tolerance and Exception Handling

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

      • Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
      Pages 16-31
    2. 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

Other Volumes

  1. Software Engineering for Resilient Systems

    4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings

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.

Keywords

  • Web service
  • autonomic systems
  • failure modeling
  • software architectures
  • software patterns

Editors and Affiliations

  • University of Groningen, Groningen, The Netherlands

    Paris Avgeriou

Bibliographic Information

Buying options

eBook USD 54.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-33176-3
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 72.00
Price excludes VAT (USA)