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.
Includes supplementary material: sn.pub/extras
Alessandro Fantechi
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