• 图片出处
文献标题: 基于SPIN的系统级失效模式与影响分析方法研究
文献来源: 顾益;黄志球;  机械设计与制造工程  2013年  05期
文献关键词: 模型检验SFMEASPINPROMELA失效模式
文献摘要: 为保证关键软件系统的安全性和可靠性,对软件失效模式与影响分析方法在实际应用中存在的问题进行了分析研究,结合模型检验技术提出了一种基于SPIN的系统级失效模式与影响分析方法。该方法运用SPIN模型检验工具的验证和模拟功能,有效提高了失效模式分析的准确性和充分性。此外还结合某型航空发动机控制系统介绍了一个应用实例,证明了该方法在工程实践中的可行性。
全文图片
  • 正在努力加载………
    加载完成