Self-Adaptive Software with Decentralised Control Loops

Research output: Chapter in Book/Report/Conference proceedingConference contribution


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.
Original languageEnglish
Title of host publication18th International Conference on Fundamental Approaches to Software Engineering (FASE)
Number of pages15
ISBN (Electronic)978-3-662-46675-9
ISBN (Print)978-3-662-46674-2
Publication statusPublished - 2015

Publication series

NameLecture Notes in Computer Science

Bibliographical note

© 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’s self-archiving policy. Further copying may not be permitted; contact the publisher for details.

Cite this