Show simple item record

dc.contributor.authorZhang, Yu
dc.contributor.authorHuang, Mengxing
dc.contributor.authorWang, Hao
dc.contributor.authorFeng, Wenlong
dc.contributor.authorCheng, Jieren
dc.contributor.authorZhou, Hui
dc.date.accessioned2020-03-02T07:30:25Z
dc.date.available2020-03-02T07:30:25Z
dc.date.created2020-02-11T13:27:24Z
dc.date.issued2019
dc.identifier.citationComputers, Materials and Continua (CMC). 2019, 58 (1), 287-306.nb_NO
dc.identifier.issn1546-2218
dc.identifier.urihttp://hdl.handle.net/11250/2644506
dc.description.abstractCyber-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.nb_NO
dc.language.isoengnb_NO
dc.publisherTech Science Pressnb_NO
dc.rightsNavngivelse 4.0 Internasjonal*
dc.rights.urihttp://creativecommons.org/licenses/by/4.0/deed.no*
dc.titleA co-verification interface design for high-assurance CPSnb_NO
dc.typeJournal articlenb_NO
dc.typePeer reviewednb_NO
dc.description.versionpublishedVersionnb_NO
dc.source.pagenumber287-306nb_NO
dc.source.volume58nb_NO
dc.source.journalComputers, Materials and Continua (CMC)nb_NO
dc.source.issue1nb_NO
dc.identifier.doi10.32604/cmc.2019.03736
dc.identifier.cristin1793036
dc.description.localcodeOpen Access CC- BYnb_NO
cristin.unitcode194,63,55,0
cristin.unitnameInstitutt for IKT og realfag
cristin.ispublishedtrue
cristin.fulltextoriginal
cristin.qualitycode1


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

Navngivelse 4.0 Internasjonal
Except where otherwise noted, this item's license is described as Navngivelse 4.0 Internasjonal