@inproceedings{fb827f7576de4fd385bba6e5e1240e8b,
title = "An interactive fault detection method for Cyber-Physical System based on System-Theoretic Process Analysis",
abstract = "Cyber-Physical System is (CPS) is a system that integrates computing and physical processes. It is considered to be the next computing revolution that will change the way we interact with the world. However, the identification and detection of interactive faults in CPS is a major challenge. To this end, this paper proposes a new fault detection method based on STPA for interactive faults in CPS. The method constructs a control model of the system through PHAVerLite, which constructs continuous physical processes and discrete computing logic into state machines. Then injecting interactive faults into the model, and verifying whether the interactive faults cause hazards through reachability analysis. Finally, the method is applied to a railway crossing control system, and the results show that the method can successfully detect interactive faults in CPS.",
keywords = "CPS, PHAVerLite, STPA, interactive fault detection",
author = "Yun Zha and Deming Zhong and Rui Sun",
note = "Publisher Copyright: {\textcopyright} 2022 SPIE; 2nd International Conference on Mechanical, Electronics, and Electrical and Automation Control, METMS 2022 ; Conference date: 07-01-2022 Through 09-01-2022",
year = "2022",
doi = "10.1117/12.2634935",
language = "英语",
series = "Proceedings of SPIE - The International Society for Optical Engineering",
publisher = "SPIE",
editor = "Ya Liu",
booktitle = "2nd International Conference on Mechanical, Electronics, and Electrical and Automation Control, METMS 2022",
address = "美国",
}