Abstract
Cyber-Physical Systems (CPS) tightly integrate software and plant components and transcend software and control domains. It is greatly desired that the close interactions between software and plant components of CPS are clearly explored even before the complete system is put together. Lack of strict definition for interaction between the two domains has been considered as an obstacle to the development of high-assurance CPS. We present an approach to formalizing HW/SW interface. We advocate the use of Cyber/Physical interface as a step towards bridging this gap. Such interface models should have formal semantics, be ecient for co-simulation, and cover all Cyber/Physical behaviors described by Cyber/Physical interface. Case studies on a realistic example have shown that the approach has major potential in verifying system level properties of CPS, therefore improving the high-confidence of CPS.
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.
