Software Engineering for Resilient Systems

Abstract

The proceedings contain 15 papers. The topics discussed include: preliminary interdependency analysis (PIA): method and tool support; use case scenarios as verification conditions: event-B/flow approach; quantitative verification of system safety in event-B; experience-based model refinement; architecting resilient computing systems: overall approach and open issues; supporting architectural design decisions evolution through model driven engineering; on enabling dependability assurance in heterogeneous networks through automated model-based analysis; supporting cross-language exception handling when extending applications with embedded languages; guaranteeing correct evolution of software product lines: setting up the problem; idealized fault-tolerant components in requirements engineering; and self-organising pervasive ecosystems: a crowd evacuation example.