航电设备软件系统测试过程研究 被引量：6

1

作者 王轶辰 殷永峰 刘斌 《测控技术》 CSCD 2004年第8期53-55,64,共4页

嵌入式软件广泛应用于航空电子设备中 ,对其进行全面的系统测试是提高软件质量的十分有效的途径。首先分析了航电设备软件进行系统测试的特殊性 ,而后针对其特点提出了一种有效的系统测试工程化方法 ,并详细地阐述了方法中的每一个操作... 嵌入式软件广泛应用于航空电子设备中 ,对其进行全面的系统测试是提高软件质量的十分有效的途径。首先分析了航电设备软件进行系统测试的特殊性 ,而后针对其特点提出了一种有效的系统测试工程化方法 ,并详细地阐述了方法中的每一个操作步骤 。 展开更多

关键词 软件系统测试 航电设备软件 测试用例 软件需求规格说明

下载PDF 职称材料

综合模块化航空电子软件分布式测试平台研究 被引量：5

2

作者 周敏刚 牟明 +1 位作者 王泉 张蕾 《电光与控制》 北大核心 2018年第2期74-78,共5页

阐述了一种基于IMA架构的航电软件分布式测试平台,该平台节点分为服务器端和客户端两类,通过互联网连接,客户端运用Java技术构建测试任务提交和结果获取,服务器端采用与目标机相互配合的方式实现客户端测试任务的调度和管理、测试程序... 阐述了一种基于IMA架构的航电软件分布式测试平台,该平台节点分为服务器端和客户端两类,通过互联网连接,客户端运用Java技术构建测试任务提交和结果获取,服务器端采用与目标机相互配合的方式实现客户端测试任务的调度和管理、测试程序的自动编译、链接、加载、执行和测试结果的存储、收集。该平台可实现有限的IMA硬件资源共享,提高资源利用率与测试效率,并可对IMA软件进行有效、充分的配置项或系统测试,为IMA航电软件的远程测试提供了有效的解决方案。 展开更多

关键词 航空电子 综合模块化 航电软件 分布式测试 测试代理 测试管理

下载PDF 职称材料

DO-333标准形式化方法研究 被引量：5

3

作者 郝继锋 叶宏 任晓瑞 《航空计算技术》 2020年第1期124-129,共6页

安全关键系统的基础软件由于其安全认证、提高软件可信性的需求,必须使用形式化方法。调研了嵌入式操作系统、编译器、网络、文件系统的形式化验证案例,在此基础之上引出机载软件形式化方法DO-333标准;阐述了形式化模型、形式化分析概念... 安全关键系统的基础软件由于其安全认证、提高软件可信性的需求,必须使用形式化方法。调研了嵌入式操作系统、编译器、网络、文件系统的形式化验证案例,在此基础之上引出机载软件形式化方法DO-333标准;阐述了形式化模型、形式化分析概念,提炼出DO-333在DO-178C的基础上,针对典型的过程活动、过程目标、其他考虑方面的变化;总结了在工程中使用形式化方法的优点和缺点。 展开更多

关键词 安全关键系统 机载软件 形式化方法 形式化模型 形式化分析 DO-333 DO-178C

下载PDF 职称材料

假如使用Ada语言 被引量：3

4

作者 陆荣国 缪万胜 《航空电子技术》 2002年第4期40-43,共4页

介绍了Ada语言的应用现状及其前景,并通过一项实验说明Ada语言比C语言更适合于航空电子软件开发。

关键词 ADA语言 航空电子软件

下载PDF 职称材料

复杂航空软件工程化综合管理框架 被引量：3

5

作者 孙旭 杨顺昆 刘斌 《现代电子技术》 2012年第24期110-114,117,共6页

为规范软件研制管理工作,满足航空软件复杂性、可靠性、安全性高的特点需求,提高软件研制质量和效率,提出一个适合复杂航空软件研制特点的软件工程化综合管理框架。按照软件工程化开发、软件质量管理和软件验证三条主线推进软件研制能... 为规范软件研制管理工作,满足航空软件复杂性、可靠性、安全性高的特点需求,提高软件研制质量和效率,提出一个适合复杂航空软件研制特点的软件工程化综合管理框架。按照软件工程化开发、软件质量管理和软件验证三条主线推进软件研制能力的提高,结合某航空装备软件实际项目,给出实施软件工程化的管理体系和实施方法。 展开更多

关键词 航空软件 软件质量 软件工程化管理 软件研制效率

下载PDF 职称材料

基于COTS的航空电子软件开发 被引量：3

6

