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.

DOI: 10.1504/IJES.2017.086723

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 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article