基于代码自动生成的空间交会GNC系统仿真平台

空间交会对接GNC系统涉及目标器和追踪器两个航天器的姿态轨道控制,其数学仿真比一般的卫星更复杂.给出一种轨道动力学、姿态动力学、相对动力学、测量及执行部件等仿真模型的规范化方法,并在此基础上,提出一套基于代码自动生成技术的空间交会对接GNC仿真平台,该平台的模块化和自动化程度高、软件的可读性和通用性强,实现了两个航天器的快速规范化仿真,显著提高了研究人员的工作效率,为空间交会GNC系统的设计和仿真提供了良好的支持.     

基于模型架构的航天器控制软件研制方式研究

开展基于模型设计研究，旨在解决当前航天器控制软件研制所面临的需求描述准确性、设计验证充分性以及软件产品可靠性等问题.针对基于模型设计过程中的代码胶合接口复杂且操作繁琐问题，提出一种基于模型架构的航天器控制软件研制方式，搭建软件模型驱动框架，通过模型封装方式将既有代码资产或新编写代码嵌入到软件模型驱动框架，简化代码胶合过程.同时，建设航天器控制领域通用模型库来提高成熟算法模型的复用效率及自动生成代码可靠性.本方法研究为推进航天器控制软件向模型驱动开发方式转变夯实基础.     

嵌入式图形用户界面开发平台

针对基于单片机的智能仪器仪表类产品的需求和特点,提出了一种低端嵌入式图形用户界面(GUI)的开发平台. 平台由辅助开发工具集和图形程序库组成,其中后者采用了面向对象的应用编程框架的组织方式,是实现代码复用和嵌入式开发平台化的关键.应用编程框架提供了构造基于单片机的简单多窗口GUI系统所必需的宏观框架和结构元素. 其宏观框架采用了层次系统的组织结构和事件驱动的运行机制,其基本结构元素为GUI构件类. 针对单片机系统的特点,类库的组织避免了实现复杂的类继承机制,代之以平面化的接口继承机制. 平台已被成功应用于某智能仪表产品的GUI子系统的开发.      

一种基于信号模型的ATE仪器资源配置方法

讨论了一种基于面向对象的信号模型构造方法在自动测试系统(ATE)测试环节中的应用,以解决测试资源有限和配置自动化的问题,并给出了一种由所需信号自动获取其资源信息的实现方法.通过分析测试资源与生成信号之间的关系,提出了由已知信号逐步递推获取资源信息的方法,并从理论上探讨了该方法的实现过程.提出了以生成信号的仪器资源信息和继承优先级为指标,从生成成本和生成层次上考察建立信号通道的思路.      

基于扩展Petri网的除冰软件安全需求建模和验证

Petri网是形式化的系统建模方法,以严格的数学基础来保证系统的正确构建,但在支持复杂软件建模和自动化验证方面存在不足.扩展了Petri网的形式语义,区别定义了状态型和数值型库所,区别定义了变迁的激发和抑制状态,引入了无前置、一元和组合判断规则,同时根据形式化定义将模型自动转换为检验程序实施安全性验证.最后给出了以上方法在典型安全关键软件-除冰系统上的应用,过程和结果表明扩展的模型和方法增强了Petri网对复杂软件系统的建模能力,提高了软件的安全性,从模型到验证代码的自动转换解决了完善模型时人工修改相应代码的工作量和因此而引入人为错误的重复工作量的问题.     

一种嵌入式软件安全漏洞的代码加固方法

软件定义的概念和技术的发展和应用，装备嵌入式系统的功能主要由软件定义完成，导致装备嵌入式软件规模性和复杂性都在急剧增加，软件安全问题已经成为嵌入式系统乃至装备产品研制和运行维护的核心关注点.借助主流软件代码安全性检测技术，对装备嵌入式软件的漏洞行为和结构分析，建立装备嵌入式软件漏洞特征和系统不安全行为属性规约，通过对软件属性规约的逻辑演算，形成软件安全性加固需求，提出基于安全规约属性模板的漏洞加固代码生成技术，对软件代码中潜在的安全漏洞进行修复和加固，实现装备嵌入式软件强制安全保障.     

基于扩充Modelica的复杂系统多层次并行仿真

为提高复杂系统多学科建模仿真效率,弥补现有多领域统一建模仿真语言(Modelica)不支持并行的缺陷,提出了一个面向复杂系统建模仿真的多层次并行仿真框架,从仿真任务级、实体级和模型级3个应用层次上充分发掘仿真系统的并行性.将MPI(Message Passing Interface)/OpenMP中的并行元素加入Modelica语言,并通过所提出的代码映射机制将Modelica文本转换为支持并行编程的高级代码(C++),再利用一定的任务分配机制将高级代码在多层次并行平台(多核集群)上高效执行.针对某典型军事复杂系统优化迭代过程进行仿真实验,结果表明上述多层次并行仿真方法能大幅提高仿真效率.     

