Home / Advanced Search

  • Title/Keywords

  • Author/Affliations

  • Journal

  • Article Type

  • Start Year

  • End Year

Update SearchingClear
  • Articles
  • Online
Search Results (1)
  • Open 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

    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 More >

Displaying 1-10 on page 1 of 1. Per Page