Abstract：Embedded systems have been widely applied in safetycritical areas such as energy，transportation，etc.The safety analysis and verification for software model have always been one of the hot topics in both academia and industry.Functional model and safety analysis model are two important aspects of safetycritical embedded systems.However，they are often conducted separately.In this paper，an approach for integrating fault information into statechart functional model and a new concept called faultextended statechart are presented.The approach builds a semantic mapping table from fault information to statechart elements.It also gives a set of conversion rules to transform the gates of fault trees into statechart notations.Besides，a framework for model transformating and validating based on faultextended statechart is designed.And an algorithm which uses semantic mapping table to build faultextended statechart automatically is provided.Finally，a case study of a gas burner control system is given to explain the feasibility and effectiveness of our approach.
曹德建,黄志球,陆陈,陈光颖,仵志鹏. 将故障信息扩展到功能模型的安全性分析方法研究[J]. 小型微型计算机系统, 2016, 37(1): 24-32.
CAO Dejian,HUANG Zhiqiu,LU Chen,CHEN Guangying,WU Zhipeng. Research of Safety Analysis Based on Integrating Fault Information into Functional Model. Journal of Chinese Computer Systems, 2016, 37(1): 24-32.
2016, Vol. 37 
