航空嵌入式软件测试环境确认方法研究

通过对国军标与DO-178B对航空嵌入式软件测试环境确认要求的对比与分析,提出了一种满足国军标与DO-178B要求的航空嵌入式软件测试环境确认方法。实际运用表明,方法灵活、高效、可操作性强,可以满足航空嵌入式软件测试环境确认的要求。     

基于故障注入的实时嵌入式软件仿真测试技术研究

由于强实时性、参与闭环控制、软硬件耦合及可靠性要求高等特点,飞行控制系统嵌入式软件在软件研制、测试及验收阶段往往缺少动态测试环境。本文在仿真测试技术基础上,针对飞行控制系统嵌入式软件的特点与测试需求,进行了基于故障注入技术的仿真测试技术研究,设计了一种实时嵌入式软件仿真测试平台方案。     

某民用飞机显示系统仿真器的设计与实现

航电系统仿真平台以其灵活方便和低成本特点,支持综合航电系统的预先研究、方案设计、详细设计、系统综合,成为综合航电系统研制过程中不可或缺的设计手段。给出了IMA系统仿真平台显示系统仿真器的详细的设计和实现方案,首先介绍了IMA系统仿真平台的组成,接着介绍了显示系统仿真器的组成架构,并对显示系统仿真器的硬件配置、航电网络配置、人机交互界面和逻辑处理进行了详细的介绍。最后经过IMA系统仿真试验样件验收测试程序的测试,验证了显示系统仿真器满足验收测试程序的各项功能和性能要求,满足了该型号显示系统仿真器的试验要求。     

综合模块化航空电子软件适航方法研究及其在CJ818飞机上的应用

在航电系统开放系统架构和综合模块化的思想指导下,航电系统的集成度越来越高,具体构型实现表现为IMA(综合模块化航空电子)核心处理系统加高速网络(AFDX)的形式。其中核心处理系统由多个LRM(外场可跟换模块)通用处理模块组成,通过软件高度集成实现飞行管理、中央维护、座舱显示、通信导航管理等功能。由于其软件功能高度集成、结构复杂、软件规模庞大,其适航过程复杂性上升。参照ASSAC、ARINC653等标准介绍了当前IMA软件技术的最新动态并对其开放式的架构深入研究,并根据RTCADO178B等已有的软件安全适航性认证规定,阐述了针对复杂航电软件的安全适航过程的方法,此方法在CJ818飞机核心综合处理模块软件的模拟设计过程中得到了应用。     

综合模块化航电系统时间管理技术

综合模块化航电系统(IMA)为有效协调各子系统以及子系统内各任务的协作关系,对系统的时间同步精度提出了很高的要求。在分析网络常用的时间同步协议的基础上,提出了一种适合IMA系统时间同步的时间管理技术。该技术实现相对简单且比较经济,基本上能满足新一代IMA系统的时间同步精度要求。     

基于在线加载分区机制的重构方案的设计与实现

随着综合模块化航空电子系统（IMA）结构技术的发展,对航电系统的安全性和可靠性的要求也进一步提高。本文提出的IMA重构方案基于VxWorks653系统中的在线加载分区(Online-Loaded)机制,可以做到对应用程序的动态加载,使得IMA系统在发生故障时能按预设的配置进行功能迁移,从而实现IMA系统的重构。在该重构方案的基础上还同时设计了分步加载技术。测试验证表明,分步加载技术明显减少了重构的耗时,提高了重构的效率。     

从DO-178C的新变化透视软件适航关注点

深刻理解DO-178C标准对于提升机载软件开发能力具有重要意义。分别从软件生存周期过程活动和过程目标两个维度对比和分析DO-178C与DO-178B的差异,按照计划过程、开发过程、验证过程、配置管理过程、质量保证过程和合格审定联络过程分类,列举了每个过程新增的或变更的考虑内容,并详细分析了过程目标的变化。根据差异分析,从强调以目标为中心、源代码到目标码的映射、参数数据、双向追踪、基于需求的鲁棒性测试和耦合性验证6个方面解析了DO-178C强调的思想,并总结了一些可行的实践。     

基于LDRA Testbed的主机/目标机 测试方法研究

DO-178B要求验证机载软件在目标机环境中正确运行,所以必须在受控的真实测试环境中运行插桩代码,提出基于LDRA Testbed的主机/目标机测试方法。介绍该方法的提出背景、原理、通信方式、面临的问题和测试环境的构建,构建方法减小因插桩引起的源代码膨胀和干扰时序的影响,并在测试环境中创建延时取回的算法以获取累积的历史记录文件,最终得到有效的动态覆盖率测试报告。从软件的健壮性和可靠性层面上有效提高机载软件的质量。     

浅谈DO-178C中附加代码验证目标的实现

DO-178C要求基于需求的测试结构覆盖率分析可以在源代码、目标码或者可执行目标码级别开展,如果结构覆盖率分析在源代码级别开展,那么测试覆盖分析并不包含对编译器、链接器产生的附加代码的验证。DO-178C要求A级软件应特别关注这些附加代码,对附加代码进行识别,并按照正常代码的验证要求对附加代码进行验证。在分析DO-178C、DO-248C、CAST-12的基础上,从适航认证角度探讨了基于源代码执行结构覆盖分析时,A级软件如何满足DO-178C表A-7目标9“不能追踪到源代码的附加代码的验证已完成”。     

