Architecturing Conflict Handling of Pervasive Computing Resources

• Main Authors: Jakob, Henner, Consel, Charles, Loriant, Nicolas
• Other Authors: Programming Language Technology For Communication Services (Phoenix), Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS)-Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS)-Inria Bordeaux - Sud-Ouest, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Handicap et système nerveux :Action, communication, interaction: rétablissement de la fonction et de la participation Bordeaux (EA4136), UFR Sciences médicales 3 Bordeaux -Université de Bordeaux Ségalen Bordeaux 2 -UFR Sciences médicales 3 Bordeaux -Université de Bordeaux Ségalen Bordeaux 2, Ecole Nationale Supérieure d'Electronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), Imperial College London, Pascal Felber, Romain Rouvoy, TC 6, WG 6.1
• Format: Conference Object
• Language: English
• Published: HAL CCSD 2011
• Subjects: [INFO]Computer Science [cs]; [INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing; [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]; Iceland
• Online Access: https://hal.inria.fr/inria-00581604; https://hal.inria.fr/inria-00581604/document; https://hal.inria.fr/inria-00581604/file/main.pdf; https://doi.org/10.1007/978-3-642-21387-8_8

International audience 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.