Skip to Main content Skip to Navigation
Conference papers

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.
Complete list of metadatas

Cited literature [12 references]  Display  Hide  Download

https://hal.inria.fr/hal-01236976
Contributor : Annie Ressouche <>
Submitted on : Wednesday, December 2, 2015 - 2:42:25 PM
Last modification on : Tuesday, May 26, 2020 - 6:50:48 PM
Document(s) archivé(s) le : Saturday, April 29, 2017 - 2:51:35 AM

File

M4IOT_Sarray.pdf
Files produced by the author(s)

Identifiers

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. ⟨10.1145/2836127.2836131⟩. ⟨hal-01236976⟩

Share

Metrics

Record views

514

Files downloads

485