将故障信息扩展到功能模型的安全性分析方法研究

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