故障模式和影响分析 (FMEA) 是一种推断系统或系统组件故障可能导致的系统危害的技术。传统上,FMEA 不考虑这些故障可能发生的概率。最近,通过将随机模型检查技术集成到 FMEA 流程中来解决此缺点。进一步的改进是集成了随机模型反例生成技术,我们在本文中提出了这一技术。反例通过提供哪些组件对整个系统故障贡献最大的信息,促进了潜在不安全系统的重新设计。通过将这种新颖的 FMEA 流程方法应用于我们的工业合作伙伴 TRW Automotive GmbH 提供的安全气囊系统案例研究,说明了其实用性。