基于模型的飞行管理系统安全性分析 |
| |
作者姓名: | 刘俊杰 姚军军 谢轶俊 李文辉 |
| |
作者单位: | 航空工业陕西飞机工业(集团)公司,汉中723213,空装驻汉中地区军事代表室,汉中723000,中国航空无线电电子研究所,上海200241,中国航空无线电电子研究所,上海200241 |
| |
摘 要: | 提出一种基于模型的飞行管理系统安全性分析实施方法,首先对飞行管理系统进行了功能危害性分析,
识别了各项功能的失效状态及其影响,确定了失效状态的分类和失效概率要求。然后采用形式化语言AltaRica
对飞行管理系统模型进行了描述,借助商用软件对飞行管理系统进行了AltaRica 建模和故障树分析。分析过程
表明,基于模型的安全性分析,清晰直观,适合工程应用,是一种简单高效的安全性分析方法。
|
关 键 词: | 飞行管理系统 安全性分析 AltaRica 飞行制导 |
收稿时间: | 2020-02-22 |
修稿时间: | 2020-05-19 |
本文献已被 万方数据 等数据库收录! |
| 点击此处可从《航空电子技术》浏览原始摘要信息 |
|
点击此处可从《航空电子技术》下载全文 |
|