Software Engineering for Resilient Systems: Fourth International Workshop, Serene 2012, Pisa, Italy, September 27-28, 2012, Proceedings

Implementing Reusable Exception Handling Patterns with Compile-Time Metaprogramming.- A Case Study in Formal Development of a Fault Tolerant Multi-robotic System.- Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach.- Linking Modelling in Event-B with Safety Cases.- Safety Lifecycle Development Process Modeling for Embedded Systems - Example of Railway Domain.- Language Enrichment for Resilient MDE.- Assume-Guarantee Testing of Evolving Software Product Line Architectures.- FAS: Introducing a Service for Avoiding Faults in Composite Services.- Dependability of Service-Oriented Computing: Time-Probabilistic Failure Modelling.- Monitoring Service Choreographies from Multiple Sources.- Supporting Field Investigators with PVS: A Case Study in the Healthcare Domain.- Model-Based Evaluation of the Availability of a CBTC System.

A Case Study in Formal Development of a Fault Tolerant Multi-robotic System.- Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach.- Linking Modelling in Event-B with Safety Cases.- Safety Lifecycle Development Process Modeling for Embedded Systems - Example of Railway Domain.- Language Enrichment for Resilient MDE.- Assume-Guarantee Testing of Evolving Software Product Line Architectures.- FAS: Introducing a Service for Avoiding Faults in Composite Services.- Dependability of Service-Oriented Computing: Time-Probabilistic Failure Modelling.- Monitoring Service Choreographies from Multiple Sources.- Supporting Field Investigators with PVS: A Case Study in the Healthcare Domain.- Model-Based Evaluation of the Availability of a CBTC System.

• Format: Paperback
• Language: English
• ISBN: 3642331750
• ISBN13: 9783642331756
• Release Date: August 2012
• Publisher: Springer
• Length: 181 Pages
• Weight: 0.61 lbs.
• Dimensions: 0.4" x 6.1" x 9.2"