TY - JOUR
T1 - Review for model-based safety analysis of complex safety-critical system
AU - Chen, Lei
AU - Jiao, Jian
AU - Zhao, Tingdi
N1 - Publisher Copyright:
© 2017, Editorial Office of Systems Engineering and Electronics. All right reserved.
PY - 2017/6/1
Y1 - 2017/6/1
N2 - The ultimate goal of model-based safety analysis (MBSA) is to implement the automated safety analysis based on semi-formal and formal models of the complex safety-critical system. There are many MBSA methods which contain all the relevant theory, techniques, tools and language used for modelling, safety verification and analysis. Implementation approaches of MBSA could be divided into two categories according to different models used in the safety analysis which means the different relationship between safety models and system models. One of the MBSA approach is based on the extended system model (ESM) and the other one is based on the failure logic modelling (FLM). The implementation of each approach is described. Advantages and boundedness of each approach are analyzed and indicated. Finally, the improvements for each way which could be carried out in the future are proposed.
AB - The ultimate goal of model-based safety analysis (MBSA) is to implement the automated safety analysis based on semi-formal and formal models of the complex safety-critical system. There are many MBSA methods which contain all the relevant theory, techniques, tools and language used for modelling, safety verification and analysis. Implementation approaches of MBSA could be divided into two categories according to different models used in the safety analysis which means the different relationship between safety models and system models. One of the MBSA approach is based on the extended system model (ESM) and the other one is based on the failure logic modelling (FLM). The implementation of each approach is described. Advantages and boundedness of each approach are analyzed and indicated. Finally, the improvements for each way which could be carried out in the future are proposed.
KW - Complex safety-critical system
KW - Extended system model (ESM)
KW - Failure logic modelling (FLM)
KW - Model-based safety analysis (MBSA)
UR - https://www.scopus.com/pages/publications/85027836520
U2 - 10.3969/j.issn.1001-506X.2017.06.16
DO - 10.3969/j.issn.1001-506X.2017.06.16
M3 - 文章
AN - SCOPUS:85027836520
SN - 1001-506X
VL - 39
SP - 1287
EP - 1291
JO - Xi Tong Gong Cheng Yu Dian Zi Ji Shu/Systems Engineering and Electronics
JF - Xi Tong Gong Cheng Yu Dian Zi Ji Shu/Systems Engineering and Electronics
IS - 6
ER -