TY - GEN
T1 - Research on methodology for safety generation and verification
AU - Yin, Shuai
AU - Zhong, Deming
N1 - Publisher Copyright:
© 2013 IEEE.
PY - 2013
Y1 - 2013
N2 - Many safety-critical systems accidents can be due to the problems of requirements. Identifying and solving the problems in the requirements can reduce the cost and difficulties when the designs need change. Considering the requirements analysis methods, most are concerned only with the problem of components failures, which are hard to find out the hazards that can be led to by the dangerous interaction between different components. In this paper, a new method, analyzing the requirements by STPA (System-Theoretic Process Analysis) to generate the safety requirements and using the Stateflow toolbox to verify the requirements, is presented. Besides, this method is applied to analyze automatic train protection system. and the results show this method is valid for the generation and verification of safety requirements during the early phase of the system design.
AB - Many safety-critical systems accidents can be due to the problems of requirements. Identifying and solving the problems in the requirements can reduce the cost and difficulties when the designs need change. Considering the requirements analysis methods, most are concerned only with the problem of components failures, which are hard to find out the hazards that can be led to by the dangerous interaction between different components. In this paper, a new method, analyzing the requirements by STPA (System-Theoretic Process Analysis) to generate the safety requirements and using the Stateflow toolbox to verify the requirements, is presented. Besides, this method is applied to analyze automatic train protection system. and the results show this method is valid for the generation and verification of safety requirements during the early phase of the system design.
KW - Requirements verification
KW - Safety requirements generate
KW - STPA
UR - https://www.scopus.com/pages/publications/84918558300
U2 - 10.1109/MEC.2013.6885409
DO - 10.1109/MEC.2013.6885409
M3 - 会议稿件
AN - SCOPUS:84918558300
T3 - Proceedings - 2013 International Conference on Mechatronic Sciences, Electric Engineering and Computer, MEC 2013
SP - 2182
EP - 2186
BT - Proceedings - 2013 International Conference on Mechatronic Sciences, Electric Engineering and Computer, MEC 2013
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 2013 International Conference on Mechatronic Sciences, Electric Engineering and Computer, MEC 2013
Y2 - 20 December 2013 through 22 December 2013
ER -