Architecturing Conflict Handling of Pervasive Computing Resources

Henner Jakob 1 Charles Consel 2, 1 Nicolas Loriant 3
1 Phoenix - Programming Language Technology For Communication Services
LaBRI - Laboratoire Bordelais de Recherche en Informatique, Inria Bordeaux - Sud-Ouest, EA4136 - Handicap et système nerveux :Action, communication, interaction: rétablissement de la fonction et de la participation [Bordeaux]
Abstract : Pervasive computing environments are created to support human activities in different domains (e.g., home automation and healthcare). To do so, applications orchestrate deployed services and devices. In a realistic setting, applications are bound to conflict in their usage of shared resources, e.g., controlling doors for security and fire evacuation purposes. These conflicts can have critical effects on the physical world, putting people and assets at risk. This paper presents a domain-specific approach to architecturing conflict handling of pervasive computing resources. This approach covers the software development lifecycle and consists of enriching the description of a pervasive computing system with declarations for resource handling. These declarations are used to automate conflict detection, manage the states of a pervasive computing system, and orchestrate resource accesses accordingly at runtime. In effect, our approach separates the application logic from resource conflict handling. Our approach has been implemented and validated on various building automation applications.
Type de document :
Communication dans un congrès
Pascal Felber; Romain Rouvoy. 11th Distributed Applications and Interoperable Systems (DAIS), Jun 2011, Reykjavik, Iceland. Springer, Lecture Notes in Computer Science, LNCS-6723, pp.92-105, 2011, Distributed Applications and Interoperable Systems. 〈10.1007/978-3-642-21387-8_8〉
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00581604
Contributeur : Paul Van Der Walt <>
Soumis le : mardi 6 mai 2014 - 14:09:41
Dernière modification le : vendredi 8 septembre 2017 - 01:09:09
Document(s) archivé(s) le : mercredi 6 août 2014 - 10:40:14

Fichier

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

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Henner Jakob, Charles Consel, Nicolas Loriant. Architecturing Conflict Handling of Pervasive Computing Resources. Pascal Felber; Romain Rouvoy. 11th Distributed Applications and Interoperable Systems (DAIS), Jun 2011, Reykjavik, Iceland. Springer, Lecture Notes in Computer Science, LNCS-6723, pp.92-105, 2011, Distributed Applications and Interoperable Systems. 〈10.1007/978-3-642-21387-8_8〉. 〈inria-00581604〉

Partager

Métriques

Consultations de la notice

471

Téléchargements de fichiers

160