机载设备自动测试系统通用开发平台

针对当前自动测试系统(ATS,Automatic Test System)开发技术存在的不足,构建了一个ATS通用开发平台.该平台对ATS软硬件进行联合设计,用户只需通过接口输入被测设备信息及测试策略流程,平台即可自动完成大部分软硬件设计工作,包括仪器选型、适配器设计、测试程序生成等.设计结果会传递到平台提供的ATS运行环境,供用户进行被测设备的测试、故障诊断.经实例验证,ATS软硬件联合自动设计技术可缩短开发周期,降低开发成本,提高设计的标准化、通用化程度.      

基于CPLD的雷达信号发生器设计

现代战争对雷达系统设备功能与性能提出了越来越高的要求,信号发生器作为雷达系统的重要组成部分面临着更高的挑战。针对雷达整机测试中动态目标模拟难的问题,提出了基于CPLD的雷达信号发生器设计方法。通过采用可编程逻辑器件,用拨码开关调节产生复杂的组合逻辑时序,控制雷达波形产生器和频率合成器,产生多种高频目标回波信号,模拟空中真实目标,在雷达不开发射机的情况下,实现了对雷达整机性能的测试。同时,对模拟的雷达目标回波信号进行了测试。结果表明,信号发生器满足设计要求。     

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

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

模型驱动的嵌入式系统设计

随着嵌入式系统设计周期越来越短,功能越来越复杂,越来越多领域的设计人员参与设计,市场需求导向致使需求变更越来越多,以传统文档形式的需求来驱动开发已根本不能满足时间和成本方面的要求。本文提出了采用可执行模型、动态需求规格和接口控制文档共同作用的驱动嵌入式系统设计方法,它能够较好地满足目前系统设计的要求。在文中,我们首先介绍了当前嵌入式系统设计中存在的一些问题,然后介绍了模型驱动设计的方法、语言和优点,并对动态需求规格和接口控制文档的执行给出了建议,最后得出模型驱动的嵌入式系统设计是一种行之有效途径的结论。     

一种相机总线数据仿真系统改进研究

针对以51单片机为核心的航空机载设备总线数据仿真系统存在的问题，提出并设计了基于PC104嵌入式系统为核心的总线数据仿真系统。该系统利用ZHHK429-PC104-Plus板卡和自研的ARINC407接口卡，结合25.4cm(10 in)工业级触控彩色显示屏对原系统进行了改进设计，基于Windows Embedded XP操作系统结合LabVIEW实现图形化软件开发，实现了机载惯导和大气机数据仿真输出，使相机在工作房内即可完成全状态通电检测。经测试，该总线数据仿真系统，在原有系统的基础上，各项性能都有明显提升。     

面向航天型号软件的混成建模语言研究

随着我国航天事业的快速发展，软件在航天器中的作用和地位越来越突出，航天软件逐渐成为航天型号任务成败的关键之一.航天型号软件普遍具有实时性高、可靠性要求高、运行环境复杂以及航天器结构复杂、资源受限等特点，这给航天型号软件的描述、设计、分析和实现带来了巨大的挑战.嵌入式周期控制系统语言(SPARDL)仅关注了离散时间的动力系统，为了描述物理世界的连续行为，希望发展一种面向航天型号软件建模特征的混成描述语言(HSPARDL)，使其能够统一地描述其运行的物理过程与软件的控制行为，以及它们之间的协同交互机制，同时，为其提供严格的形式语义模型确保嵌入式软件设计的正确性和可靠性，最终为航天型号软件的设计和实现提供坚实的理论基础和方法支撑.     

面向航天器嵌入式软件的在轨修复方法

航天器在轨运行的修复手段主要是软件的在轨修复.SPARC平台是我国航天领域应用最广泛的处理器架构设计.针对SPARC平台的航天器软件在轨修复问题,提出一种基于二次链接的方式生成在轨软件修复注入码的方法,解决在轨修复注入码重定位的问题.通过地面遥控注入,利用航天器在轨软件预埋的钩子函数,实现在轨函数模块的动态替换及恢复,大大提升SPARC平台软件的在轨修复能力.通过多个在轨航天器的实际工程应用,证明该方法是可行的和有效的,且具有良好的工程应用价值.