基于SPIN的系统级失效模式与影响分析方法研究.pdfVIP

????年 ?月? 机械设计与制造工程? ???．????? 第 ??卷 第 ?期? ???????????????????????????????????????????? ???．?????．?? ???：??．????／?。????．????— ????．????．??．???? 基 于 ????的 系统 级 失效 模 式 与影 响分 析 方 法研 究? 顾 益 ，黄 志球? ?南京航空航天大学 计算机科学与技术学院 ，江苏 南京 ???????? 摘要 ：为保证关键软件 系统的安全性和可靠性 ，对软件失效模式与影响分析方法在 实际应用中存? 在 的 问题 进 行 了分析研 究 ，结合模 型检 验技 术提 出 了一 种基 于 ????的 系统级 失 效模 式与影 响 分? 析方法。该方法运用 ????模型检验工具 的验证和模拟功能，有效提 高了失效模式分析的准确性? 和 充分 性 。此外还 结合 某 型航 空发 动机 控 制 系统介 绍 了一 个应 用 实例 ，证 明 了该 方 法在 工 程 实? 践 中的可行性 。? 关 键词 ：模 型检 验 ；?????；????；???????；失 效模 式? 中图分类 号 ：?????? 文献 标识 码 ：?? 文 章编 号 ：????— ????????????— ????— ??? 随着计算机软硬件系统 的 ??益复杂 ，保证软件? 拟功能 ，在传统 ?????过程 的失效模式 提取 、失? 系统的安全性和可靠性 已成为 日益 紧迫 的问题。? 效原 因分析 、失效影 响分析和改进措施的提出等多? 在软件设 计 的早期 ?如需 求分 析 或 概要 设计 阶? 个步骤中帮助分析工作更加有效地进行 。? 段 ?，尽可能多地找到软件系统 的潜在失效模式能? 极大地降低分析成本 ，从根本上保证软件系统的安? ?? 基于 ????的系统级 ?????方法? 全性和可靠性 。? 本文针对传统 ?????方法精确性低 、客观性? 研究发现，传统的安全性分析方法— — 软件失? 差 、工作量 大等问题 ，提 出了基于 ????的系统级? 效模 式 与 影 响 分 析 ???????????????????????????? ?????方 法 。该方 法应 用在 软 件开 发 的需 求 分 析? ??????????????，??????? — — 在实际应用中存在? 或概要设计阶段 ，目的是对软件体系结构和高级设? 着许多问题。首先 ，传统的 ?????过分依赖分析? 计进行安全性评估和分析 ，在软件实现之前为改进? 人员 的技能和经验 ，使得分析效率较低并且分析结? 软件设计提供依据 ，从而提高软件系统 的安全性和? 果不够精确