某机载计算机高速串口驱动程序故障分析

某机载计算机主要完成通信数据处理功能,通信参数初始化文件和数据记录文件存储电子盘中,文件通过高速串口完成上载下载,在完成通信参数初始化文件编辑后上载到目标机中,在上载过程中频繁出现机器重启,为故障分析建立了模拟测试环境,通过分析故障现象以及驱动程序代码,查找到故障原因,并给出了解决故障的方法,在测试环境下进行了验证.     

综合模块化航电软件仿真测试环境研究

 伴随着综合模块化航空电子(IMA)软件在新一代飞机上的应用,其高复杂性、高度综合的特点以及分层的健康监控和故障管理模式给软件测试提出了挑战。传统的仿真测试环境在应对IMA软件测试中难以满足RTCA DO-178B中规定的对验证过程结果的验证的要求。本文在分析IMA软件特点的基础上,根据DO-178B的要求,综合国外的发展情况和国内的研究进展情况,研究综合模块化航电软件仿真测试环境需求,提出了基于软件故障注入的综合模块化航电软件灰盒仿真测试环境方案,并给出优势分析。该仿真测试环境方案以IMA软件为测试对象,应用软件故障注入技术和代码插装技术满足测试规范文件的要求。其具有通用灵活、适配性强、强实时性等特点,为中国新一代航电软件的系统验证和测试奠定了基础。     

某电源管理仿真测试环境软件的设计与实现

介绍了某电源管理的仿真测试环境软件的设计与实现,仿真测试环境硬件采用工业控制计算机,软件采用图形化语言LABVIEW来实现。仿真测试环境为电源管理提供完整的虚拟的运行环境。在仿真测试环境中用运行图实时地显示电源管理的运行状态,且能动态的设置仿真测试环境的状态,改变电源管理的运行环境。本仿真测试环境具有良好的人机交互界面,能够实时地与电源管理进行交互。     

基于DO-178C的机载软件质量保证与管理

DO-178C 作为机载软件适航可接受的符合性标准,明确要求机载软件综合过程中必须包含软件质量保证（SQA）过程。以机载软件的软件生命周期定义、过程和数据为基础,从目标、活动和符合性评审三个方面分析基于DO-178C 的软件质量保证过程的实施;结合软件项目质量管理技术和工具,从规划软件质量管理、管理软件质量和控制软件质量三个过程研究基于DO-178C 的软件质量管理方法并给出工程实践建议。结果表明：本文将软件质量保证与质量管理紧密结合,形成了适航要求的相关证据,提供了符合需求的民用机载软件,有效保证了机载软件的质量和持续改进措施。     

机载嵌入式系统基准测试方法

性能评测是查找嵌入式计算机系统性能瓶颈、指导设备选型、平衡相关部件、优化系统结构以及提高系统实际性能的重要方法。在介绍了机载嵌入式计算机系统性能评测的指标和基本方法之后,重点分析了使用基准测试程序的测试方法和特点,以及基准测试方法的对比测试原理、不同测试环境的构建以及主要测试过程;选取了SPEC CPU 2000基准测试程序集针对机载嵌入式环境进行裁剪和移植,对某国产机载嵌入式实时操作系统分别以不同的嵌入式操作系统、嵌入式文件系统和编译选项为变量参数进行对比测试,得出了国产操作系统与国外同类商用操作系统运行实际应用程序的性能基本相当的结论,另外也得出文件系统对计算类基准程序的结果影响较小以及编译优化后能够大幅提高嵌入式系统性能等结论。     

数理统计方法在部件故障控制中的应用研究

机载部件的可靠性直接影响航空器的安全运行。本文通过对机载部件使用寿命的统计和失效分析,对部件的故障提出了有效的控制方法,并举例说明了此方法在维护中的使用。     

嵌入式软件自动化测试平台的研究与实现

随着嵌入式系统的广泛应用,对其软件进行完善而又高效的测试成为必须.本文提出了一种联系宿主机和目标机的自动化测试平台.该平台分为宿主机端的测试管理和目标机端的测试代理,实现了代码自动插装、脚本自动化批量执行、功能测试、分支覆盖、数据通信和测试结果报告生成等功能.     

国产民用飞机项目机载软件及电子硬件技术评价方法研究

