OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

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

Boujbel, Raja and Leriche, Sébastien and Arcangeli, Jean-Paul and Kem, Oudom Formalisation de l'expression d'un plan de déploiement autonomique à base de contraintes. (2014) In: Journées francophones Mobilité et Ubiquité - UBIMOB 2014, 5 June 2014 - 6 June 2014 (Nice, France).

[img]
Preview
(Document in French)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
439kB

Abstract

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.

Item Type:Conference or Workshop Item (Paper)
HAL Id:hal-01135234
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Ecole Nationale de l'Aviation Civile - ENAC (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - INPT (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UPS (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Laboratory name:
Statistics:download
Deposited By: IRIT IRIT
Deposited On:25 Mar 2015 08:51

Repository Staff Only: item control page