Review for model-based safety analysis of complex safety-critical system

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.