Table of Content

Open Access iconOpen Access


A Co-Verification Interface Design for High-Assurance CPS

Yu Zhang1,2,*, Mengxing Huang1,2,*, Hao Wang3, Wenlong Feng1,2, Jieren Cheng1,2, Hui Zhou1,2

State Key Laboratory of Marine Resource Utilization in South China Sea, Hainan University, Haikou, 570228, China.
College of Information Science and Technology, Hainan University, Haikou, 570228, China.
Big Data Lab, Department of ICT and Natural Sciences, Norwegian University of Science and Technology, Postboks 1517, N-6025 Aalesund, Norway.

* Corresponding Author: Mengxing Huang. Email: email;
  Yu Zhang. Email: email.

Computers, Materials & Continua 2019, 58(1), 287-306.


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 interaction mechanism into two levels: logic interaction level and physical interaction level. We define different types of interface model according to combinatorial relationships of the A/D (Analog to Digital) and D/A (Digital to Analog) conversion periodical instants. This interface model has formal semantics, and is efficient for simulation and formal verification. The experiment results show that our approach has major potential in verifying system level properties of complex CPS, therefore improving the high-assurance of CPS.


Cite This Article

APA Style
Zhang, Y., Huang, M., Wang, H., Feng, W., Cheng, J. et al. (2019). A co-verification interface design for high-assurance CPS. Computers, Materials & Continua, 58(1), 287-306.
Vancouver Style
Zhang Y, Huang M, Wang H, Feng W, Cheng J, Zhou H. A co-verification interface design for high-assurance CPS. Comput Mater Contin. 2019;58(1):287-306
IEEE Style
Y. Zhang, M. Huang, H. Wang, W. Feng, J. Cheng, and H. Zhou "A Co-Verification Interface Design for High-Assurance CPS," Comput. Mater. Contin., vol. 58, no. 1, pp. 287-306. 2019.


cc This work is licensed under a Creative Commons Attribution 4.0 International License , which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
  • 2941


  • 1389


  • 0


Related articles

Share Link