About these proceedings
This book constitutes the refereed proceedings of the 7th International Workshop on Software Engineering for Resilient Systems, SERENE 2015, held in Paris, France, in September 2015.
The 10 revised technical papers presented were carefully reviewed and selected from 18 submissions. The papers are organized in topical sections on development of resilient systems, verification, validation and evaluation of resilience, case studies and applications.
cloud computing dependability embedded systems error detection error recovery fault tolerance formal modeling monitoring performance power consumption redundancy reliability resilience risk assessment self-adaptive systems software and its engineering software architectures software testing traceability veification and validation