Yu Zhang1,2,*, Mengxing Huang1,2,*, Hao Wang3, Wenlong Feng1,2, Jieren Cheng1,2, Hui Zhou1,2
CMC-Computers, Materials & Continua, Vol.58, No.1, pp. 287-306, 2019, DOI:10.32604/cmc.2019.03736
Abstract Cyber-Physical Systems (CPS) tightly integrate cyber and physical components and transcend traditional control systems and embedded system. Such systems are often mission-critical; therefore, they must be high-assurance. High-assurance CPS require co-verification which takes a comprehensive view of the whole system to verify the correctness of a cyber and physical components together. Lack of strict multiple semantic definition for interaction between the two domains has been considered as an obstacle to the CPS co-verification. A Cyber/Physical interface model for hierarchical a verification of CPS is proposed. First, we studied the interaction mechanism between computation and physical processes. We further classify the… More >
Login
Register
