基于网格的电路功能可靠性仿真系统

功能可靠性仿真是建立系统功能与可靠性一体化分析的综合仿真技术,论述了电路功能可靠性仿真系统的体系结构、功能及其实现的故障建模、故障虚拟注入、仿真器集成、故障自动判别等主要技术方法.为解决电路功能可靠性仿真系统中长仿真时间和大数据量存储的难点,提出了基于网格计算技术的体系结构,研究了仿真服务、分析服务和数据管理服务的实现方法,建立了通过网格平台向电路功能可靠性仿真系统提供虚拟计算和存储的能力,减少了系统分析所需要的仿真时间,实现了大量仿真结果数据的分布式存储.基于上述技术思想,实现了以TyrensGrid为网格平台、PSpice为仿真内核的TG-CFRS软件原型,证明了基于网格的电路功能可靠性仿真技术的有效性.     

基于三维场路协同方法的静电损伤仿真测试平台

静电放电已经逐渐成为导致各类电子设备故障的主要原因之一,在电子产品研制过程中通常采用实物测试方式检验产品抗静电能力,但该方式耗费资金过大、可重复性差同时易损伤受试设备。在这种情况下,建立基于三维场路协同方法的静电损伤仿真测试平台有效地解决了上述问题。该平台以电脑仿真技术（CST）软件为基础,通过构建静电放电枪模块,结合受试设备模块和仿真参数设置模块,以时域有限积分法求解器进行仿真,并利用数据输出和处理模块得出结果。利用建立好的仿真测试平台对一台数据传输设备进行8 kV接触放电,观察其表面电流和磁场分布,并对其造成的传导干扰和辐射干扰进行分析。通过建立静电损伤仿真测试平台,实现了静电放电测试的可重复以及无损伤的目的,具有较强的工程指导意义。      

飞行器动力学虚拟样机技术研究

动力学虚拟原型样机的开发有许多关键技术,如:高等级建模粒度、实时的运行框架、规范的数据结构和共享的仿真资源等等.通过对动力学虚拟样机进行初步研究,提出了一个支持复杂动力学虚拟样机系统的设计/开发/集成环境,并对基于运行时间框架RTI(Run Time Infrastructure)的协同仿真环境做了较深入探讨,提出利用数据网关技术解决实时性能高的仿真子网与协同仿真主干网的互联问题,并总结了动力学虚拟样机的特点和关键技术.      

基于FMI的卫星数字仿真平台设计及实现

针对卫星仿真技术的标准化和通用化发展需求,基于FMI(functional mock-up interface)的接口标准和模型复用技术,构建一个能够支持卫星数字仿真的工具体系架构,在此基础上,运用模块化思想设计了卫星数字仿真平台,并给出Simulink及C/C++模型的FMI标准封装方法.利用卫星数字仿真平台,搭建了多星运行仿真场景,通过远程过程调用技术,将仿真过程数据推送到可视化平台中,完成对卫星运行场景的可视化展示.仿真案例说明,卫星仿真平台可以对模型运行状态及变化趋势进行监控,同时,场景可视化平台可以对卫星的运行轨道及姿态等数据实时动态显示.     

实时嵌入式软件测试输入的可视化建模

实时嵌入式软件仿真测试是一种目前应用较广的测试技术.文中根据实时软件及其输入的特点,结合在软件工程领域有着广泛运用的统一建模语言(UML),提出了一套基于输入类图、输入顺序图并辅以输入描述的测试输入可视化建模方法,在此基础上可以自动生成测试脚本或测试数据,用于驱动实时嵌入式软件测试的进行.      

空间拦截仿真平台设计

仿真平台研制是系统仿真的重要课题.根据空间拦截过程仿真的需要,提出了一个可集成多种空间拦截任务、便于扩展、具有完善可视化功能的仿真平台设计方案.介绍了仿真平台的层次划分、各层次的主要功能以及层次间的关系.详细阐述了仿真平台的整体框架.重点研究了平台可视化的实现技术和集成多种拦截任务的具体方法.实际应用表明:该平台可以完成多种空间拦截任务的仿真并具备足够的扩展能力,完备的可视化功能更为空间拦截问题的研究提供了便利.      

