A verifiable framework for smart sensory systems

摘要

Reliability of smart sensory systems is an emerging quality requirement. The backbone infrastructure requires network controllers and service-programs to share some computing resources; forcing them to interleave concurrently. Such weaving affects the overall reliability, modularity and scalability of these systems. Therefore, separating the implementation of network controllers from the service-programs in a modular design will facilitate enhancing their quality properties. In this paper, a software design pattern has been proposed for the purpose of modularising the design of WSN software components, in which interleaving problems are automatically detected at design-time. Furthermore, the proposed framework allows for abstracting complex systems to depict their behavioural transitions. The proposed framework has been applied to smart irrigation and smart grid models. In both experiments, the proposed technique was able to detect the synchronisation errors. The results showed that the proposed modular design minimises the communicating messages and, therefore, the required level of energy.