基于概率模型检测的机电系统动态可靠性评价

为克服传统动态可靠性分析方法的不足，提出基于概率模型检测的机电系统动态可靠性评价方法。介绍了概率模型检测的概念及概率模型检测工具PRISM。用形式化建模语言描述系统单元的状态变迁过程，建立了机电系统的形式化模型。利用连续随机逻辑对机电系统可靠性评价指标进行形式化描述，建立了可靠性指标的规约表达式，借助概率模型检测工具自动解算可靠性指标，实现了基于概率模型检测的机电系统动态可靠性评价。所提方法建模过程简单，能有效提高机电系统动态可靠性分析的效率。

Dynamic Reliability Evaluation Approach for Electromechanical Systems Based on Probabilistic Model Checking

To overcome the shortcomings of the traditional dynamic reliability analysis methods， a dynamic reliability evaluation approach for electromechanical systems was proposed based on probabilistic model checking.The concept of probabilistic model checking and a probabilistic model checker PRISM were introduced. State transitions of system components were represented using formal modeling language provided by the model checker， from which the formal model of electromechanical systems was built. Reliability indices were described by means of continuous stochastic logic formulas to establish the formal specifications of the reliability indices. Based on the formal model and formal specifications， reliability indices were computed automatically with the probabilistic model checker， and therefore dynamic reliability evaluation was achieved based on probabilistic model checking. The approach presented herein simplifies the modeling processes and improves the efficiency of dynamic reliability analysis for electromechanical systems.