Abstract：Nowadays，functional modeling and fault analysis are separated for safetycritical software in complex embedded system，in the areas of aeronautics and astronautics，nuclear power and others.It leads to the problem that functional model analysis is lack of safety property and the hazard getting from fault tree analysis can′t be avoided during functional design.State／Event fault Tree (SEFT) is a modeling technique for describing the causal relations which lead to functional failure in complex systems，it can unify functional modeling and fault analysis；but because of the lack of semantic precision，it can hardly be used directly for software safety analysis.A method for software safety analysis based on SEFT is presented in this paper.Firstly，translate SEFT to state machine addition with fault semantic messages by means of mapping elements together with translating logic gates；after which，translate state machine to timed automata；at last，test software safety to collect counterexamples for analysis using model checker UPPAAL.A case study of gas burner control system is given in this paper.
王思琪,黄志球,黄传林,陈光颖,潘诚. 一种基于状态事件故障树的软件安全性分析方法研究[J]. 小型微型计算机系统, 2016, 37(1): 12-17.
WANG Siqi,HUANG Zhiqiu,HUANG Chuanlin,CHEN Guangying,PAN Cheng. Method Based on State／Even Fault Tree for Safety Analysis of Software. Journal of Chinese Computer Systems, 2016, 37(1): 12-17.
2016, Vol. 37 
