A Reliability Assessment Method for Complex Electromechanical Systems Based on Model Checking Technology

Abstract

The invention discloses a model detection technology based complicated electromechanical system reliability assessment method. Reliability analysis formalization modeling and reliability requirement formalization expression are conducted on a complicated electromechanical system, so that a computer automatically judges whether the system meets the requirement for expected set reliability index or not and calculates the reliability of the system and occurrence probability of various failure modes by utilizing a model detection tool. By means of the model detection technology based complicated electromechanical system reliability assessment method, the shortcoming of the complicated modeling and assessment process of a traditional electromechanical system reliability assessment method is overcome, and reliability assessment efficiency and accuracy of a complicated electromechanical system are improved.

Description

【Technical field】 [0001] The invention belongs to the field of electromechanical systems, in particular to a method for evaluating the reliability of complex electromechanical systems. 【Background technique】 [0002] At present, the most commonly used methods in the reliability assessment of complex electromechanical systems at home and abroad are the fault tree (FTA) analysis method and the failure mode and effect (FMEA) analysis method. But it is worth noting that: 1) FMEA needs to analyze the system failure (potential failure) that may be caused by the failure mode of the basic unit (system component), but this analysis process is qualitative and completed with the experience of domain experts, which is not only error-prone, Moreover, it is very cumbersome and time-consuming for complex electromechanical systems composed of a large number of components; 2) The FTA analysis method first needs to establish a fault tree (FTA itself cannot help to study the cause of the fault...

AI Technical Summary

Problems solved by technology

But it is worth noting that: 1) FMEA needs to analyze the system failure (potential failure) that may be caused by the failure mode of the basic unit (system component), but this analysis process is qualitative and completed with the help of domain experts’ experience, which is not only error-prone, Moreover, it is very cumbersome and time-consuming for complex electromechanical systems composed of a large number of components; 2) The FTA analysis method first needs to establish a fault tree (FTA itself cannot help to study the cause of the fault and its relationship, and then build a fault tree), and the tree building process Complex, not only need to completely determine each fault event and its cause events, but also require an accurate description of the logical relationship between each event

If the fault events (failure modes) in the fault tree nodes are not correctly identified in advance, or the causal relationship between fault events is not accurate, the reliability evaluation based on the fault tree will lose its meaning

Images