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.
https://hal.inria.fr/inria-00581604
Contributor : Paul van der Walt <>
Submitted on : Tuesday, May 6, 2014 - 2:09:41 PM Last modification on : Friday, September 6, 2019 - 3:22:08 PM Long-term archiving on: : Wednesday, August 6, 2014 - 10:40:14 AM
Henner Jakob, Charles Consel, Nicolas Loriant. Architecturing Conflict Handling of Pervasive Computing Resources. 11th Distributed Applications and Interoperable Systems (DAIS), Jun 2011, Reykjavik, Iceland. pp.92-105, ⟨10.1007/978-3-642-21387-8_8⟩. ⟨inria-00581604⟩