Cyber/physical co-verification for developing reliable cyber-physical systems

Yu Zhang, Fei Xie, Yunwei Dong, Xingshe Zhou, Chunyan Ma

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

4 Scopus citations

Abstract

Cyber-Physical Systems (CPS) tightly integrate cyber and physical components and transcend discrete and continuous domains. It is greatly desired that the physical components being controlled and the software implementation of control algorithms can be verified together. We present an efficient approach to reachability analysis of Hybrid Automata Pushdown System (HAPS) models for cyber/physical co-verification of CPS. We have realized this approach and applied it to real-world control systems. The evaluation has shown that HAPS is an effective model for co-verification of CPS and our approach has major potential in verifying system-level properties of CPS, therefore improving the reliability of CPS.

Original languageEnglish
Title of host publicationProceedings - 2013 IEEE 37th Annual Computer Software and Applications Conference, COMPSAC 2013
PublisherIEEE Computer Society
Pages539-548
Number of pages10
ISBN (Print)9780769549866
DOIs
StatePublished - 2013
Event2013 IEEE 37th Annual Computer Software and Applications Conference, COMPSAC 2013 - Kyoto, Japan
Duration: 22 Jul 201326 Jul 2013

Publication series

NameProceedings - International Computer Software and Applications Conference
ISSN (Print)0730-3157

Conference

Conference2013 IEEE 37th Annual Computer Software and Applications Conference, COMPSAC 2013
Country/TerritoryJapan
CityKyoto
Period22/07/1326/07/13

Keywords

  • Co-Verification
  • Cyber-Physical Systems
  • Model Checking
  • Symbolic Execution

Fingerprint

Dive into the research topics of 'Cyber/physical co-verification for developing reliable cyber-physical systems'. Together they form a unique fingerprint.

Cite this