Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antónia Lopes
ISBN: 978-3-642-36248-4 Lecture Notes in Computer Science Volume 7740 (2013)
The authors discuss what they consider a fundamental aspect of self-adaptive systems, the “assurance”, i.e. the provision of evidence that the system satisfies its stated functional and non-functional requirements during its operation in the presence of self-adaptation. In particular, this book discuss the issues related to formal verification, models and middleware, failure prediction, and assurance techniques.