全数字仿真测试环境在星载嵌入式软件测试中的应用

利用全数字仿真测试环境对嵌入式软件进行测试,是一种有效的测试方法.通过在PC机上仿真模拟嵌入式软件的外围接口设备,可以快速搭建仿真测试环境,在软件研发阶段即可同时引入测试,同时,可以利用自动比对技术,实现数据输出的正确性判断,提高测试效率和软件质量.     

飞行控制软件全数字仿真测试环境的搭建与应用

全数字仿真测试环境是嵌入式软件测试的主要平台,从仿真对象上分为目标硬件环境和目标数据环境两个部分。文中详细阐述了利用数字芯片开发工具VTEST,搭建飞行控制软件全数字仿真测试环境的方法,并以某型号飞行控制软件确认测试为背景,介绍了全数字仿真测试环境的应用。利用全数字仿真测试环境能够进行软件功能测试、结构测试、边界值测试,具有较高的测试效率,提高了测试的自动化程度。     

应用虚拟测试技术提升航天嵌入式软件可信性

将虚拟测试环境应用于航天嵌入式软件的研制过程,可有效解决航天嵌入式软件研制过分依赖硬件环境造成的软件研制受限于硬件研制、测试不充分等问题,对于提高软件的可信性具有重要意义。本文针对航天嵌入式软件领域,比较了目前基于真实目标机的环境与虚拟环境的优缺点,并总结了国内外航天企业对虚拟测试环境技术的研究和应用情况。     

一种高速系统级虚拟测试环境实现技术

提出一种针对航天嵌入式软件的系统级虚拟测试环境实现技术。通过该技术实现的系统级虚拟测试环境准确同步每个弹上处理器的运行时间,并模拟各处理器板之间的硬件接口,使基于多处理器的嵌入式软件测试摆脱了半实物环境的制约,提高了测试有效性,缩短了测试周期。该技术利用操作系统提供的进程间通讯机制,构造了可扩展的弹上软件系统级测试环境,并且在实现系统互连的前提下保证了虚拟环境执行的高效率。     

星上实时处理半实物测试系统的设计与实现

国产高性能处理芯片在卫星产品中的广泛应用,促进了星上实时处理技术的快速发展,同时对地面测试和验证系统的有效性提出了较高要求.针对卫星有效载荷分系统星上实时处理的需求,构建了以星上实时处理半实物系统为主体的测试环境,用于星上嵌入式软件开发的仿真验证,并自动地对处理结果进行对比和分析,完成效果评估,为卫星在轨可靠运行提供支...     

全数字仿真技术在航天型号软件测试中的应用

为了更好的进行航天软件的测试工作,解决硬件测试环境的局限性,提高测试技术水平,实现测试工作自动化,采用了全数字仿真技术搭建软件仿真测试环境的方法。本文描述了目前航天软件进行确认测试过程中使用的测试环境,介绍了硬件测试环境和用全数字仿真技术搭建的软件仿真测试环境在航天型号软件测试中的应用情况,重点通过对软、硬件测试环境的实际使用,对2种测试环境进行了分析,指出了软件仿真测试环境相对于硬件测试环境的优势。     

多处理器嵌入式软件的全数字仿真测试平台开发技术

研究了针对多处理器嵌入式软件的全数字仿真测试平台开发技术,该技术基于DDS(数据分发服务),设计实现了基于通道的系统模型,通过将被测软件分布在局域网多个节点,实现了基于多处理器嵌入式软件的全数字仿真测试平台。该平台准确同步每个核的运行时间,并模拟各处理器板之间的硬件接口,使基于多处理器的嵌入式软件测试摆脱了半实物环境的制约,提高了测试有效性,缩短了测试周期。     

一种面向多虚拟处理器的程序条件断点技术

考虑到载人航天、探月工程中嵌入式软件的编译器存在差异，编译器生成的目标文件格式和嵌入式处理器的不同，基于嵌入式处理器虚拟化技术，提出一种通用的调试信息存储结构，支持不同目标文件调试信息的通用存储；提出一种条件断点控制技术和一种通用条件断点控制模型，实现了面向多种架构虚拟处理器的程序条件断点控制；完成调试器DIP开发和功能测试。将以上技术应用于载人航天、探月工程中多个安全关键嵌入式软件测试，发现了嵌入式软件中的深层软件问题。     

嵌入式软件中断数据竞争安全性检测技术研究

嵌入式领域中由中断引发的软件故障时有发生,这些故障大多源于中断响应所带来的数据竞争,而目前缺乏针对嵌入式软件中断数据竞争的检测技术及工具。通过引入中断特征形式化描述语言和中断作用域集合概念,设计相关算法,完成对被测软件的数据竞争检测。经实验验证,该检测技术能有效帮助测试人员定位嵌入式软件中断数据竞争问题。     

激光雷达系统仿真软件

从激光雷达约束条件入手 ,研究了通用激光雷达仿真模型 (GL M) ,其中包括大气传输模型、探测器噪声模型、发射与接收模型、目标反射数据库。着重分析、讨论了各种天气和系统条件下 ,对激光雷达性能的影响。根据模型 ,研制了通用仿真软件 ,最后给出了计算机仿真结果。     

基于Matlab/dSPACE的无刷直流电机双闭环控制实时仿真

