TY - GEN
T1 - Components interaction safety analysis method based on STAMP and formal verification
AU - Ye, Nan
AU - Zhang, Jianguo
AU - Wu, Jie
N1 - Publisher Copyright:
© 2020 ACM.
PY - 2020/9/25
Y1 - 2020/9/25
N2 - The traditional safety analysis method is based on the event chain theory, which is not suitable for analyzing the accident caused by components interaction problems of complex system. However, the System Theoretic Accident Model and Process(STAMP) can overcome this difficulty. There are some shortcomings in the current research on STAMP, such as describing the model with natural language and relying on manual analysis. Therefore, this paper proposes a components interaction safety analysis method based on STAMP and formal verification. Taking the aero-engine control system as an example, the root cause of system hazard is obtained and the feasibility of the proposed method is verified.
AB - The traditional safety analysis method is based on the event chain theory, which is not suitable for analyzing the accident caused by components interaction problems of complex system. However, the System Theoretic Accident Model and Process(STAMP) can overcome this difficulty. There are some shortcomings in the current research on STAMP, such as describing the model with natural language and relying on manual analysis. Therefore, this paper proposes a components interaction safety analysis method based on STAMP and formal verification. Taking the aero-engine control system as an example, the root cause of system hazard is obtained and the feasibility of the proposed method is verified.
KW - Aero-engine control system
KW - Model checking
KW - STAMP
KW - System safety analysis
UR - https://www.scopus.com/pages/publications/85097148831
U2 - 10.1145/3425329.3425390
DO - 10.1145/3425329.3425390
M3 - 会议稿件
AN - SCOPUS:85097148831
T3 - ACM International Conference Proceeding Series
SP - 46
EP - 50
BT - Proceedings of the 2020 2nd World Symposium on Software Engineering, WSSE 2020
PB - Association for Computing Machinery
T2 - 2nd World Symposium on Software Engineering, WSSE 2020
Y2 - 25 September 2020 through 27 September 2020
ER -