By the same authors

Self-Adaptive Software with Decentralised Control Loops

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

Full text download(s)

Links

Published copy (DOI)

Author(s)

Department/unit(s)

Publication details

Title of host publication18th International Conference on Fundamental Approaches to Software Engineering (FASE)
DatePublished - 2015
Pages235-251
Number of pages15
PublisherSpringer Berlin / Heidelberg
Volume9033
Original languageEnglish
ISBN (Electronic)978-3-662-46675-9
ISBN (Print)978-3-662-46674-2

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume9033

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.

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.

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations