Abstract
Cyber-Physical Systems(CPS) systems tightly integrate software and plant components and transcend traditional control systems.Such systems are often mission-critical, therefore, they must be high-assurance. High-assurance CPSrequire extensive verification.Co-verification, verifying cyber and plant components together, is essential to establishing the correctness of a complete system.Lack of strict definition for interaction between the two domains has been considered as an obstacle to the development of high-assurance CPS.We advocate the use of Co-Verification interface as a step towards bridging this gap. Such interface models should have formal semantics, be efficient for simulation and formal verification, and cover all Cyber/Physical behaviors described by Cyber/Physical interface.Case studies on a suite of realistic examples have shown that the approach has major potential in verifying system level properties of CPS, therefore improving the high-assurance of CPS.
Highlights
Cyber-Physical Systems (CPS) tightly integrates cyber and physical components, thereby creating opportunities for more direct integration of the physical world into the cyber world [Lee (2010)]
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
We advocate the use of Cyber/Physical interface model for bridging multiple semantic gap between cyber and physical components
Summary
Cyber-Physical Systems (CPS) tightly integrates cyber and physical components, thereby creating opportunities for more direct integration of the physical world into the cyber world [Lee (2010)]. CPS has always been focused on integration of cyber and physical components. Lack of strict multiple semantic definition for interaction between the two domains has been considered as an obstacle to the CPS co-verification. There is no unifying formal model for representing the implementation semantic of Cyber/Physical interface accurately. We propose an approach for delimiting the cyber/physical interface. A Cyber/Physical interface model for hierarchical a verification of CPS is proposed. We advocate the use of Cyber/Physical interface model for bridging multiple semantic gap between cyber and physical components. This interface model has formal semantics which cover all Cyber/Physical interaction behaviors, and is efficient for simulation and formal verification. We have realized this approach and applied it to a real-world control system
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
