基于故障耦合模型的增强飞行视景系统形式化建模与分析

摘要

增强飞行视景系统(EFVS)作为机载复杂电子系统,其常规失效分析复杂易出错。基于此,引入形式化建模概念,提出了一种基于故障耦合模型的EFVS形式化建模方法。通过EFVS功能交互模型,明确系统失效传播模式;对该系统的架构和数据流进行抽象,分层建立该系统的故障耦合形式化模型;引入模型检验工具对系统模型进行验证,并结合典型的系统失效状态进行自动化运算,获取该失效状态的故障树最小割集。结果表明,所提方法自动化程度高,有助于提高EFVS失效分析过程的效率。