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

• 作者: 伍小辉
• 来源期刊: 电光与控制
• 学科: 航空航天
• 关键词: 模型检验 EFVS 故障耦合 形式化方法 基于模型的安全性分析
• 年，卷（期）: 2022,（1）
• 所属期刊栏目: 工程应用|Engineering Application
• 页码范围: 105-110
• 页数: 6页
• 分类号: V241
• 语种: 中文
• DOI: 10.3969/j.issn.1671-637X.2022.01.022

摘要

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