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.
International Journal of Internet Protocol Technology, 2019 Vol.12 No.2, pp.76 - 84
Available online: 09 May 2019 *Full-text access for editors Access for subscribers Purchase this article Comment on this article