@inproceedings{4797fc8cb832417c9e99091314d263b2,
title = "Self-Adaptive Software with Decentralised Control Loops",
abstract = "We present DECIDE, a rigorous approach to decentralising the control loops of distributed self-adaptive software used in mission-critical applications. DECIDE uses quantitative verification at runtime, first to agree individual component contributions to meeting system-level quality-of-service requirements, and then to ensure that components achieve their agreed contributions in the presence of changes and failures. All verification operations are carried out locally, using component-level models, and communication between components is infrequent. We illustrate the application of DECIDE and show its effectiveness using a case study from the unmanned underwater vehicle domain.",
author = "Radu Calinescu and Simos Gerasimou and Alec Banks",
note = "{\textcopyright} 2015. Springer International Publishing AG, Part of Springer Science+Business Media. This is an author-produced version of the published paper. Uploaded in accordance with the publisher{\textquoteright}s self-archiving policy. Further copying may not be permitted; contact the publisher for details.",
year = "2015",
doi = "10.1007/978-3-662-46675-9_16",
language = "English",
isbn = "978-3-662-46674-2",
volume = "9033",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "235--251",
booktitle = "18th International Conference on Fundamental Approaches to Software Engineering (FASE)",
address = "Germany",
}
