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

摘要

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