作者 刘冬 《航空电子技术》 2005年第4期25-30,共6页

介绍了商用货架产品(COTS)在航空电子软件开发中应用的优点和缺点,和基于COTS的航电软件构架;并给出了一个开发过程和部分开发工具。最后通过一个实例说明基于COTS的航电软件开发是实际可行的。

关键词 COTS 航电软件 开发过程

下载PDF 职称材料

航电软件开发标准与过程研究 被引量：4

7

作者 万明 樊晓光 南建国 《计算机工程与应用》 CSCD 北大核心 2010年第19期71-73,96,共4页

随着综合模块化航空电子系统研究的深入,其软件开发标准的重要地位日益突出,ARP4754和DO-178C共同构成了综合模块化航空电子系统软件开发的新标准。从标准内容与信息流程两方面论述了标准之间的关系,同时讨论了航电软件计划过程、开发... 随着综合模块化航空电子系统研究的深入,其软件开发标准的重要地位日益突出,ARP4754和DO-178C共同构成了综合模块化航空电子系统软件开发的新标准。从标准内容与信息流程两方面论述了标准之间的关系,同时讨论了航电软件计划过程、开发过程和综合过程的子过程、目标及活动内容,提出了过程自动化和过程省略的基本概念与方法。 展开更多

关键词 航电软件 计划过程 开发过程 综合过程 过程自动化 过程省略

下载PDF 职称材料

航电系统机载软件全数字仿真测试平台技术研究 被引量：3

8

作者 万鹏 李利 《教练机》 2014年第1期20-23,共4页

为解决型号研制过程中航电系统软件测试困境,提出一种全数字仿真测试解决方案。在不采用成品实物的情况下,对航电系统软件进行测试,测试过程可覆盖软件研制全生命周期。

关键词 航电系统软件 全数字仿真 软件测试

下载PDF 职称材料

基于IMA平台的嵌入式软件设计模型仿真及实时性分析方法 被引量：3

9

作者 孙磊 杨海燕 吴际 《计算机科学》 CSCD 北大核心 2015年第12期95-97,135,共4页

如何确保机载软件满足其实时性需求一直是一个引人关注的研究问题。根据工业界的报告结果,缺陷发现得越早,用于修复缺陷以提高机载软件不超时的可能性的代价就越小。对于运行在由ARINC653标准所描述的综合模块化航电系统(IMA)上的机载... 如何确保机载软件满足其实时性需求一直是一个引人关注的研究问题。根据工业界的报告结果,缺陷发现得越早,用于修复缺陷以提高机载软件不超时的可能性的代价就越小。对于运行在由ARINC653标准所描述的综合模块化航电系统(IMA)上的机载软件可采用以下方法:将机载软件的设计模型(UML模型)转化成仿真模型(Simulink模型),通过在Simulink平台上运行仿真模型来发现潜在的实时性问题。由于机载软件可能与IMA平台之间具有大量的交互(例如接口层和操作系统层)用来申请使用资源或者与其它的应用程序进行通讯,因此设计了一个仿真内核来仿真IMA平台的行为。最后,使用一个工业案例来论证上述方法的有效性。 展开更多

关键词 机载软件 实时性 综合模块化航电 模型转换 SIMULINK仿真

下载PDF 职称材料

机载软件适航技术研究与工程应用 被引量：2

10

作者 胡林平 《航空计算技术》 2013年第3期92-95,共4页

通过分析研究DO-178B标准,提出了适用于大规模机载软件开发和验证的集成过程。过程紧密集成基于需求的开发活动和基于需求的验证活动,实现需求和代码的一致性目标。通过在过程中引入全局需求和需求子集开发活动,为软件开发和验证活动并... 通过分析研究DO-178B标准,提出了适用于大规模机载软件开发和验证的集成过程。过程紧密集成基于需求的开发活动和基于需求的验证活动,实现需求和代码的一致性目标。通过在过程中引入全局需求和需求子集开发活动,为软件开发和验证活动并行化创造了基础条件,进而提高工作效率,满足大规模软件众多项目人员协同工作及缩短项目周期的要求。 展开更多

关键词 机载软件 适航 DO-178B

下载PDF 职称材料

基于方面重组的实时软件传感器研究

11

作者 杜承烈 王小伟 +1 位作者 尤涛 吴凡 《测控技术》 CSCD 2008年第10期58-61,共4页