基础软件平台集成测试组合选择方法

针对基础软件平台集成测试组合爆炸的问题,研究了组合设计方法,提出了一种基于组合设计选择基础软件平台集成测试组合的方法.该方法将基础软件平台看作是一个多因素的系统,组成平台的每类基础软件用一个对应的因素变量来表示,每类基础软件的不同品牌产品表示为各因素变量的多种取值,构建相应的正交表或基于正交表的覆盖表,采用正交表或覆盖表来选择集成测试组合,按照选择的集成测试组合进行基础软件平台集成测试.应用实例表明该方法保证了集成测试组合对基础软件间两两交互的全覆盖,并有效地降低了集成测试组合数.     

基于反射的分布交互仿真软件框架

软件框架需要在领域内不同的应用环境中使用,因此框架的适应性是其非常重要的质量属性.将反射技术引入建模与仿真领域,通过将支持大规模分布交互仿真系统开发的软件框架进行体系结构级的反射,解决了系统结构动态演化和运行时扩展问题;通过对仿真模型进行组件或对象级的反射,解决了模型的动态表示和行为演化问题.通过将反射塔构造为一个数据仓库对反射模型进行集中管理和统一接口访问,使系统在体系结构模式上表现为以数据仓库为中心,改善了反射系统的安全性,同时提出了一种新的基于反射数据库的软件设计模式.利用RTI的服务去维护分布的仿真节点的反射数据库,简化了系统的实现,同时也封装了RTI,从而构造了一个比HLA更高级和友好的分布计算和仿真环境,为仿真应用系统的快速开发提供了强有力的支持.      

舱外航天服热设计技术

提出了舱外航天服热设计技术的研究内容,回顾了国内外在该领域的研究现状.分析了二维冷／热宽温度范围内的人体热调节系统、手指温度仿真以及液冷通风系统传热传质过程,建立了舱外航天服热设计仿真技术平台.通过人体热生理实验对该热设计仿真技术进行了验证.      

虚拟测试技术在卫星研制中的应用

针对卫星研制过程中技术难度跨越大和“阶段交叠,多线并行”等问题,提出一种虚拟测试技术.该技术以虚拟测试平台为依托,将星上软件嵌入虚拟目标机中,并将其与动力学仿真软件、部件仿真软件和自动化测试软件共同运行于一台PC机上,实现了软件运行的真实底层环境、软件各项功能、对外接口的模拟.虚拟测试具备“全软件工作”和“半实物工作”等多个模式,既能采用全虚拟部件运行,也支持接入真实部件,可应用于卫星各个研制阶段.和传统纯硬件测试相比,虚拟测试大大提前了测试时机,丰富了测试手段,同时缩短了测试周期,提高了卫星研制效率,节约了研制成本,具有较强的工程推广价值.     

实时嵌入式软件测试执行引擎的设计与实现

自动化的实时嵌入式软件测试中,测试描述执行系统的设计与实现是需要解决的关键问题之一.基于面向对象的思想,设计和实现了实时嵌入式软件测试描述语言的执行引擎.介绍了测试描述驱动的实时嵌入式软件自动化测试过程,并在此基础上提出了测试描述执行引擎的总体设计方案,阐述了编译过程和执行过程的实现方法,给出了符号表管理中哈希函数及其冲突的解决方法和基于SBRMS(Segment-Based Rate Monotonic Scheduling)调度策略的测试描述执行过程.对引擎的执行效率进行了评估和分析,结果表明,通过合理控制测试描述的规模和并发执行个数,测试描述执行引擎能够满足实时嵌入式软件自动化测试对实时、并发特性的要求,并具有良好的可移植性.     

嵌入式软件仿真测试环境软件体系结构研究

利用嵌入式软件仿真测试环境(ESSTE,Embedded Software Simulation Testing Environment)对实时嵌入式软件进行系统测试是国内外公认的、行之有效的方法.基于UML和"4+1"视图模型,系统地对ESSTE的软件体系结构进行了描述.各个视图之间保持了良好的一致性,特别地,在设计视图中将ESSTE软件分为两大组件-实时组件和非实时组件,并按照"管道-过滤器"的软件体系结构模式组织,分别给出了它们的关键类.非实时组件的关键类是配置工具类,实时组件的关键类是模型类、实时变量类和调度器类.据此设计和实现的ESSTE-Basic体现了较好的质量特性,如可更改性、可移植性等,其成功地对多个软件进行了系统测试,高效地发现了大量潜藏的软件错误,验证了ESSTE软件体系结构的正确性和有效性.     

