Software Engineering for Resilient Systems: 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings

✍ Scribed by Yannis Lilis, Anthony Savidis (auth.), Paris Avgeriou (eds.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 2012
• Tongue: English
• Leaves: 190
• Series: Lecture Notes in Computer Science 7527
• Edition: 1
• Category: Library

✦ Synopsis

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.

✦ Table of Contents

Front Matter....Pages -
Implementing Reusable Exception Handling Patterns with Compile-Time Metaprogramming....Pages 1-15
A Case Study in Formal Development of a Fault Tolerant Multi-robotic System....Pages 16-31
Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach....Pages 32-46
Linking Modelling in Event-B with Safety Cases....Pages 47-62
Safety Lifecycle Development Process Modeling for Embedded Systems - Example of Railway Domain....Pages 63-75
Language Enrichment for Resilient MDE....Pages 76-90
Assume-Guarantee Testing of Evolving Software Product Line Architectures....Pages 91-105
FAS: Introducing a Service for Avoiding Faults in Composite Services....Pages 106-120
Dependability of Service-Oriented Computing: Time-Probabilistic Failure Modelling....Pages 121-133
Monitoring Service Choreographies from Multiple Sources....Pages 134-149
Supporting Field Investigators with PVS: A Case Study in the Healthcare Domain....Pages 150-164
Model-Based Evaluation of the Availability of a CBTC System....Pages 165-179
Back Matter....Pages -

✦ Subjects

Software Engineering; Computer Communication Networks; Information Systems Applications (incl. Internet); Operating Systems