@article{ref1,
title="STPA safety analysis on IMA generic system management",
journal="China safety science journal (CSSJ)",
year="2021",
author="Xiao, G. and Liu, J. and Dong, L. and Sun, Z. and Zhao, C.",
volume="31",
number="9",
pages="8-14",
abstract="GSM is an indispensable part of IMA system services. In order to address the difficulties traditional safety analysis methods have in capturing risks caused by component interaction in complex systems, firstly, GSM work environment and function division of its components were studied, and workflow of hierarchical system management was determined. Secondly, an extended model based on accident process of systematic theory was established for GSM, unsafe control actions(UCA) of dynamic reconfiguration case were identified through STPA, and relevant causative scenarios and their corresponding safety requirements were generated. Finally, the case is simulated and verified by timed automata. The results show that the model's logic and timing integrity and reachability of UCA behavior provide a formal basis for GSM safety analysis. © 2021 China Safety Science Journal. All rights reserved.<p /><p>Language: zh</p>",
language="zh",
issn="1003-3033",
doi="10.16265/j.cnki.issn1003-3033.2021.09.002",
url="http://dx.doi.org/10.16265/j.cnki.issn1003-3033.2021.09.002"
}