一种三余度飞控系统的可靠性和MTBF分析方法

本发明属于民机飞控系统验证的技术领域，具体涉及一种三余度飞控系统的可靠性和MTBF分析方法。包括：步骤1：构造三余度飞控系统和故障的整合形式化模型；步骤2：基于三余度飞控系统和故障的整合形式化模型，构造单点故障统计数学模型，并将整合形式化模型和单点故障统计数学模型整合为三余度飞控系统模型；步骤3：采用统计模型检验方法对三余度飞控系统模型进行分析得到三余度飞控系统模型的可靠性；步骤4：设置不同的系统运行时间和单点故障发生概率，多次执行步骤3，得到不同的系统运行时间和故障发生概率下的可靠性，即，MTBF。