Sensor Based Designs for Smart Space

The challenge for specifying and designing complex sensor based smart space is how to precisely capture communicating behaviors, sensor constraints, and real-time system properties in a highly abstract, modular and integrated way. In particular, the high level design models for the smart systems need to capture not only concurrent interactions between various software control units and physical sensing devices, but also environmental and requirement constraints on sensors and sensor relations. In this paper, we demonstrate that a sensor based formalism can be succinctly applied to the design of smart space with multiple functionalities. Based on the formal model, essential properties within a particular domain or across different domains can also be verified