Maurice-Djibril Faye ; Eddy Caron ; Ousmane Thiare
-
A self-stabilizing algorithm for a hierarchical middleware self-adaptive deployment : specification, proof, simulations
arima:1473 -
Revue Africaine de Recherche en Informatique et Mathématiques Appliquées,
December 12, 2016,
Volume 25 - 2016 - Special issue CNRIA 2015
-
https://doi.org/10.46298/arima.1473
A self-stabilizing algorithm for a hierarchical middleware self-adaptive deployment : specification, proof, simulationsArticle
1 Laboratoire d'Analyse Numérique et Informatique [Sénégal]
2 Algorithms and Software Architectures for Distributed and HPC Platforms
ABSTRACT. An effective solution to deal with this dynamic nature of distributed systems is to implement a self-adaptive mechanism to sustain the distributed architecture. Self-adaptive systems can autonomously modify their behavior at run-timein response to changes in their environment. Our paper describes the self-adaptive algorithm that we developed for an existing middleware. Once the middleware is deployed, it can detects a set of events which indicate an unstable deployment state. When an event is detected, some instructions are executed to handle the event. We have proposed a sketch proof of the self-stabilizing property of the algorithm. We have designed a simulator to have a deeper insights of our proposed self-adaptive algorithm. Results of our simulated experiments validate the safe convergence of the algorithm.