Rania Ben Hadj - Gestion des conflits dans une plateforme ubiquitaire orientée services

La prolifération de capteurs/actionneurs communicants dans nos environnements ouvre la voie au développement de nouvelles applications, dites pervasives, qui interagissent de façon transparente pour l’utilisateur avec ces équipements. Ces applications visent à fournir des services à valeur ajoutée à la personne, notamment au sein de la maison, notre domaine d’étude. Dans ce travail de recherche, nous nous focalisons sur les plateformes pervasives orientées services qui sont aujourd’hui largement utilisées en recherche pour exécuter ces applications. Ces plateformes présentent la capacité de fournir, d'une manière dynamique, des services en fonction des besoins des applications qu’elles abritent. Ces services peuvent correspondre aux APIs des équipements communicants présents dans l’environnement, par exemple, un thermostat, un détecteur d’ouverture de porte/fenêtre ou un verrou communicants, ou à des fonctions plus abstraites, par exemple, des fonctions mesurant la température, le niveau de luminosité dans les pièces ou sécurisant la maison en cas d’incendie. Les applications pervasives partagent ces services pour réaliser des objectifs différents, parfois conflictuels. Ces conflits doivent être traités afin de maintenir les maisons dans des états cohérents.
 
Cette thèse définit une approche pour la gestion de tels conflits au niveau des plateformes orientée services. Cette approche est optimiste et gère les conflits à l'exécution via un modèle causal de l'environnement, nommé contexte. Cette approche s'articule principalement autour de trois axes : le premier axe se concentre sur la description des conflits dans un contexte modélisé sous la forme de composants orientés services ; le deuxième axe consiste en l'extension du modèle de programmation d'applications ubiquitaires par des mécanismes de verrouillage/déverrouillage et de callback; le troisième axe traite de la gestion des conflits en adoptant une approche à trois phases (prévention, détection et résolution). La solution proposée a été validée au sein de la plateforme Smart Home iCasa. Elle a donné lieu à des extensions  du modèle de développement orienté service iPOJO qui est à la fois le modèle de programmation des développeurs d’applications pervasives et le modèle d’implantation du contexte Smart Home iCasa. Ce travail a été réalisé en collaboration avec Orange Labs Meylan.