Systems Engineering and Electronics
Previous Articles Next Articles
CHEN Lei, JIAO Jian, ZHAO Tingdi
Online:
Published:
Abstract:
The ultimate goal of model-based safety analysis (MBSA) is to implement the automated safety analysis based on semiformal 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.
CHEN Lei, JIAO Jian, ZHAO Tingdi. Review for model-based safety analysis of complex safety-critical system[J]. Systems Engineering and Electronics, doi: 10.3969/j.issn.1001-506X.2017.06.16.
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: https://www.sys-ele.com/EN/10.3969/j.issn.1001-506X.2017.06.16
https://www.sys-ele.com/EN/Y2017/V39/I6/1287