Title: A verifiable framework for smart sensory systems
Authors: Mohammed G.H. Al Zamil
Addresses: Department of Computer Information Systems, Yarmouk University, P.O. Box 566, Zip Code: 21163, Jordan
Abstract: 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.
Keywords: wireless sensor networks; WSNs; design for verification; software defined networking; power consumption; data mining.
International Journal of Embedded Systems, 2017 Vol.9 No.5, pp.413 - 425
Received: 31 Aug 2015
Accepted: 13 Jan 2016
Published online: 24 Sep 2017 *