CHEN Na1,2, GENG Shengling1* , LI Yongming3, BO Wei3,4
(1 School of Computer Science, Qinghai Normal University, Xining 810008, Qinghai ,China; 2 Network Information Center, 3 School of Computer Science, Shaanxi Normal University, Xi′an 710119, Shaanxi, China; 4 Department of Computer and Electronic Information, Shaanxi XueQian Normal University, Xi′an 710100, Shaanxi, China)
Abstract:
Due to the influence of uncertainty factors cyber-physical systems(CPS) in the environment, the property syntax and semantic of possibility CPS software model based on possibility mixed automaton is given in this paper. Meanwhile, the systematic verification method of possibility CPS model is given. Finally, an example analysis shows this method is valid, and it can describe the verification of CPS on the uncertain environment factors.
KeyWords:
possibility mixed automation; possibility CPS; dynamic verification
