Title: Modelling and analysis of real-time and reliability for WSN-based CPS

Authors: Junhua Zhang; Yi Zhu; Fangxiong Xiao

Addresses: College of Science and Technology, Ningbo University, Ningbo, Zhejiang, 315212, China ' School of Computer Science and Technology, Jiangsu Normal University, Xuzhou, Jiangsu, 221116, China ' School of Software Engineering, Jinling Institute of Technology, Nanjing, Jiangsu, 211169, China

Abstract: WSN-based CPS can be used to collect information from remote environment and control it. Delay and dependability directly affect the running quality of WSN-based CPS. In this paper, we present a specified process calculus to model the running of the system, including its real-time and reliability character. Then we design a group of algorithms to calculate the reliability of the system under certain responsible time constraint. Using these methods, we can formally depict the running of WSN-based CPS, and can assess real-time and reliability of WSN-based CPS quantitatively. We illustrate our ideas through bank night automatic monitoring and emergency system, and we can improve the system's reliability from 0.58 to 0.87 and higher gradually.

Keywords: WSN-based CPS; real time; reliability; process calculus; wireless sensor network; WSN; cyber physical system; model check.

DOI: 10.1504/IJIPT.2019.099683

International Journal of Internet Protocol Technology, 2019 Vol.12 No.2, pp.76 - 84

Received: 24 Jan 2018
Accepted: 03 Jul 2018

Published online: 20 May 2019 *

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