Download now Free registration required
This paper reports a recent research investigation on an integrated formal approach to model and verify sensor constraints and relations in the context awareness systems. The challenge for designing complex sensor based context awareness system is how to precisely capture communicating behaviors, sensor constraints, and real-time system properties in a highly structured and integrated model. In particular, the high level design models for the context awareness systems need to capture (and reason about) not only concurrent interactions between various software control units and physical sensing devices, but also environmental and requirement constraints on sensors and sensor relations.
- Format: PDF
- Size: 470.8 KB