Paper
25 April 2022 An interactive fault detection method for cyber-physical system based on system-theoretic process analysis
Yun Zha, Deming Zhong, Rui Sun
Author Affiliations +
Proceedings Volume 12244, 2nd International Conference on Mechanical, Electronics, and Electrical and Automation Control (METMS 2022); 122443Z (2022) https://doi.org/10.1117/12.2634935
Event: 2nd International Conference on Mechanical, Electronics, and Electrical and Automation Control (METMS 2022), 2022, Guilin, China
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.
© (2022) COPYRIGHT Society of Photo-Optical Instrumentation Engineers (SPIE). Downloading of the abstract is permitted for personal use only.
Yun Zha, Deming Zhong, and Rui Sun "An interactive fault detection method for cyber-physical system based on system-theoretic process analysis", Proc. SPIE 12244, 2nd International Conference on Mechanical, Electronics, and Electrical and Automation Control (METMS 2022), 122443Z (25 April 2022); https://doi.org/10.1117/12.2634935
Advertisement
Advertisement
RIGHTS & PERMISSIONS
Get copyright permission  Get copyright permission on Copyright Marketplace
KEYWORDS
Control systems

Systems modeling

Hazard analysis

Safety

Process modeling

Modeling

Back to Top