The Feature and Service Interaction Problem in Telecommunications Systems: A Survey
IEEE Transactions on Software Engineering
Access control in collaborative systems
ACM Computing Surveys (CSUR)
Criticality Aware Access Control Model for Pervasive Applications
PERCOM '06 Proceedings of the Fourth Annual IEEE International Conference on Pervasive Computing and Communications
Access control for active spaces
Access control for active spaces
Feature interaction detection by pairwise analysis of LTL properties: a case study
Formal Methods in System Design
Mixed-initiative conflict resolution for context-aware applications
UbiComp '08 Proceedings of the 10th international conference on Ubiquitous computing
Human-Computer Interaction
Dependency Management in Smart Homes
DAIS '09 Proceedings of the 9th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems
A generative programming approach to developing pervasive computing systems
GPCE '09 Proceedings of the eighth international conference on Generative programming and component engineering
COMITY: conflict avoidance in pervasive computing environments
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems - Volume Part II
Proceedings of the 33rd International Conference on Software Engineering
A step-wise approach for integrating QoS throughout software development
FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
DiaSuite: A tool suite to develop Sense/Compute/Control applications
Science of Computer Programming
Hi-index | 0.00 |
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.