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

摘要 随着嵌入式系统在能源、交通等安全关键领域的广泛应用，针对软件模型的安全性分析与验证方法一直是学术界和工业界的研究热点之一．功能模型和安全需求分析模型是分析嵌入式安全关键系统的两个重要方面，但两种模型一般都被分开使用．提出了一种将故障树分析扩展到SysML活动图模型的方法和故障扩展SysML活动图的概念，统一了系统的功能模型与安全需求分析模型．在保留故障树和SysML活动图两种模型的语义描述的基础上，给出了故障树逻辑门的转换规则和故障树模型到SysML活动图模型的转换步骤．最后，运用文中提出的方法，通过对一个小型燃气灶控制系统进行案例分析，证明了文中方法的可行性和有效性