对于日趋庞大的航电软件,其状态监控工作难以有效进行,这其中一个难点是状态监控中软件传感器的植入。由于软件传感器检测内容多为系统的行为特征,在对航电软件系统对象横切关注点的确定和方面的分离的基础上,通过软件传感器植入完成对... 对于日趋庞大的航电软件,其状态监控工作难以有效进行,这其中一个难点是状态监控中软件传感器的植入。由于软件传感器检测内容多为系统的行为特征,在对航电软件系统对象横切关注点的确定和方面的分离的基础上,通过软件传感器植入完成对方面的重组,最后传感器伴随着方面的织入嵌入到软件系统中。以某航电惯导系统为例详细阐述了该方法。实际应用表明,该方法对传感器植入的位置和时机的确定有指导意义。 展开更多

关键词 航电软件 软件传感器 面向方面的建模 实时

下载PDF 职称材料

综合模块化航电软件系统测试方法研究综述 被引量：12

12

作者 郑军 胡军 +1 位作者 柯昌博 黄志球 《计算机应用与软件》 CSCD 北大核心 2012年第5期163-168,共6页

现代飞行器系统中开始广泛采用综合模块化航电IMA(Integrated Modular Avionics)体系架构,IMA中软件系统的高质量要求对传统的航电软件测试方法提出了新的挑战。对目前基于ARINC653的IMA软件的系统级测试中的基本测试方法进行了综述分析... 现代飞行器系统中开始广泛采用综合模块化航电IMA(Integrated Modular Avionics)体系架构,IMA中软件系统的高质量要求对传统的航电软件测试方法提出了新的挑战。对目前基于ARINC653的IMA软件的系统级测试中的基本测试方法进行了综述分析,主要内容包括:首先给出了基于ARINC653的IMA体系结构描述,并对其架构中最重要的系统可配置性进行了分析;然后阐述了总的系统测试策略,以及不同级别的IMA软件系统测试过程;最后简要说明了IMA系统测试环境的通用要求。 展开更多

关键词 综合航电 软件测试 系统测试 测试过程 测试环境

下载PDF 职称材料

云服务技术在航电软件研发中的应用研究

13

作者 李虎 王冠 +1 位作者 景文君 周亮 《航空电子技术》 2023年第2期1-6,共6页

航空电子系统硬件的发展,为云服务技术在航空领域的应用提供了可能。借助虚拟化及容器管理技术,将机载计算资源进行池化管理,并借助服务化技术,将复杂航电软件拆分为可协作的独立模块,能够实现航电软件的快速构建、灵活部署,并提高航电... 航空电子系统硬件的发展,为云服务技术在航空领域的应用提供了可能。借助虚拟化及容器管理技术,将机载计算资源进行池化管理,并借助服务化技术,将复杂航电软件拆分为可协作的独立模块,能够实现航电软件的快速构建、灵活部署,并提高航电软件之间的互操作能力。本文讨论了云服务技术在航空领域的应用现状,研究并提出了一种应用于航电软件研发的云服务架构,给出了服务化和容器管理平台的实现方案,并构建了应用原型验证环境。 展开更多

关键词 云服务 航电软件研发 服务化 容器管理

下载PDF 职称材料

RTCA DO-178B标准与相关国军标的对照分析 被引量：8

14

作者 陈绍宇 赵建军 《航空电子技术》 2009年第1期48-52,共5页

RTCA的DO-178B标准是国际认可的开发准则,将DO-178B与我国的国标进行了对照分析,给出了异同。

关键词 航电软件 适航当局 软件验证 可靠性 安全性 软件编码标准

下载PDF 职称材料

一种反射内存网航电软件测试环境实时通讯协议 被引量：3

15

作者 王立泽 刘斌 周礼亮 《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 2011年第3期122-127,共6页

为解决航电软件仿真测试环境中的通用异步和周期实时通讯问题,设计了一种反射内存网实时通讯协议(MSTP).基于反射内存网SCRAMNet设计协议,介绍了协议内存布局,描述并实现周期和异步数据的发送和接收过程,对协议进行测试以表明设计可行性... 为解决航电软件仿真测试环境中的通用异步和周期实时通讯问题,设计了一种反射内存网实时通讯协议(MSTP).基于反射内存网SCRAMNet设计协议,介绍了协议内存布局,描述并实现周期和异步数据的发送和接收过程,对协议进行测试以表明设计可行性.最后,给出了较为完善的系统开销计算模型. 展开更多

关键词 反射内存网 周期通讯 异步通讯 通讯协议 仿真测试环境 航电软件

下载PDF 职称材料

面向民用飞机的复杂航电系统软件研制与管理方法 被引量：2

16

作者 尹伟 韩光辉 +2 位作者 肖前远 缪万胜 康介祥 《航空工程进展》 CSCD 2023年第4期158-167,共10页

