@inproceedings{512180dd0a7a4f93a384218b8d9bc388,
title = "A multi-view extended software control structure modeling and safety analysis method",
abstract = "System-theoretic Process Analysis (STPA) is an emerging safety analysis method which can recognize the impact on system safety of non-linear interactions between system components. However, the implementation of STPA mainly depends on the experience of the analyst and his/her understanding of the system. The results of the analysis vary from person to person, and it is difficult to guarantee the quality of the analysis. In this paper, the UML views are used to expand the control model, system object model is established to acquire system information, functional model and dynamic model are established to recognize unsafe control actions and reasons these actions, respectively. A case study of a train door control system is also provided to further describe the operating procedures and verify the applicability of this method.",
keywords = "STPA, UML multi-view expansion, control structure modeling, safety analysis",
author = "Deming Zhong and Nan Wu and Qianpeng Wang and Rui Sun",
note = "Publisher Copyright: {\textcopyright} 2015 IEEE.; Prognostics and System Health Management Conference, PHM 2015 ; Conference date: 21-10-2015 Through 23-10-2015",
year = "2016",
month = jan,
day = "12",
doi = "10.1109/PHM.2015.7380016",
language = "英语",
series = "Proceedings of 2015 Prognostics and System Health Management Conference, PHM 2015",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
editor = "Tingdi Zhao and Pecht, \{Michael G.\} and Shunong Zhang",
booktitle = "Proceedings of 2015 Prognostics and System Health Management Conference, PHM 2015",
address = "美国",
}