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

• 作者: 刘俊杰 姚军军 李文辉 谢轶俊
• 来源期刊: 航空电子技术
• 学科: 航空航天
• 关键词: 飞行管理系统 安全性分析 AltaRica 飞行制导
• 年，卷（期）: 2020,（2）
• 所属期刊栏目: 系统与综合
• 页码范围: 6-10
• 页数: 5页
• 分类号: V328
• 字数: 3450字
• 语种: 中文
• DOI: 10.12175/j.issn.1006-141X.2020.02.00

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李文辉		2	0	0.0	0.0
2	谢轶俊		3	0	0.0	0.0
3	姚军军		1	0	0.0	0.0