The context toolkit: aiding the development of context-enabled applications
Proceedings of the SIGCHI conference on Human Factors in Computing Systems
The computer for the 21st century
ACM SIGMOBILE Mobile Computing and Communications Review - Special issue dedicated to Mark Weiser
Challenges: an application model for pervasive computing
MobiCom '00 Proceedings of the 6th annual international conference on Mobile computing and networking
Testing and demonstrating context-aware services with Quake III Arena
Communications of the ACM - Internet abuse in the workplace and Game engines in scientific research
Software infrastructure and design challenges for ubiquitous computing applications
Communications of the ACM
Understanding and Using Context
Personal and Ubiquitous Computing
System Software for Ubiquitous Computing
IEEE Pervasive Computing
Modeling Context Information in Pervasive Computing Systems
Pervasive '02 Proceedings of the First International Conference on Pervasive Computing
Automatic Partitioning: Prototyping Ubiquitous-Computing Applications
IEEE Pervasive Computing
Evaluating a Location-Based Application: A Hybrid Test and Simulation Environment
IEEE Pervasive Computing
Simulation Model for Self-Adaptive Applications in Pervasive Computing
DEXA '04 Proceedings of the Database and Expert Systems Applications, 15th International Workshop
Topiary: a tool for prototyping location-enhanced applications
Proceedings of the 17th annual ACM symposium on User interface software and technology
A Testbed for Evaluating Human Interaction with Ubiquitous Computing Environments
TRIDENTCOM '05 Proceedings of the First International Conference on Testbeds and Research Infrastructures for the DEvelopment of NeTworks and COMmunities
On location models for ubiquitous computing
Personal and Ubiquitous Computing
Prototypes in the Wild: Lessons from Three Ubicomp Systems
IEEE Pervasive Computing
A framework for rapid-prototyping of context based ubiquitous computing applications
SUTC '06 Proceedings of the IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing -Vol 1 (SUTC'06) - Volume 01
Ubiquitous Computing: Shall we Understand It?
The Computer Journal
How smart are our environments? An updated look at the state of the art
Pervasive and Mobile Computing
A location model for smart environments
Pervasive and Mobile Computing
Rapid Prototyping for Pervasive Applications
IEEE Pervasive Computing
Towards an Architecture for Balancing Privacy and Traceability in Ubiquitous Computing Environments
ARES '08 Proceedings of the 2008 Third International Conference on Availability, Reliability and Security
Rapid Prototyping of Activity Recognition Applications
IEEE Pervasive Computing
A simulation-based approach to highly iterative prototyping of ubiquitous computing systems
Proceedings of the 2nd International Conference on Simulation Tools and Techniques
Situvis: A Visual Tool for Modeling a User's Behaviour Patterns in a Pervasive Environment
Pervasive '09 Proceedings of the 7th International Conference on Pervasive Computing
DiaSim: A parameterized simulator for pervasive computing applications
PERCOM '09 Proceedings of the 2009 IEEE International Conference on Pervasive Computing and Communications
Developing context-aware pervasive computing applications: Models and approach
Pervasive and Mobile Computing
A survey of context modelling and reasoning techniques
Pervasive and Mobile Computing
Situvis: A sensor data analysis and abstraction tool for pervasive computing systems
Pervasive and Mobile Computing
Supporting rapid design and evaluation of pervasive applications: challenges and solutions
Personal and Ubiquitous Computing
A hybrid logic for commonsense spatial reasoning
AI*IA'05 Proceedings of the 9th conference on Advances in Artificial Intelligence
Social simulation for ami systems engineering
HAIS'10 Proceedings of the 5th international conference on Hybrid Artificial Intelligence Systems - Volume Part I
UbiREAL: realistic smartspace simulator for systematic testing
UbiComp'06 Proceedings of the 8th international conference on Ubiquitous Computing
| Hi-index | 0.00 |
A challenge for designing pervasive computing systems, particularly for indoor sensor-rich environments, is the complexity of causal relationships between contextual inputs, exhibited system behaviour, and overall appropriateness of resulting outcomes. Two key challenges faced by designers when testing these systems lie in the difficulty of monitoring the deployment environment for inappropriate outcomes and subsequently tracing the physical and digital causal factors leading to specific situations. This paper presents InSitu, a situation-based testing approach that applies generalised situation specifications to a global representation of simulated environment state to detect instances of specified situations. An access control case study demonstrates the modelling capabilities of InSitu and notes the importance of the overlap, exclusivity, and subsumption relationships between situation specifications in order to achieve informative results.