Specification and Verification of Complex Location Events with Panoramic

We present the design and evaluation of Panoramic, a tool that enables end-users to specify and verify an important family of complex location events. Our approach aims to reduce or eliminate critical barriers to deployment of emerging location-aware business activity monitoring applications in domains like hospitals and office buildings. Panoramic does not require users to write code, understand complex models, perform elaborate demonstrations, generate test location traces, or blindly trust deterministic events. Instead, it allows end-users to specify and edit complex events with a visual language that embodies natural concepts of space and time. It also takes a novel approach to verification, in which events are extracted from historical sensor data traces and then presented with intelligible, hierarchical visualizations that represent uncertainty with probabilities. We build on our existing software for specifying and detecting events while enhancing it in non-trivial ways to facil...

• Type: Conference
• Year: 2010
• Where: PERVASIVE
• Authors: Evan Welbourne, Magdalena Balazinska, Gaetano Borriello, James Fogarty
• Keywords: Applied Computing, Complex Location Event, Location Traces, PERVASIVE 2010, Test Location Traces