Faye, Maurice-Djibril and Caron, Eddy and Thiare, Ousmane - A self-stabilizing algorithm for a hierarchical middleware self-adaptive deployment : specification, proof, simulations

arima:1473 - Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, December 12, 2016, Volume 25 - 2016 - Special issue CNRIA 2015
A self-stabilizing algorithm for a hierarchical middleware self-adaptive deployment : specification, proof, simulations

Authors: Faye, Maurice-Djibril and Caron, Eddy and Thiare, Ousmane

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.


Source : oai:HAL:hal-01311153v3
Volume: Volume 25 - 2016 - Special issue CNRIA 2015
Published on: December 12, 2016
Submitted on: December 7, 2016
Keywords: Middleware,Distributed Computing, diet middleware, Cloud, software deployment, Finite State Machine, Simulation, Self-stabilization, Autonomic System,déploiement,Machine à états finis,simulateur,DIET,Systèmes distribués,auto-stabilisation,intergiciel,[INFO] Computer Science [cs]


Share

Consultation statistics

This page has been seen 121 times.
This article's PDF has been downloaded 80 times.