Decentrally Coordinated Execution of Adaptations in Distributed Self-Adaptive Software Systems

Martin WeißbachMartin Weißbach, Philipp ChrszonPhilipp Chrszon, Thomas SpringerThomas Springer, Alexander SchillAlexander Schill

DOI Link

Martin Weißbach, Philipp Chrszon, Thomas Springer, Alexander Schill
Decentrally Coordinated Execution of Adaptations in Distributed Self-Adaptive Software Systems
Proc. of the 11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO), 111--120, 2017. IEEE Computer Society

Details
Bibtex

KurzfassungAbstract
Software systems in domains like Smart Cities, the Internet of Things or autonomous cars are coined by a high degree of distribution across several independent computing devices and the requirement to be able to adjust themselves to varying situations in their operational environment. Self-adaptive software systems are a natural choice to implement such context-dependent software systems. A multitude of approaches already implement self-adaptive systems and some consider even distribution aspects.Yet, none of the existing solutions supports the coordination of adaptation operations spanning multiple independent nodes, which is necessary to ensure a consistent adaptation even in presence of network errors or node failures. In this paper, we tackle this challenge to execute adaptations in distributed self-adaptive software systems in a coordinated manner. We present a protocol that enables the self-adaptive software system to execute correlated adaptations on multiple nodes in a transactional manner ensuring an atomic and consistent transition of the distributed system from its source to the desired target configuration. The protocol is validated to be free of deadlocks for any given adaptation at any point in time using a model-checking approach. The performance of our approach is investigated in experiments that emulate the protocol's execution on real devices for different sizes of distributed applications and adaptation scenarios.
Forschungsgruppe:Research Group: Algebraische und logische Grundlagen der InformatikAlgebraic and Logical Foundations of Computer Science

@inproceedings{WCSS2017,
  author    = {Martin Wei{\ss}bach and Philipp Chrszon and Thomas Springer and
               Alexander Schill},
  title     = {Decentrally Coordinated Execution of Adaptations in Distributed
               Self-Adaptive Software Systems},
  booktitle = {Proc. of the 11th {IEEE} International Conference on
               Self-Adaptive and Self-Organizing Systems (SASO)},
  publisher = {IEEE Computer Society},
  year      = {2017},
  pages     = {111--120},
  doi       = {doi.org/10.1109/SASO.2017.20}
}