故障扩展状态图相关硕士博士期刊学术论文 - 信丰网

故障扩展状态图相关论文

基于故障扩展状态图的软件安全性验证方法研究

随着计算机软件在安全关键领域的广泛应用，人们对软件安全性可靠性的要求越来越高。为了提高软件质量，针对软件模型的安全性分析方法......

学位

故障树分析状态图安全关键系统逻辑门转换规则模型检测

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

随着嵌入式系统在能源、交通等安全关键领域的广泛应用,针对软件模型的安全性分析与验证方法一直是学术界和工业界的研究热点之一.......

期刊

嵌入式系统安全性分析状态图故障树分析故障扩展状态图

看过本文同时还关注