机载设备软件需求获取过程研究

DO-178B机载设备软件的开发指南,规定了软件生存周期中各个过程的目标以及完成目标的活动和证据;但是DO-178B标准中没有给出软件需求获取的具体过程.针对机载设备软件AE653/Cert的认证过程进行研究,诠释需求获取过程中的建模方法和原则,给出需求获取过程的具体描述及其变更控制和配置管理.最后通过分析验证软件需求获取过程生成的需求和工作产品可以符合DO-178B的目标,为机载软件开发过程的需求获取提供了参考依据.     

综合模块化航空电子系统软件体系结构综述

作为降低系统生命周期费用（LCC）、控制软件复杂性、提高软件复用程度的重要手段之一,软件体系结构已成为航空计算领域的一个主要研究方向。阐述了综合模块化航空电子（IMA）的理念,分析了推动IMA产生和发展的主要因素。总结了ARINC 653,ASAAC,GOA以及F-22通用综合处理机（CIP）上的软件体系结构研究成果,并讨论了IMA软件体系结构需要解决的若干问题及其发展趋势。在此基础上,对中国综合航电软件体系结构研究提出了一些见解。     

一种基于模型和原型系统仿真的综合模块化航空电子系统开发方法

针对综合模块化航空电子系统的复杂性和传统瀑布式开发方法存在的问题与挑战,在Ⅴ型开发模型的基础上提出了一种基于模型和原型仿真的综合模块化航空电子系统的开发方法.该方法通过在需求捕获、方案设计和工程开发阶段分别构建相应的原型系统进行仿真与验证,实现对系统需求进行早期需求确认与设计验证(V&V)、原型仿真与集成.采用该方法的好处是通过原型仿真,系统设计师可以在开发早期向用户展示他们的设计成果,以满足用户的需求;可以帮助系统开发人员以低成本实现连续的虚拟集成和迭代确认与验证,从而缩短系统研制周期,降低系统开发成本.飞行管理系统开发应用案例表明了该方法有效性.     

基于并行工程的航空嵌入式软件测试过程研究

航空嵌入式软件市场不断动荡与激烈竞争的局面对航空嵌入式软件测试提出了新的挑战,商业化的第三方软件测试面临着质量、进度、成本等问题,而良好的软件过程与持续的过程改进是解决这些问题的一个途径。从对并行工程的研究入手,将并行工程的方法运用到航空嵌入式软件测试实践中,寻求基于并行工程的航空嵌入式软件测试过程,用于解决以上问题。     

民用飞机综合模块化航电系统分区和资源分配的研究

对比航电传统系统架构,分析了综合模块化航电系统(Integrated Modular Avionics,简称IMA)架构的优点;针对IMA系统功能的高集成度带来的资源分配难度和安全性要求,提出了IMA系统分区和资源分配策略,并给出了具体方法,对民用飞机IMA系统设计具有一定的指导意义和实用价值。     

软件复用在航空嵌入式软件测试中的应用研究

伴随航空嵌入式软件市场近些年不断动荡与激烈竞争的局面,商业化的第三方软件测试正面临质量、进度、开发效率等急待解决的问题,而软件复用技术是解决这些问题的有效手段。首先对软件复用的概念、理论和方法进行了论述,而后对航空嵌入式软件测试领域进行了深入分析,指出了其中复用的可行性。在此基础上,提出了面向航空嵌入式软件测试的过程复用、产品复用、测试程序产品线方法。最后,结合具体工程实践指出所提出方法在使用中的剪裁及推广。     

Model-based robustness testing for avionics-embedded software

Robustness testing for safety-critical embedded software is still a challenge in its nascent stages. In this paper, we propose a practical methodology and implement an environment by employing model-based robustness testing for embedded software systems. It is a system-level black-box testing approach in which the fault behaviors of embedded software is triggered with the aid of modelbased fault injection by the support of an executable model-driven hardware-in-loop (HIL) testing environment. The prototype implementation of the robustness testing environment based on the proposed approach is experimentally discussed and illustrated by industrial case studies based on several avionics-embedded software systems. The results show that our proposed and implemented robustness testing method and environment are effective to find more bugs, and reduce burdens of testing engineers to enhance efficiency of testing tasks, especially for testing complex embedded systems.     

航空电子软件仿真测试环境软件体系结构研究

首先介绍航空电子软件的特点,分析航空电子软件测试对测试环境的需求,提出一种分布式仿真测试环境的软件体系结构设计.基于RUP模型,以不同视图系统地对航空电子软件测试环境的体系结构进行了描述.应用代理模式,解决了分布式测试环境节点间实时通讯的关键技术.据此设计和实现的分布式仿真测试平台系统DSTE V1.0已成功地应用于多个航空电子软件系统测试工程中.     

航空电动机构综合测试系统设计

对航空电动机构综合测试系统设计开发的背景及意义作了简单介绍,并阐述了系统的测试原理与方法;详细论述了测试系统的硬件组成及各部分功能,最后对测试系统的软件设计环境、软件系统功能和关键算法作了介绍.     

灰盒测试方法在软件可靠性测试中的应用

 阐述了软件可靠性测试的概念和灰盒测试方法在软件可靠性测试中生成测试数据方面的应用,给出了方法用于可靠性测试中的工作流程,分析了其与传统的可靠性测试方法相比的优越性以及尚未解决的局限性,展望了未来的研究方向。