永磁无刷直流电机(Brushless DC Motor,以下简称BLDCM)的控制算法一般采用嵌入式软件编程的方法实现,其开发过程复杂,代码编写工作繁重,在电机控制器研制初期不利于提前进行控制算法的研究。基于Matlab/Simulink开发的dSPACE实时仿真平台,无需代码编写,实时性好,控制算法开发周期短,能够很好的用于BLDCM控制原理的理解和控制算法的仿真研究。通过BLDCM的在线实时仿真,介绍了基于dSPACE的半实物仿真技术,建立了基于BLDCM双闭环控制的仿真模型,利用ControlDesk软件进行了在线参数调试,实现了双闭环控制模型快速控制原型验证(RCP)。通过BLDCM的实时仿真,验证了BLDCM双闭环控制方法的正确性,实时仿真结果与理论分析一致性较好,电机转速控制稳态和动态性能较好,为BLDCM的控制算法提供研制依据,体现了Matlab/dSPACE仿真平台在控制器算法设计中的优越性。     

计算机集成技术初探

该文对计算机集成设计技术进行了初步的探索。分析了集成技术发展的必然性，研究了计算机集成设计技术的现状，结合目前国际上比较通用的集成平台／集成框架软件在国外相关领域的应用情况，对我国的航天器研究设计提出了建议。     

TMS320VC33虚拟内核流水线仿真优化设计方法研究

搭建全数字仿真测试环境的关键是虚拟内核的研制.流水线仿真优化设计对虚拟内核运行效率的提高至关重要.本文研究了TMS320VC33虚拟内核流水线仿真优化设计方法,基于TMS320VC33流水线工作原理运用译码缓存策略和预译码策略对流水线仿真过程进行优化,并提出了一种流水线仿真优化设计整体方案.     

基于1553B总线的星载嵌入式软件在轨升级方法

针对星载嵌入式软件在轨升级难的问题,提出了基于1553B总线的星载嵌入式软件在轨(线)升级方法.通过1553B总线接收升级程序、固化程序和升级程序分区独立存储、启动程序和应用程序互相配合的方式,实现软件升级、部分传输异常时补丁升级及升级异常情况下的版本回退.在某星载固态存储设备上对方法进行了试验验证,结果表明,方法可对...     

宇航用固体继电器通用规范研究

简述固体继电器特点,概述国内外与其相关的军用产品规范适用范围、技术与采购要求等,针对我国航天型号的技术要求,分析我国固体继电器通用规范的差距,结合宇航产品的品质要求,提出我国编制《宇航用固体继电器通用规范(草案)》的总体框架、验证程序、试验验证、质量等级和工艺要求等内容,并对《规范草案》的结构特点、设计思想和设计结果作了说明。     

地磁场中卫星磁测试环境与设备

文章介绍了在地磁场中建立满足低轨道卫星运行的磁测试环境(低造价的低磁厂房)以及符合标准的磁测试仪器与设备的研制过程,对磁性的测量与控制进行了阐述。     

航天器仿真与测试一体化系统

提出了一种航天器仿真与测试一体化系统的方案,此系统具有较好的柔性,包括三个主要的组成部分:前端接口(FE)设备层连接被测系统与一体化系统;仿真环境(SE)部分则能提供航天器各个分系统与空间环境、轨道等要素;测试环境(CE)部分则能自动执行一体化系统的仿真、测试序列,并提供对整个系统运行的管控。文章对这三个部分的实现与相互接口均进行了定义,最后描述了一体化系统适应于不同应用的典型配置,如地面测试系统的评估验证、航天器渐进增量式电测以及故障处理研究等应用。文章提出的一体化系统不但可支持从航天器概念设计、详细设计、AIT等各个阶段的测试工作,也可以用来支持进行航天器故障分析与研究。通过此系统的创建与应用,能够改进航天器研制系统工程,并最终提高航天器的研制效率。     

零相关区序列在准同步系统中的应用

在准同步码分多址(QS-CDMA)中,影响系统性能的是零延时附近的部分扩频序列相关函数,而且奇相关函数和偶相关函数发挥同等重要的作用。文中对三种零相关区(ZCZ)序列的相关函数进行分析比较,并采用BPSK调制方式,在高斯白噪声(AWGN)信道下,对采用上述三种ZCZ序列的准同步系统进行仿真。仿真结果表明,相关函数特性好的序列具有较好的准正交性,更适用于QS-CDMA系统。仿真实验还验证了系统性能与序列零相关区长度之间的关系。     

国外航天与防务机构仿真标准发展

仿真是利用计算机模型进行的某一层次的风险评估。美、欧等对航天领域的仿真技术的应用非常重视,美国把仿真技术全面应用于概念分析、技术开发、采办、试验、部署、维持、作战效果分析、训练以及产品改进等产品研制的全生命周期,同时,美军、 NASA、 ESA等国外典型航天与防务机构形成了较为完备的航天仿真标准(体系),我国的航天仿真工程应用标准体系建设可借鉴和参考其相关经验。     

智能仿真软件设计平台的实现

以运载火箭控制系统仿真软件为对象,通过分析仿真模型的共性,建立通用模型数据库和函数库,完成仿真软件各组成部分通用模块设计,搭建了一个智能化的专用仿真软件设计平台。平台的实现突破传统的软件设计思路,用仿真模型描述代替人工代码输入,在缩短仿真软件研制周期的同时也提高了软件的设计质量,为仿真软件设计创造了一个良好的开发环境。