Verifying Smart Sensory Systems on Cloud Computing Frameworks

Recently, smart applications implemented on cloud platforms have been widely adapted to provide quality-of-life services in different domains such as: agriculture, medical, and transportation systems. Such applications benefit from the advanced wireless sensor network (WSN) technologies as an infrastructure to implement smart systems. Due to the mandatory interleaving between service-programs and network controller-programs in the cloud computing architecture, there is a need to separate the implementation among them in order to enhance scalability, modularity, and verifiability of such systems. This separation is the main quality aspect of software defined networking (SDN) technology. This paper proposes a design pattern that handles the SDN problem. The verifiability has been guaranteed by the automatic generation of a finite-state-automaton (FSA) that represents the behavioral transitions of the system. Experiments have been conducted on a real-time system using computation tree logic (CTL). The results indicated that the proposed technique minimized the maintenance side-effects as the scalability of the system increased and, in addition, it was able to detect concurrent problems at design time and utilize the power consumption of the network components. (C) 2015 The Authors. Published by Elsevier B.V.