在民用飞机项目中机载软件与电子硬件需满足额外的适航审定标准。针对这些标准,主制造商对机载软件与电子硬件也相应有一系列额外的技术评价任务。结合实际工作经验,以若干国产民机项目过程中机载软件和电子硬件的技术评价活动为研究对象,提出一套具体可行的民机项目主制造商对各类机载软件和电子硬件进行技术评价的方法。该方法已在若干民机项目型号的机载软硬件生命周期过程管控、表明符合性和支持适航审查活动中全面运用,基本形成高效、可为适航局方面接受的管理体系。     

飞行管理系统性能计算策略分析

根据飞行管理系统机载软件对于性能计算的需求,提出了理论公式计算方法和插值计算方法,对于传统的理论公式计算方法进行了延迟时间数据分析.对以上两种计算方法分别从计算过程、软件工程、系统工程三个方面进行了分析和比较后得出,插值计算方法在机载飞行管理系统软件中是比较合理的方法.针对大型客机先进的航空电子系统,描述了以上两种计算方法分别在电子飞行包软件和飞行管理机载软件中的不同应用和联系.     

机载电子设备屏蔽效能测试与优化

随着航空工业的发展,高强辐射场（HIRF）对机载电子设备的影响越来越大。因此开展对飞机上已经投入使用的机载电子设备屏蔽效能的测试与优化的研究具有重要的意义。基于RTCA/DO-160G和GJB 5185—2003建立HIRF的测试环境,在该电磁环境下对机载电子设备进行屏蔽效能的测试,分析了不同测试位置、不同入射面以及不同极化方式对屏蔽效能的影响。获得了机载通信设备的主要耦合通道,并针对不同耦合通道提出了通用性的优化方法。研究结果可为机载电子设备HIRF的测试以及屏蔽体的优化提供参考意见。     

基于目标战略优先级与精度自适应的效能函数的机载多传感器管理

传感器管理在数据融合系统中起着重要作用,机载多传感器系统通常面临着资源受限的状况,如传感器最大跟踪数量小于目标数量,无法保证所有传感器拥有相同精度与参照系等。因此,本文提出了一种基于目标战略优先级与精度自适应的效能函数的多传感器管理算法。首先,将空中目标的自身属性部分量化以得到目标战略优先级;再利用目标的跟踪精度、传感器测量精度和期望的跟踪精度之间的关系,定义了精度预提升矩阵和精度缺乏矩阵。再将上述两部分结合构建目标函数,运用整数线性规划的方法进行优化。最后,仿真试验设置了包括三个机载传感器对4个目标的跟踪任务,对比其他文献中的结果,显示出本文算法更为合理、有效。     

机载软件质量评价方法研究

本针对当前软件质量评价中度量元不具体、数据不易采集等问题,在分析机载软件特点和项目总体单位对软件产品质量管控需求的基础上,提出一种完整的、工程上易实施的软件质量评价方法,采用工程上易实施的度量元指标构建软件质量评价模型,通过加权平均的方法逐层计算软件质量评价模型中各级指标度量结果,最终得到软件综合质量评价结果,解决了定量评价软件的难题。     

TIA前机载软件成熟度评估的相关研究

率先引入rFAA（美国联邦航空局）提出的软件成熟度的概念。局方正式签发TIA（型号检查核准书）前,在软件的构型和符合性均未达到最终冻结状态的情况下,通过对软件的成熟度进行有效评估,可以为验证试飞前软件的工程批准提供有力的支持与保障,在一定程度上降低局方飞行试验的风险,保障适航验证试飞活动的顺利开展。由于机载软件成熟度足一个新兴的概念,目前局方（FAA、CAAC）对于如何进行成熟度评估尚未形成正式的、通用的政策性指导文件,国内主机厂对此问题也没有相关的处理经验和具体的操作方法。基于机载软件本身的特点,参考局方在机载软件审查时的主要关注点,提出了TIA前机载软件成熟度评估的基本考虑要素与分析重点。     

