基于多模型的飞控系统概率非概率跨域混合分析验证方法

本发明涉及形式化分析与验证技术领域，具体涉及一种基于多模型的飞控系统概率非概率跨域混合分析验证方法，包括：由多种不同控制系统的典型故障案例确定初步安全性要求对所述初步安全性要求进行知识迁移，得到飞控系统安全性要求；由飞控系统已有故障案例和飞控系统文档资料确定飞控系统重点风险要求；对所述飞控系统安全性要求和所述飞控系统重点风险要求进行处理，得到非概率分析属性验证结果；对所述飞控系统安全性要求和所述飞控系统重点风险要求进行分析，得到多模型故障发生概率；得到飞控系统的分析验证结果；本发明能够提高飞控系统分析与验证的充分性和完备性。