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

发布时间：2018-08-28 13:06

【摘要】：失效模式与影响分析(Failure modes and effects analysis,FMEA)是一种重要的设计评审和可靠性评估手段,但传统FMEA是非形式化的,分析烦琐且容易出错。将形式化技术引入机电系统FMEA,提出基于模型检测的机电系统FMEA方法。基于机电系统中的状态和事件,研究机电系统行为过程的形式化建模,针对单元失效建立面向FMEA的系统形式化模型;基于计算树逻辑(Computation tree logic,CTL)对机电系统的潜在故障进行形式化规约,并以潜在故障的否定命题构建待验证的系统行为属性;借助于模型检测工具遍历系统状态空间来检验系统是否满足行为属性,从而辨识系统单元失效与系统潜在故障之间的关系,实现基于模型检测的机电系统FMEA;将上述方法应用到数控机床进给系统,通过模型检测成功辨识出限位开关失效所导致的系统故障,验证了该方法的可行性。
[Abstract]:Failure mode and impact analysis (Failure modes and effects analysis,FMEA) is an important design review and reliability evaluation method, but traditional FMEA is informal, cumbersome and error-prone. The formal technique is introduced into the FMEA, of electromechanical system. A model checking based FMEA method for electromechanical system is proposed. Based on the state and event in the electromechanical system, the formal modeling of the behavior process of the electromechanical system is studied, and the formal model of the system oriented to FMEA is established for the failure of the unit. Based on Computational Tree Logic (Computation tree logic,CTL), the potential faults of electromechanical systems are formalized, and the system behavior attributes to be verified are constructed with the negation proposition of potential faults. The model checking tool traverses the system state space to check whether the system satisfies the behavior attribute, so as to identify the relationship between the system unit failure and the potential fault of the system. This method is applied to the feed system of CNC machine tool based on the model detection of FMEA;. The system fault caused by the failure of limit switch is identified successfully by model checking, and the feasibility of the method is verified.
【作者单位】：西安交通大学机械工程学院;
【基金】：国家自然科学基金资助项目(51375365)
【分类号】：TH-39

【相似文献】