Software Engineering for Resilient Systems: Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings

✍ Scribed by Peter Popov (auth.), Elena A. Troubitsyna (eds.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 2011
• Tongue: English
• Leaves: 178
• Series: Lecture Notes in Computer Science 6968
• Edition: 1
• Category: Library

✦ Synopsis

This book constitutes the refereed proceedings of the Third International Workshop on Software Engineering for Resilient Systems, SERENE 2011, held in Geneva, Switzerland, in September 2011.
The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from numerous submissions. The papers address all aspects of formal modeling and verification, architecting resilient systems, fault tolerance, requirements engineering and product lines, monitoring and self-adaption, and security and intrusion avoidance.

✦ Table of Contents

Front Matter....Pages -
Preliminary Interdependency Analysis (PIA): Method and Tool Support....Pages 1-8
Use Case Scenarios as Verification Conditions: Event-B/Flow Approach....Pages 9-23
Quantitative Verification of System Safety in Event-B....Pages 24-39
Experience-Based Model Refinement....Pages 40-47
Architecting Resilient Computing Systems: Overall Approach and Open Issues....Pages 48-62
Supporting Architectural Design Decisions Evolution through Model Driven Engineering....Pages 63-77
On Enabling Dependability Assurance in Heterogeneous Networks through Automated Model-Based Analysis....Pages 78-92
Supporting Cross-Language Exception Handling When Extending Applications with Embedded Languages....Pages 93-99
Guaranteeing Correct Evolution of Software Product Lines: Setting Up the Problem....Pages 100-105
Idealized Fault-Tolerant Components in Requirements Engineering....Pages 106-112
Predictability and Evolution in Resilient Systems....Pages 113-114
Self-organising Pervasive Ecosystems: A Crowd Evacuation Example....Pages 115-129
Towards a Model-Driven Infrastructure for Runtime Monitoring....Pages 130-144
Using Diversity in Cloud-Based Deployment Environment to Avoid Intrusions....Pages 145-155
‘Known Secure Sensor Measurements’ for Critical Infrastructure Systems: Detecting Falsification of System State....Pages 156-163
Back Matter....Pages -

✦ Subjects

Computer Communication Networks; Programming Techniques; Software Engineering; Industrial Pollution Prevention