基于故障扩展SysML活动图的软件安全性分析方法研究  

Research of Software Safety Analysis Based on Fault-extended SysML Activity Diagram

作　　者：曹德建 黄志球[1] 阚双龙[1] 黄传林 

机构地区：[1]南京航空航天大学计算机科学与技术学院,南京210016

出　　处：《小型微型计算机系统》2015年第9期2067-2074,共8页Journal of Chinese Computer Systems

基　　金：国家自然科学基金项目(61100034;61170043)资助;中国博士后科学基金项目(20110491411)资助;江苏省普通高校研究生科研创新计划项目;中央高校基本科研业务费专项项目(CXZZ11_0218)资助

摘　　要：随着嵌入式系统在能源、交通等安全关键领域的广泛应用,针对软件模型的安全性分析与验证方法一直是学术界和工业界的研究热点之一.功能模型和安全需求分析模型是分析嵌入式安全关键系统的两个重要方面,但两种模型一般都被分开使用.提出了一种将故障树分析扩展到Sys ML活动图模型的方法和故障扩展Sys ML活动图的概念,统一了系统的功能模型与安全需求分析模型.在保留故障树和Sys ML活动图两种模型的语义描述的基础上,给出了故障树逻辑门的转换规则和故障树模型到Sys ML活动图模型的转换步骤.最后,运用文中提出的方法,通过对一个小型燃气灶控制系统进行案例分析,证明了文中方法的可行性和有效性.Embedded system has been w idely applied in safety-critical areas such as energy,transportation,etc. The safety analysis and verification for softw are model has alw ays been one of hot topics in both academia and industry. Functional model and safety analysis are tw o important aspects of safety-critical embedded systems. How ever,they are often conducted separately. In this paper,w e present an approach for integrating fault tree analysis into Sys M L activity diagram functional model and a new concept called fault-extended Sys M L activity diagram. It unifies the functional model and the safety-requirement analysis of softw are. On the basis of maintaining the semantics description of both the fault tree and the Sys M L activity diagram,the approach provides a set of conversion rules to transform the gates of fault trees into Sys M L activity diagram notations and uses systematic transformation steps to integrate fault tree into Sys M L activity diagram. Finally,a case study of a gas burner control system is given to explain the feasibility and effectiveness of our approach.

关 键 词：嵌入式系统 安全性分析 SysML活动图 故障树分析 故障扩展Sys ML活动图 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]