现如今,民用飞机航电系统的功能日趋完备、结构日趋复杂、费用日趋昂贵、研制周期日趋紧张,亟需解决软件研制过程中的需求不准确、架构设计过于耦合、过程产物难以追踪等问题。基于对数字化研制、流程研制、持续集成、云开发环境等先进... 现如今,民用飞机航电系统的功能日趋完备、结构日趋复杂、费用日趋昂贵、研制周期日趋紧张,亟需解决软件研制过程中的需求不准确、架构设计过于耦合、过程产物难以追踪等问题。基于对数字化研制、流程研制、持续集成、云开发环境等先进技术与方法的研究,提出面向复杂民用飞机航电系统软件研制问题的解决方法,即构建基于模型的需求开发方法、开放式航电软件架构、民用飞机软件研制过程体系,搭建基于Linked Data的集成开发环境和软件持续集成与验证环境,在航电系统软件研制过程中进行应用。结果表明:本文提出的面向民用飞机的复杂航电系统软件研制与管理方法是可行的,且该方法已在C919民用飞机显示系统研制过程中进行了应用,提升了软件研制效率和质量。 展开更多

关键词 航电系统软件 大规模软件 软件架构 软件工程开发环境

下载PDF 职称材料

基于MVC架构的航电系统软件研究与应用 被引量：2

17

作者 郑凤 昝济国 《航空电子技术》 2013年第1期29-32,共4页

针对大规模复杂航电系统软件的设计和开发,引入MVC(模型-视图-控制)的软件体系架构和设计模式,对软件行为主体进行持续抽象和封装,并在项目开发过程中迭代应用。研究结果证明,采用MVC架构很好的提高了软件设计和开发的可靠性、可扩展性... 针对大规模复杂航电系统软件的设计和开发,引入MVC(模型-视图-控制)的软件体系架构和设计模式,对软件行为主体进行持续抽象和封装,并在项目开发过程中迭代应用。研究结果证明,采用MVC架构很好的提高了软件设计和开发的可靠性、可扩展性和可复用性,增强了应用系统软件架构的灵活性和适应性。 展开更多

关键词 MVC 架构设计 航电系统软件

下载PDF 职称材料

面向航电软件测试的建模描述语言研究

18

作者 何俊涛 杨顺昆 张虹 《测控技术》 CSCD 2006年第8期53-56,共4页

针对航电嵌入式软件仿真测试的特点,阐述了仿真测试过程中建模的要求和模型的结构与特性,在此基础上,设计并实现了一种面向航电软件测试的建模描述语言(STMDL)。对STMDL的语法语义和描述规则进行了详细介绍,并阐述了该建模描述语言的特... 针对航电嵌入式软件仿真测试的特点,阐述了仿真测试过程中建模的要求和模型的结构与特性,在此基础上,设计并实现了一种面向航电软件测试的建模描述语言(STMDL)。对STMDL的语法语义和描述规则进行了详细介绍,并阐述了该建模描述语言的特点和工程应用。 展开更多

关键词 航电软件测试 仿真模型 XML STMDL

下载PDF 职称材料

OBSUS:一种高效的机载软件更新系统仿真评价

19

作者 刘宗奇 陈昕 +1 位作者 郑永瑞 张蕾 《计算机应用与软件》 CSCD 北大核心 2014年第5期10-13,63,共5页

航空电子产业中航电综合化是目前航电系统发展的主要趋势,在综合化航电系统中,越来越多的功能模块采用软件实现,来代替硬件的相应功能,同时软件系统是需要不断更新的,因此软件更新系统的作用显得尤为重要。围绕航电系统中的软件更新关... 航空电子产业中航电综合化是目前航电系统发展的主要趋势,在综合化航电系统中,越来越多的功能模块采用软件实现,来代替硬件的相应功能,同时软件系统是需要不断更新的,因此软件更新系统的作用显得尤为重要。围绕航电系统中的软件更新关键技术,通过研究机载环境及其软件更新的特点,提出一种新型机载软件更新系统OBSUS(On-Board Software Update System)。通过OBSUS系统架构设计,以及通信协议Xmodem+的实现,使得OBSUS可部署在多种硬件平台中,以满足机载环境软件更新的要求,具有较强的普适性。最后,在真实硬件平台上实现了OBSUS原型系统,并对系统的性能进行了仿真研究与性能评价。仿真验证结果表明,OBSUS是一种高效的机载软件更新系统。 展开更多

关键词 航电综合化 机载航电系统 软件更新 仿真评价

下载PDF 职称材料