面向适航认证的模型驱动机载软件构件的安全性验证

 在软件开发的过程中为适航认证提供证据,已成为机载软件开发的研究热点。现代复杂机载软件多为构件化分布式架构,如何有效验证构件之间安全性依赖关系与适航认证标准当中规定目标的一致性,是机载软件设计阶段的一个重要问题。首先,使用系统建模语言(SysML)块图建立带有安全性特征的系统静态结构模型,将其转换为块依赖图以便进行精确的形式化描述。在此基础上给出形式验证方法,检验系统静态结构模型中的安全性依赖关系与适航认证标准中所规定目标之间是否一致。最后,通过一个飞机导航系统的例子说明如何将该方法应用于机载软件开发的过程中。利用这种方法对系统静态结构模型的安全性依赖关系进行验证,能够提高系统整体的安全性,并为适航认证提供证据。     

基于 FACE 思想的软件通用运行环境设计

未来机载能力环境（FACE）思想由美国军方、工业界和学术界共同发起,它针对机载航空电子软件系统提出了一种新的业务模型和参考架构。通过制定参考架构核心元素间的接口标准以及定义基于共识的通用数据模型可以为软件模块的跨平台重用提供便利。本文通过分析 FACE 参考架构的核心思想,结合实现层面的具体考虑,提出了软件通用运行环境的设计方案,旨在硬件计算平台上进一步搭建一个软件计算平台,使得应用软件模块在能够正常运行的基础上尽可能地实现“一次开发,多次应用”。     

民机主制造商对MBD软件供应商工程监控过程研究

基于模型的软件开发技术(Model-Based Development,简称MBD)具有可视化建模与仿真、自动生成符合适航要求的代码等特点,已在民用飞机机载设备研发领域被逐渐推广应用。越来越多使用MBD技术开发的机载软件的涌现,给民机机载软件适航符合性工作带来了前所未有的挑战。为解决这一问题,美国航空无线电技术委员会于2011年底发布了DO-178C作为民用航空界认可的机载软件符合性方法,并在此基础上发布了DO-331作为专门针对机载软件MBD技术的适航符合性要求的补充说明。通过对DO-178C和DO-331标准中MBD软件适用目标的研究,结合工程实践,总结归纳了一套民用飞机主制造商对MBD软件供应商的软件研发过程管控要求,用于在向适航当局表明符合性时提高适航置信度,以期对主制造商和供应商在处理MBD软件方面提供参考。     

光纤通道环形网络仿真环境的研究与实现

近年来光纤通道(FC)技术高速发展逐步进入到航空电子系统。面向机载实时通信需求,本文研究了FC网络五层体系结构,论述了环形拓扑结构的FC网络仿真环境的设计目标与方案,重点说明了FC环形网络仿真环境的硬件平台、驱动软件和仿真软件的设计。实际验证运行结果说明:该仿真环境能为机载FC环形互连网络的开发提供仿真与测试条件。     

机载嵌入式动态可重构计算机设计

动态可重构技术在降低机载嵌入式计算机的体积、重量和功耗方面有巨大的潜力。分析机载应用环境对嵌入式计算机的要求,探讨部分可重构和软件可编程重构两种动态可重构方法,并针对机载嵌入式计算机的需求,从硬件资源利用率、系统灵活性和系统可维护性等方面详细分析比较了两种动态可重构方法。基于部分可重构方法,提出了一种高性能、高灵活的体系结构,有效提高了系统资源利用率,具有深远的军事应用前景。     

民用飞机机载软件计划阶段评审方法研究

民用飞机机载软件的合格审定是民用飞机适航取证工作的重要内容,机载软件计划阶段评审是机载软件合格审定过程的重要里程碑,直接影响民用飞机主制造商的软件研制进度和适航取证进度。本文结合我国民用飞机机载软件研制过程中计划阶段工程评审与适航审查的经验,总结了适合我国国情的机载软件计划阶段评审的方法和流程,并对此过程中有关的重要问题进行了论述。     

民用飞机主制造商机载软件更改策略研究

在"主制造商-供应商"的飞机研制体系下,供应商负责研制机载软件并交付给主制造商,主制造商完成系统集成试验和飞机级试验。机载软件更改会对主制造商飞机研制工作产生影响,包括工作量、进度、成本等方面。首先识别了机载软件更改起因,对不同类别的更改进行分类,同时分析了机载软件更改对主制造商飞机研制工作的影响,包括由机载软件更改引起的额外工作以及研发成本,最后从机载软件快速转换、软件加载以及主制造商验证试验方面提出了主制造商机载软件更改策略,从而降低机载软件更改对主制造商飞机研制活动的不利影响。