基于GJB 9433的FPGA软件测试环境平台研究与应用

针对FPGA测试方法不规范、测试流程不统一的问题,提出构建一种基于GJB9433的软件测试环境平台,通过对FPGA软件测试环境平台的需求分析,设计了基于GJB9433的软件测试环境平台的架构及组成,实现了FPGA软件的自动化测试,并在实际项目应用中对设计架构进行了验证,可为标准在工程项目中的落实提供高效的环境支撑。     

并行测试系统资源调度引擎的算法设计

并行测试能够显著提高自动测试系统的测试吞吐量和测试效率,本文在介绍分布式多客户端的单处理器并行系统硬件架构和基于ABBET分层的软件标准的自动测试系统软件架构的基础上,对实现资源调度引擎机制的遗传算法等问题进行了论述,并采用Matlab仿真验证了算法的有效性。     

嵌入式软件测试技术在机电综合管理系统中的应用

软件测试已在各领域越来越受到重视。为了使直升机机电综合管理系统得到更好的发展,介绍了机电综合管理系统,对软件测试技术的重要性进行分析,并简要阐述了软件测试技术。文章中介绍的嵌入式软件测试技术已经在直升机机电综合管理系统软件开发中得到了应用。     

航空电子装备嵌入式软件质量管理研究

嵌入式软件的成败对航空电子装备效能发挥愈发重要.随着航空电子装备技术与能力的不断提升,软件的规模和复杂性也急剧增长.目前大部分航空电子装备能力分阶段迭代生成,软件不断升级已成常态.复杂的装备及其复杂的开发过程给质量管理带来了难度,为提升航空复杂电子装备的软件质量,高效保障装备效能稳定发挥,本文聚焦技术状态管理与测试验证...     

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

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

基于区块链+北斗的铁路装备可信数字身份服务方法

智能铁路装备是一个典型的分布式物联系统,具有大量复杂的数据交互共享的需求与场景,装备及其产生的数据信令在系统中的数字身份标识是其重要安全基础。应用基于区块链去中心化的分布式数字身份标识技术,结合北斗时空信息,设计了铁路装备身份标识(railway decentralized identifier, RDID)可信数字身份服务,包括服务架构、生成流程、流转流程和验证流程,并进行了应用模型实现与效能分析。服务可以有效提升装备及其产生的数据信令的规范安全性,保证标识身份全局唯一,可追溯认证,从而提高智能装备系统通信过程数据的完整性与可靠性。     

影响GPS信号C／A码捕获的因素分析及改善方法

通过特定设计的软件测试平台,对自主研制的软件GPS接收机进行了捕获性能的测试分析,得到了捕获性能与信噪比、虚警概率等因素的关系。最后给出了实验数据和分析、改进方法,为软件GPS接收机的开发和研制提供了重要的技术参考。     

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

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

一种通用BOOTLOADER架构研究

随着嵌入式系统的不断发展,BOOTLOADER程序开发和移植工作的复杂度越来越高,严重影响了嵌入式系统的开发进度.通过对BOOTLOADER程序引导过程的深入分析,从功能实现、运行过程和代码结构3方面展开研究,提出了一种通用BOOTLOADER架构,并在PowerPC平台上完成了架构的实现,验证了其正确性和易用性,能够有效地提高BOOTLOADER程序的开发和移植效率,进而缩短整个嵌入式系统的开发周期,对BOOTLOADER程序的开发和移植工作具有指导性意义.     

中国空间站分布式运行控制模式

空间站任务飞行事件密集、参与单位众多、协同关系复杂,为高效、可靠、安全组织空间站运行控制工作,提出了优化一种模式、建好一个平台、形成新型机制的总体思路,运用系统工程思维设计了以5类中心为骨干、异地容灾中心备保的分布式空间站运行控制体系架构。给出了关键任务段适当集中、长期运行段完全分布的联合运行控制模式,进一步提出分布式运行控制平台、容灾备份系统等重点发展完善方向。该模式具有较高的可靠性、安全性和实施效率,能够较好地适应空间站长期在轨、航天员连续驻留的任务场景,可保障中国空间站运行控制工作可持续运转。     

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

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