UML在软件可靠性测试数据自动生成中的运用

为了自动生成实时嵌入式软件的可靠性测试数据,利用UML(统一建模语言)提供的建模机 制,从软件可靠性测试的角度建立use-case剖面、接口模型和测试数据实现模型,然后根 据 这些模型的描述进行随机抽样,自动生成可靠性测试数据.利用该方法能够开发出相应的测 试数据自动生成工具,在软件可靠性测试领域有着较大的实用价值.     

嵌入式软件仿真测试平台构件化技术研究

软件测试在航天嵌入式软件研制过程中占有极为重要的地位,使用全数字仿真测试平台进行软件测试是行之有效的方法.对仿真测试平台进行层次化构件分解和构件设计,研究航天软件仿真测试平台构件化开发方法,并给出应用实例,证明了该方法可大幅提高平台开发效率.     

嵌入式软件可靠性仿真测试系统研究

 研究嵌入式软件可靠性仿真测试方法和环境.文中给出了仿真测试系统的体系结构,并结合该体系结构对嵌入式软件可靠性仿真测试的软硬件特性,软件可靠性仿真测试的方法、测试环境配置、关键技术及其可行的解决方案作了探讨.特别地,给出了一个生成测试用例的新方法.     

基于仿真器的嵌入式软件单元测试方法

介绍了一种基于仿真器的嵌入式软件测试方法,通过构造链接器分析目标文件,生成内存映像,加载到仿真器执行测试.该方法特别适合嵌入式软件的单元测试,支持对不完整的代码进行测试,同时引入了交互式脚本执行机制,支持采用高级脚本语言而不是嵌入式专用汇编语言设计桩函数和测试用例,降低了测试人员的培训代价.航天某院等单位的应用结果显示,该方法能有效提升嵌入式软件的单元测试效率,有较高的实际推广价值.     

面向可信的航空嵌入式软件开发方法框架

针对航空综合化软件的可信内涵,即可靠性、安全性和实时性,开展了开发方法的研究,提出了针对性的可信内涵模型和相应的开发过程模型,并设计了基于模型的需求分析、组件化设计以及系统配置综合的开发方法框架.在开发方法框架研究过程中,重点分析了航空综合化软件平台的特征,即因为物理资源的限制,软件任务之间存在复杂的交互、资源竞争和共享关系,并分析了这些特征对其可靠性、安全性和实时性的影响.     

飞机连投货物实时仿真软件及应用

为了降低实时仿真对数字机性能的要求，提出了一个简化数学模型及程序结构的实时仿真软件，验证了可行性，所得结果与全量方程数字计算及实际一致，较好地解决了实时性和精度的要求，表明软件设计合理，性能良好，可用于飞机人机闭环连投飞行操稳特性和安全性的仿真研究和检验。     

机载设备综合ATE通用软件平台

针对机载设备综合ATE测试程序的编制及运行,提出一种既可编制测试程序又可运行测试程序的通用软件平台,测试程序以文本文件形式保存,实现了测试参数与测试源程序的分离。     

一种无人机飞行控制管理软件回归测试方法

针对大型嵌入式软件测试的难题,提出了基于系统快照的自动化回归测试方法,并以无人机飞行控制管理软件为研究案例进行了关键技术解析、测试系统设计及分析.利用系统快照技术实现了彼此之间关系繁杂的测试用例的解耦,将复杂的系统测试转化为灵活的单元测试.结合CPPUnit的测试框架,建立了自动化回归测试的系统结构,并深入分析了各部分的功能和执行过程.进而设计出基于系统快照的自动化回归测试执行流程和测试用例的编制流程.给出了某型无人机飞行控制管理软件在不同方法下的测试结果,通过数据对比验证了测试系统的高有效性.