基于模型的飞行管理系统安全性分析

作者：刘俊杰; 姚军军; 谢轶俊; 李文辉

来源：航空电子技术, 2020, 51(02): 6-10.

• 飞行管理系统
• 安全性分析
• AltaRica
• 飞行制导

提出一种基于模型的飞行管理系统安全性分析实施方法,首先对飞行管理系统进行了功能危害性分析,识别了各项功能的失效状态及其影响,确定了失效状态的分类和失效概率要求。然后采用形式化语言AltaRica对飞行管理系统模型进行了描述,借助商用软件对飞行管理系统进行了AltaRica建模和故障树分析。分析过程表明,基于模型的安全性分析,清晰直观,适合工程应用,是一种简单高效的安全性分析方法。

• 单位
  中国航空无线电电子研究所