基于模型检测的机电系统FMEA研究

摘要：

失效模式与影响分析(Failure modes and effects analysis, FMEA)是一种重要的设计评审和可靠性评估手段，但传统FMEA是非形式化的，分析烦琐且容易出错。将形式化技术引入机电系统 FMEA，提出基于模型检测的机电系统 FMEA 方法。基于机电系统中的状态和事件，研究机电系统行为过程的形式化建模，针对单元失效建立面向 FMEA 的系统形式化模型；基于计算树逻辑(Computation tree logic, CTL)对机电系统的潜在故障进行形式化规约，并以潜在故障的否定命题构建待验证的系统行为属性；借助于模型检测工具遍历系统状态空间来检验系统是否满足行为属性，从而辨识系统单元失效与系统潜在故障之间的关系，实现基于模型检测的机电系统FMEA；将上述方法应用到数控机床进给系统，通过模型检测成功辨识出限位开关失效所导致的系统故障，验证了该方法的可行性。

关键词：FMEA、模型检测、可靠性评价、机电系统

所属期刊栏目：52

分类号：TH122

资助基金：国家自然科学基金资助项目51375365

在线出版日期：2016-10-31（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：162-168