摘要—软件故障模式和影响分析 (SFMEA) 是一种系统安全分析技术,广泛应用于航空航天、汽车和其他安全关键型系统。FMEA 方法难以识别和分析由接口或功能之间的动态逻辑信息(例如软件-硬件交互)引起的故障模式。为了直观地假设模块故障对系统的影响,已经提出了许多方法。这项工作通过对安全关键型嵌入式控制系统进行实验来解决 SFMEA 的使用问题。本文介绍的工作提供了一个通用示例,说明了 SFMEA 应用于几乎没有或根本没有硬件保护的基于微处理器的计算机控制系统。本文展示了功能 FMEA、接口 FMEA 和详细软件 FMEA 在安全关键型软件系统中的应用。通过 SFMEA 方法,解决了硬件故障和软件故障。安全分析揭示了几个设计缺陷和物理故障,并提出了修改建议。本文还表明,如果在软件开发生命周期的正确阶段正确实施 SFMEA,则需求、设计和代码审查将更加有效。它还可以识别由软件导致的单点故障。本文介绍的工作可以推广并应用于任何安全关键嵌入式领域的设计师未来使用
摘要—软件故障模式和影响分析 (SFMEA) 是一种系统安全分析技术,广泛应用于航空航天、汽车和其他安全关键型系统。FMEA 方法难以识别和分析由接口或功能之间的动态逻辑信息(例如软件-硬件交互)引起的故障模式。为了直观地假设模块故障对系统的影响,已经提出了许多方法。这项工作通过对安全关键型嵌入式控制系统进行实验来解决 SFMEA 的使用问题。本文介绍的工作提供了一个通用示例,说明了 SFMEA 应用于几乎没有或根本没有硬件保护的基于微处理器的计算机控制系统。本文展示了功能 FMEA、接口 FMEA 和详细软件 FMEA 在安全关键型软件系统中的应用。通过 SFMEA 方法,解决了硬件故障和软件故障。安全分析揭示了几个设计缺陷和物理故障,并提出了修改建议。本文还表明,如果在软件开发生命周期的正确阶段正确实施 SFMEA,则需求、设计和代码审查将更加有效。它还可以识别由软件导致的单点故障。本文介绍的工作可以推广并应用于任何安全关键嵌入式领域的设计师未来使用
FMEA(失效模式与影响分析)是一种分析系统各个部件可能发生的所有失效模式,并确定对系统可能产生的所有影响的方法。该方法最早在美国军工领域发展起来。FMEA作为当今可靠性领域一项重要的分析技术,既应用于软件系统,也应用于硬件系统。针对FMEA过程中如何避免人工分析的不确定性,如何应用FMEA提高分析的准确性和效率等问题,本文提出了一种基于模型的提高FMEA分析效率的新技术。该技术在对分析对象的信息提取、对分析数据的分析和管理等方面都优于以往的软件产品。因此,对发现系统流程、提高系统可靠性、减少软件产品的失效有显著的效果。
图 2.1 技术分析程序 (T ENG 和 H O , 1996) .............................................. 8 图 2.2 DFMEA 格式 .............................................................................. 11 图 2.3 PFMEA 格式 .............................................................................. 12 图 2.4 推荐的 DFMEA 小组 (D ALE , 1991) ...................................................... 24 图 2.5 推荐的 PFMEA 小组 (D ALE , 1991) ...................................................... 24 图 3.1 研究方法 ...................................................................................... 31 图 3.2 项目时间表 ...................................................................................... 34 图 4.1 基于现状产品的质量控制过程 ................................................ 37 图 4.2 FMEA 框架的当前绩效和需求 ...................................................... 45 图 5.1 DFMEA 和 PFMEA 之间的相互关系 ...................................................... 51 图 5.2 航空航天公司使用的 F 法兰 ...................................................................... 55 图 5.3 F 法兰制造工艺流程图 ...................................................................... 58 图 5.4 航空航天公司的集成 FMEA 框架 ............................................................. 64 图 5.5 新产品质量控制流程 ............................................................................. 65
故障模式和影响分析 (FMEA) 是一种推断系统或系统组件故障可能导致的系统危害的技术。传统上,FMEA 不考虑这些故障可能发生的概率。最近,通过将随机模型检查技术集成到 FMEA 流程中来解决此缺点。进一步的改进是集成了随机模型反例生成技术,我们在本文中提出了这一技术。反例通过提供哪些组件对整个系统故障贡献最大的信息,促进了潜在不安全系统的重新设计。通过将这种新颖的 FMEA 流程方法应用于我们的工业合作伙伴 TRW Automotive GmbH 提供的安全气囊系统案例研究,说明了其实用性。