【摘 要】
：
提出一种基于模型的飞行管理系统安全性分析实施方法,首先对飞行管理系统进行了功能危害性分析,识别了各项功能的失效状态及其影响,确定了失效状态的分类和失效概率要求。然
【机 构】
：
航空工业陕西飞机工业（集团）公司,空装驻汉中地区军事代表室,中国航空无线电电子研究所
论文部分内容阅读
提出一种基于模型的飞行管理系统安全性分析实施方法,首先对飞行管理系统进行了功能危害性分析,识别了各项功能的失效状态及其影响,确定了失效状态的分类和失效概率要求。然后采用形式化语言AltaRica对飞行管理系统模型进行了描述,借助商用软件对飞行管理系统进行了AltaRica建模和故障树分析。分析过程表明,基于模型的安全性分析,清晰直观,适合工程应用,是一种简单高效的安全性分析方法。
其他文献
日本一个研究小组最近证实，在使用量正常的情况下．不含金属等杂质的纯净碳纳米突对人体细胞基本无害。
堆式锌银电池是由若干单元件和正、负极极片叠加组合而成,结构紧凑,体积比能量高。本文对堆式锌银电池放电故障进行分析,经过试验观察验证,归纳出几种常见原因:单元件局部电
基于无人机模拟飞行的虚拟视景显示技术是三维可视化显示研究的一个重点,虚拟视景实时同步显示是三维可视化实现中必须解决的一个难题。本文分析了实现无人机模拟飞行三维虚拟视景系统的基本结构、实现过程以及显示方式,提出了无人机模拟飞行三维虚拟视景可视化空间信息动态同步、多方位、多视角的显示方式及显示的关键技术。
在综合无线电平台中,根据硬件平台通用化要求,需要选择一种总线同时满足CNI不同波形的中频数据传输对延时、带宽和误码率的要求。本文针对不加协议的GTX和加上高速串行通信协