基于机载多核弱序存储模型的共享内存驱动软件设计方法研究

随着航空电子系统承载的应用日趋复杂,飞机对机载计算机的计算力和功耗比要求不断提升,这也推动了嵌入式多核处理器的加速应用和普及。多核处理器在航空电子设备的深入应用,随之而来的是运行其上的软件复杂度急剧上升,面向应用的航电系统设计面临挑战。多核处理器平台由于需要面对并行、指令乱序、资源共享冲突等问题,而目前国内大多数机载嵌入式软件和驱动仍然是基于单核处理器设计和实现的,影响最大的是在机载嵌入式实时操作系统环境下的驱动软件,因此需要充分考虑多核带来的各方面影响,尤其是需要兼顾共享内存等资源的使用冲突和实时高效要求。本文结合机载航电多核处理平台的特点,提出了一种基于机载多核弱序存储模型的共享内存驱动软件设计方法,并基于该方法设计了FC总线驱动和MBI总线驱动,项目应用结果表明,设计的驱动程序在多核处理器平台上数据传输正确,验证了方法的正确性和有效性。     

某测试软件输入模块的可靠性测试方法研究

采用黑盒测试方法对某数据采集系统的测试软件进行了测试.通过对软件需求和性能的分析,建立了软件的运行剖面和测试案例,进行了可靠性测试,得到了该软件输入模块的可靠性测试结果.     

远程过程调用技术在分布式软件系统中的应用

介绍了远程过程调用（RPC）技术在当前系统中的必要性。针对分布式软件系统的特点,基于开源的 Thrift 框架,搭建了一套面向服务化的RPC 通信中间件。通信中间件重新封装RPC 核心框架并提出一种精简 的分布式服务发现功能,契合分布式软件系统需求。通过接口、功能、性能验证,确认RPC 技术能够支撑分 布式软件系统向服务化架构演进。     

一种面向嵌入式IP可视电话的软件架构设计

针对嵌入式系统的特点,提出了一种适用于嵌入式IP可视电话的软件架构设计.此种架构设计重点考虑了提高软件可扩展性和跨平台性的各种问题,能够提供对H.323、SIP协议的支持和扩展多种视音频编解码方案,跨平台移植方便.     

战斗机电子战系统架构总体设计

战斗机电子战系统提供的态势感知、无源攻击引导、电子对抗和主动隐身等作战能力可以极大提升飞机的生存力和杀伤力。为满足电子战系统越来越高的新质作战能力要求、作战对象快速能力提升、贴近实战的作战样式和作战环境不断变化带来的新要求、适应不同战斗机平台及航电任务系统要求等需求,追求高质量和敏捷开发模式,电子战系统架构必须精心设计。采用系统工程方法,按照能力视图、作战视图、系统视图和技术视图对需求和技术进行了迭代研究,基于灵活数字处理算法支持不同战法、全域综合共用、以快应变和以柔制变等顶层设计思想,从全数字化处理、综合化、可扩展和开放式等多个视角论证了电子战系统架构设计需求,并给出了核心设计要点和方案。战斗机电子战系统架构在大量实践中得到验证,效果良好,能够满足作战使用需求,对下一代战斗机电子系统的研究具有借鉴意义。     

综合化航空电子系统可信软件技术

航空电子系统要求航空任务的执行具有确定性、可预测和可控性。深入分析综合化航空电子系统软件安全性、可靠性、完整性和实时性需求,提出了综合化航空电子系统软件可信性的定义。首次将可信计算引入到综合化航空电子系统中,建立综合化航空电子系统可信软件体系结构,在此基础上,提出软件可信运行环境构建方法和可靠性增强技术。这些技术能够保障综合化航空电子系统的可预测性,对保证飞机任务的执行及其安全具有重要的作用,为研制适合于中国大飞机的综合化航空电子系统可信软件奠定基础。