Assurances for Self-Adaptive Systems: Principles, Models, and Techniques

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)

DOI 10.1007/978-3-642-36249-1

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.