首页 | 本学科首页   官方微博 | 高级检索  
     

基于模型的飞行管理系统安全性分析
作者姓名:刘俊杰  姚军军  谢轶俊  李文辉
作者单位:航空工业陕西飞机工业(集团)公司,汉中723213,空装驻汉中地区军事代表室,汉中723000,中国航空无线电电子研究所,上海200241,中国航空无线电电子研究所,上海200241
摘    要:提出一种基于模型的飞行管理系统安全性分析实施方法,首先对飞行管理系统进行了功能危害性分析, 识别了各项功能的失效状态及其影响,确定了失效状态的分类和失效概率要求。然后采用形式化语言AltaRica 对飞行管理系统模型进行了描述,借助商用软件对飞行管理系统进行了AltaRica 建模和故障树分析。分析过程 表明,基于模型的安全性分析,清晰直观,适合工程应用,是一种简单高效的安全性分析方法。

关 键 词:飞行管理系统  安全性分析  AltaRica  飞行制导
收稿时间:2020-02-22
修稿时间:2020-05-19
本文献已被 万方数据 等数据库收录!
点击此处可从《航空电子技术》浏览原始摘要信息
点击此处可从《航空电子技术》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号