中文摘要：

随着嵌入式系统在能源、交通等安全关键领域的广泛应用,针对软件模型的安全性分析与验证方法一直是学术界和工业界的研究热点之一.功能模型和安全需求分析模型是分析嵌入式安全关键系统的两个重要方面,但两种模型一般都被分开使用.提出一种将故障信息扩展到状态图模型的方法和故障扩展状态图的概念,同时构建了故障信息和状态图元素之间的语义映射表,给出了故障树逻辑门的转换规则,设计了一个基于故障扩展状态图的模型转换与验证框架,并给出了利用映射表自动构建故障扩展状态图的算法.最后,运用文中提出的方法,通过对一个小型燃气灶控制系统进行案例分析,证明了文中方法的可行性和有效性.

英文摘要：

Embedded systems have been widely applied in safety-critical areas such as energy, transportation, etc. The safety analysisand verification for software model have always been one of the hot topics in both academia and industry. Functional model and safetyanalysis model are two important aspects of safety-critical embedded systems. However, they are often conducted separately. In this pa-per, an approach for integrating fault information into statechart functional model and a new concept called fault-extended statechart arepresented. The approach builds a semantic mapping table from fault information to statechart elements. It also gives a set of conversionrules to transform the gates of fault trees into statechart notations. Besides, a framework for model transformating and validating basedon fault-extended statechart is designed. And an algorithm which uses semantic mapping table to build fault-extended statechart auto-matically is provided. Finally, a case study of a gas burner control system is given to explain the feasibility and effectiveness of our ap-proach.