Safe Composition in Middleware for the Internet of Things

Résumé : L'internet des objets connecte des capteurs, des actuateurs et des objets autonomes interagissant les uns avec les autres. Ces dispositifs sont représentés par des services web. La composition des services web doit souvent faire face à des des conflits entre les systèmes ayant accès à des dispositifs partagés. Dans notre intergiciel basé sur une approche composant, notre solution résoud le problème d'accès aux dispositifs partagés en générant des composants spécifiques qui garantissent le respect de contraintes prédéfinies d'adaptation et de composition. L'environnement de l'Internet des choses est dynamique; notre solution assure l'adaptation aux changements en utilisant de nouveaux composants de contrainte et des inhibiteurs qui permettent de prendre en compte l'apparence et la disparition des dispositifs et des applications. La principale contribution de ce travail est la définition du langage DCL (Description Contrainte Language) qui permet de générer automatiquement des composants de contrainte par description de contraintes génériques qui doivent être vérifiées sur les accès aux dispositifs partagés. Notre approche et les outils qui en découle repose sur le paradigme synchrone car c'est un modèle bien fondé qui permet de faire des preuves automatiques et s'interface avec la plupart des model checkers. Nous pouvons ainsi prouver et garantir une composition sure de nos applications dans le domaine de l'internet des choses.
Type de document :
Communication dans un congrès
Middleware for Context-aware Applications for Internet of thing (M4IoT), Dec 2015, Vancouver, Canada. 2015, <http://lii-enac.fr/event/m4iot15/>. <10.1145/2836127.2836131>


https://hal.inria.fr/hal-01236976
Contributeur : Annie Ressouche <>
Soumis le : mercredi 2 décembre 2015 - 14:42:25
Dernière modification le : mardi 13 décembre 2016 - 15:41:38

Fichier

M4IOT_Sarray.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Ines Sarray, Annie Ressouche, Daniel Gaffé, Jean-Yves Tigli, Stéphane Lavirotte. Safe Composition in Middleware for the Internet of Things. Middleware for Context-aware Applications for Internet of thing (M4IoT), Dec 2015, Vancouver, Canada. 2015, <http://lii-enac.fr/event/m4iot15/>. <10.1145/2836127.2836131>. <hal-01236976>

Partager

Métriques

Consultations de
la notice

184

Téléchargements du document

92