Formalisation de l'expression d'un plan de déploiement autonomique à base de contraintes

Raja Boujbel (1) , Sébastien Leriche (2) , Jean-Paul Arcangeli (1, 3) , Oudom Kem (4)

1 IRIT-SMAC - Systèmes Multi-Agents Coopératifs
2 ENAC - Ecole Nationale de l'Aviation Civile
3 UT3 - Université Toulouse III - Paul Sabatier
4 IRIT - Institut de recherche en informatique de Toulouse

Les systèmes ambiants sont devenus massivement distribués. Le nombre d'appareils hétérogènes, et la variété de composants logiciels à déployer sur ces systèmes pour en assurer le bon fonctionnement ne cessent de croître. Leur topologie est en évolution constante, liée à l'apparition et la disparition des dispositifs mobiles. De ce fait, le déploiement de logiciel dans ces systèmes est un problème ouvert. Notre approche pour diminuer la complexité de cette opération, est le déploiement autonomique. Dans cet article, nous partons d'un langage dédié (DSL) nommé MuScADeL, pour lequel nous proposons une formalisation de l'expression du déploiement autonomique. Ensuite, nous montrons comment traduire les propriétés de déploiement en un problème de satisfaction de contraintes, et comment nous obtenons un plan de déploiement conforme qui sera enfin interprété par un intergiciel de déploiement autonomique.

Mots clés: Systèmes ambiants; Déploiement autonomique; Mobilité

Domaines: Informatique ubiquitaire; Logique en informatique [cs.LO]; Informatique mobile

Raja Boujbel, Sébastien Leriche, Jean-Paul Arcangeli, Oudom Kem. Formalisation de l'expression d'un plan de déploiement autonomique à base de contraintes. Journées francophones Mobilité et Ubiquité - UBIMOB 2014, Jun 2014, Nice, France. pp. 1-8. ⟨hal-01135234⟩