摘要：针对软件开发中的一种软件验证技术———形式化验证技术进行研究,分析这种方法的原理和应用情况,并使用一个实例来说明这种方法在基于模型的软件开发中的使用方式,由这个过程可以看出,这种基于模型的形式化验证技术对于传统的软件验证方法来说是个有力的补充,对于一些高安全性的软件来说使用这种验证方式能有效提高软件的可靠性。

摘要：随着民用飞机机载软件研制过程工具化自动化程度的提高,软件生命周期工程环境的建立必须从多方面进行权衡考虑。从适航合格审定角度探讨了软件工具在民用飞机领域的鉴定工作。

摘要：IMA系统是民用大型客机航电系统架构设计的核心,它能够为综合化航电、非航电系统提供运算、通信以及输入输出(I/O)资源。该文对IMA平台架构进行了分析,并针对分布式IMA平台设计方法进行了研究,希望对IMA系统设计有指导意义。

摘要：通信系统的试验室仿真系统主要由甚高频仿真器、高频仿真器、卫通仿真器等通信子系统的仿真器组成。可以验证所研制设备的功能、输入输出接口的正确性。

摘要：针对某型飞机失速保护系统,分析了上电短暂抖杆问题,运用故障树分析方法初步定位了问题原因,研究了问题现象与机理,深入分析了失速保护系统的信号传输与失速保护计算机的启动时间,准确定位了问题的根本原因,并提出了一种解决方案。

摘要：本文详细分析了最新发布的APR-4754A,DO-297和AC20-170,通过横向比较和纵向分析,形成了一套较完整的国内民用飞机IMA系统取证策略,该取证策略和步骤在某民用飞机上的成功应用验证了其可行性。

摘要：随着民用飞机机载软件研制过程规范化,软件需求的开发的流程化能够提高适航的置信度。

摘要：针对某机型失速保护系统,分析了系统迎角零向跳变故障;应用故障树分析法,初步定位了故障原因;研究了故障现象与机理,准确捕捉到接口程序时序紊乱的软件缺陷;提出了一种切实可行的解决方案,工程实践验证了该方案的可行性。

摘要：机载综合监视系统(I S S)作为目前先进大型客机航空电子系统的重要组成部分,主要实现气象、交通、地形监视功能。本文简单介绍了综合监视系统的功能和组成,并对其原理和特点进行了分析和阐述,给出了遵循ARINC 768标准的综合监视系统架构,并对综合监视系统的现状和发展趋势进行了探讨。

摘要：ATC数据链的应用极大的改善了传统的语音通信,其人机交互界面的设计对飞行员的操作有着举足轻重的意义。文章分析了ARINC623和DO-219规范文件,研究了基于多功能显示技术的ATC人机界面一体化技术,创新性的提出采用大屏幕显示器代替传统的MCDU,给出了完整的设计方案。该技术的研究,有效的提高了ATC消息的可读性和可操作性,降低了飞行员的培训成本。