@inproceedings{4da9eabf81ac41e4b23ba5cac9d102e4,
title = "Cyber/physical co-verification for developing reliable cyber-physical systems",
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.",
keywords = "Co-Verification, Cyber-Physical Systems, Model Checking, Symbolic Execution",
author = "Yu Zhang and Fei Xie and Yunwei Dong and Xingshe Zhou and Chunyan Ma",
year = "2013",
doi = "10.1109/COMPSAC.2013.88",
language = "英语",
isbn = "9780769549866",
series = "Proceedings - International Computer Software and Applications Conference",
publisher = "IEEE Computer Society",
pages = "539--548",
booktitle = "Proceedings - 2013 IEEE 37th Annual Computer Software and Applications Conference, COMPSAC 2013",
note = "2013 IEEE 37th Annual Computer Software and Applications Conference, COMPSAC 2013 ; Conference date: 22-07-2013 Through 26-07-2013",
}