共查询到19条相似文献,搜索用时 28 毫秒
1.
2.
3.
航电系统仿真平台以其灵活方便和低成本特点,支持综合航电系统的预先研究、方案设计、详细设计、系统综合,成为综合航电系统研制过程中不可或缺的设计手段。给出了IMA系统仿真平台显示系统仿真器的详细的设计和实现方案,首先介绍了IMA系统仿真平台的组成,接着介绍了显示系统仿真器的组成架构,并对显示系统仿真器的硬件配置、航电网络配置、人机交互界面和逻辑处理进行了详细的介绍。最后经过IMA系统仿真试验样件验收测试程序的测试,验证了显示系统仿真器满足验收测试程序的各项功能和性能要求,满足了该型号显示系统仿真器的试验要求。 相似文献
4.
在航电系统开放系统架构和综合模块化的思想指导下,航电系统的集成度越来越高,具体构型实现表现为IMA(综合模块化航空电子)核心处理系统加高速网络(AFDX)的形式。其中核心处理系统由多个LRM(外场可跟换模块)通用处理模块组成,通过软件高度集成实现飞行管理、中央维护、座舱显示、通信导航管理等功能。由于其软件功能高度集成、结构复杂、软件规模庞大,其适航过程复杂性上升。参照ASSAC、ARINC653等标准介绍了当前IMA软件技术的最新动态并对其开放式的架构深入研究,并根据RTCADO178B等已有的软件安全适航性认证规定,阐述了针对复杂航电软件的安全适航过程的方法,此方法在CJ818飞机核心综合处理模块软件的模拟设计过程中得到了应用。 相似文献
5.
综合模块化航电系统时间管理技术 总被引:1,自引:0,他引:1
综合模块化航电系统(IMA)为有效协调各子系统以及子系统内各任务的协作关系,对系统的时间同步精度提出了很高的要求。在分析网络常用的时间同步协议的基础上,提出了一种适合IMA系统时间同步的时间管理技术。该技术实现相对简单且比较经济,基本上能满足新一代IMA系统的时间同步精度要求。 相似文献
6.
基于在线加载分区机制的重构方案的设计与实现 总被引:1,自引:0,他引:1
随着综合模块化航空电子系统(IMA)结构技术的发展,对航电系统的安全性和可靠性的要求也进一步提高。本文提出的IMA重构方案基于VxWorks653系统中的在线加载分区(Online-Loaded)机制,可以做到对应用程序的动态加载,使得IMA系统在发生故障时能按预设的配置进行功能迁移,从而实现IMA系统的重构。在该重构方案的基础上还同时设计了分步加载技术。测试验证表明,分步加载技术明显减少了重构的耗时,提高了重构的效率。 相似文献
7.
深刻理解DO-178C标准对于提升机载软件开发能力具有重要意义。分别从软件生存周期过程活动和过程目标两个维度对比和分析DO-178C与DO-178B的差异,按照计划过程、开发过程、验证过程、配置管理过程、质量保证过程和合格审定联络过程分类,列举了每个过程新增的或变更的考虑内容,并详细分析了过程目标的变化。根据差异分析,从强调以目标为中心、源代码到目标码的映射、参数数据、双向追踪、基于需求的鲁棒性测试和耦合性验证6个方面解析了DO-178C强调的思想,并总结了一些可行的实践。 相似文献
8.
周培 《航空精密制造技术》2019,55(5)
DO-178B要求验证机载软件在目标机环境中正确运行,所以必须在受控的真实测试环境中运行插桩代码,提出基于LDRA Testbed的主机/目标机测试方法。介绍该方法的提出背景、原理、通信方式、面临的问题和测试环境的构建,构建方法减小因插桩引起的源代码膨胀和干扰时序的影响,并在测试环境中创建延时取回的算法以获取累积的历史记录文件,最终得到有效的动态覆盖率测试报告。从软件的健壮性和可靠性层面上有效提高机载软件的质量。 相似文献
9.
DO-178C要求基于需求的测试结构覆盖率分析可以在源代码、目标码或者可执行目标码级别开展,如果结构覆盖率分析在源代码级别开展,那么测试覆盖分析并不包含对编译器、链接器产生的附加代码的验证。DO-178C要求A级软件应特别关注这些附加代码,对附加代码进行识别,并按照正常代码的验证要求对附加代码进行验证。在分析DO-178C、DO-248C、CAST-12的基础上,从适航认证角度探讨了基于源代码执行结构覆盖分析时,A级软件如何满足DO-178C表A-7目标9“不能追踪到源代码的附加代码的验证已完成”。 相似文献
10.
11.
随着装备软件系统的发展,越来越多的硬件功能软件化,装备软件的发展朝着高综合、高集成、一体化的趋势发展。目前航空航天装备软件中,嵌入式软件占据主导地位,相较通用计算机软件,嵌入式软件的测试具有面向特定应用,有实时操作系统支持,运行芯片和平台较为固定,并且需要特定的数字总线资源进行数据注入等特点。尤其对于复杂的,高度综合化模块架构的嵌入式软件系统软件测试,对于测试和验证系统的要求也越来越高,数据采集、数据记录、数据激励、数据监控、数据分析等各种测试和验证系统的需求也使得综合化软件测试验证系统结构越来越复杂,基于分布式架构的软件测试系统已经成为必然趋势。结合嵌入式综合化软件测试系统的功能要求以及测试系统的特点,提出了一种基于对等架构下的分布式测试系统设计,该设计不仅能够满足嵌入式软件运行平台规模的扩展,也能够在分布式架构下实现软件运行平台内部资源的共享。 相似文献
12.
13.
针对综合模块化航空电子系统的复杂性和传统瀑布式开发方法存在的问题与挑战,在Ⅴ型开发模型的基础上提出了一种基于模型和原型仿真的综合模块化航空电子系统的开发方法.该方法通过在需求捕获、方案设计和工程开发阶段分别构建相应的原型系统进行仿真与验证,实现对系统需求进行早期需求确认与设计验证(V&V)、原型仿真与集成.采用该方法的... 相似文献
14.
15.
周烨斐刘艳涛 《民用飞机设计与研究》2014,(3):88-91
对比航电传统系统架构,分析了综合模块化航电系统(Integrated Modular Avionics,简称IMA)架构的优点;针对IMA系统功能的高集成度带来的资源分配难度和安全性要求,提出了IMA系统分区和资源分配策略,并给出了具体方法,对民用飞机IMA系统设计具有一定的指导意义和实用价值。 相似文献
16.
软件复用在航空嵌入式软件测试中的应用研究 总被引:1,自引:0,他引:1
伴随航空嵌入式软件市场近些年不断动荡与激烈竞争的局面,商业化的第三方软件测试正面临质量、进度、开发效率等急待解决的问题,而软件复用技术是解决这些问题的有效手段。首先对软件复用的概念、理论和方法进行了论述,而后对航空嵌入式软件测试领域进行了深入分析,指出了其中复用的可行性。在此基础上,提出了面向航空嵌入式软件测试的过程复用、产品复用、测试程序产品线方法。最后,结合具体工程实践指出所提出方法在使用中的剪裁及推广。 相似文献
17.
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. 相似文献
18.