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

随着我国航天事业的快速发展,软件在航天器中的作用和地位越来越突出,航天软件逐渐成为航天型号任务成败的关键之一.航天型号软件普遍具有实时性高、可靠性要求高、运行环境复杂以及航天器结构复杂、资源受限等特点,这给航天型号软件的描述、设计、分析和实现带来了巨大的挑战.嵌入式周期控制系统语言(SPARDL)仅关注了离散时间的动力...     

航天嵌入式软件浮点运算误差分析与控制

针对当前航天型号控制软件浮点运算中存在精度损失和误差传播的问题,从浮点数据结构、浮点精度损失、误差来源和度量几个方面进行了详细阐述,并结合具体案例,通过分析航天型号软件中常见浮点运算误差,为有效解决型号软件误差控制问题提供参考.     

一种无人机通用综合检测系统

为了增强无人机系统检测控制设备的通用性,提高检测精度,设计了一种基于面向仪器系统的PCI扩展(PXI)总线及虚拟仪器(VI)的无人机通用综合检测系统.针对无人机系统工作的特点,从功能设计、体系结构、软硬件设计等方面对该系统的通用性进行了探讨.该系统采用了虚拟仪器技术,硬件设计采用PXI体系结构,软件以LabWindows/CVI作为开发平台.通过配备不同的接口适配器和对软件参数设置进行相应更改,可适用于不同型号的无人机电气、舵机、发动机、起飞和回收等系统检测.同时提供矩阵输出,利用系统资源满足无人机各种信号测试/激励的需求.该系统已成功应用于某复杂型号无人机的地面综合检测.      

在轨服务卫星GNC系统地面测试与在轨支持设计

针对在轨服务卫星GNC系统的任务特性,设计了一套地面测试系统,经过相应模块扩展即可用于在轨服务技术支持.该系统已应用于某型号GNC系统的地面测试和在轨运行,稳定性和可靠性良好.地面测试系统由动力学仿真器、星上产品模拟器、ATS测试系统、三维显示系统组成,该系统充分验证了星上软件算法逻辑和硬件电气接口.增加三维避障、图像显示分析等模块后,测试系统实时性更强,可视化程度更高,能适应卫星在轨服务等复杂工况.     

三轴虚拟转台的智能仿真模型库研究

针对三轴虚拟转台系统中的智能模型库单元,采用遗传算法、参数化设计和虚拟现实等技术,实现转台仿真模型库的智能设计和快速性.通过Pro/Toolkit软件接口和参数化方法建立起转台仿真模型库软件系统,采用遗传算法实现模型库的智能优化设计,同时实现模型库的自动装配和实时仿真,并最终形成通用的转台智能仿真模型库软件平台.实际仿真结果表明,智能模型库的实现除了具有智能参数化模型库设计功能外,还具有优秀的开放接口,如果进一步完善接口的通用性,将减少智能仿真模型库应用的局限性,应用更加广泛.     

某型导弹专用测试设备检定系统设计

论文针对某型号专用测试设备研究专用检定系统。系统设计采用了GPIB总线控制技术、通用适配器技术,软件的设计利用虚拟仪器技术,增加了交互性和灵活性。     

面向航天型号研制体系的质量成本管控

针对航天型号产品研制过程的质量成本管控方法展开研究,构建了面向航天型号研制过程的多层次、变粒度、闭环控制的质量成本管控总体模型,该模型将集团-院-厂所3级组织体系与型号研制过程和质量成本管理策略融为一体.针对不同管控层次在控制粒度、过程与内容的不同,分别给出了面向集团、院、厂所的质量成本管控方案.方案将管控过程分成事前、事中和事后3个阶段,并将相应的分析方法、工具、信息融入各阶段,从而构成了各层次质量成本管控闭环.设计开发了支持多级协同的分布式质量成本管理系统——QQ-WebCost,并成功应用于某企业信息化建设项目中.      

执行机构驱动单元软件的设计与分析

介绍执行机构驱动单元软件(ADU)的功能设计和时序设计.从总线消息时序冲突、临界资源访问冲突等方面分析软件外部接口时序设计约束、内部接口时序设计约束的满足性,对时序设计有效性进行验证.软件可靠性设计方面,采用软件失效模式及影响分析(SFMEA)方法识别软件中的关键变量/器件,对其采取单粒子效应防护措施,并验证了措施的有效性.     

运载火箭双维度极性检查方法与应用

运载火箭接口极性设计及安装的正确性关系到型号的飞行成败,为确保运载火箭在设计及生产制造过程中的极性正确性,提出了一种对设计极性和安装极性进行双维度闭环检查确认的方法。本方法已在新一代大型运载火箭中实现了全箭接口极性全流程闭环检查确认,加强了极性设计状态和产品安装实现的闭环管控,确保了接口极性设计的正确和匹配。     

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

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

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

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

航天器控制软件可靠性工程方法研究

当前航天器控制软件的复杂度越来越高,软件的规模十分庞大,对软件可靠性安全性要求极高,因此对航天器控制软件的可靠性设计和度量具有重要意义.介绍和分析适用于航天器控制软件的可靠性设计方法,并结合某型号给出实际的软件设计以及可靠性度量的具体实例.     

软件可靠性测试充分性问题的理论研究

在分析了软件可靠性测试充分性准则研究的重要意义的基础上,阐述了软件测试充分性准则的概念、分类以及软件可靠性测试充分性准则与整个软件测试充分性准则体系的关系,提出了其在软件可靠性测试中的一种实现方法,是借鉴已有的软件测试充分性方面的理论,对软件可靠性测试充分性问题进行的初步探索.      

航天嵌入式软件静态分析技术

软件故障已成为航天系统失败的重要因素.源代码级程序错误仍是航天嵌入式软件中最突出的问题之一,数组越界、算术溢出、除以零、指针错误、数据竞争等问题仍经常发生.静态分析能够在编译时通过分析源代码来推断程序运行时性质,是提高航天嵌入式软件安全性与可靠性的一种重要技术.首先将分析航天嵌入式软件的代码特征及常见错误.在此基础上,介绍了适合于航天嵌入式软件错误检测的静态分析技术,包括抽象解释、符号执行、数据竞争检测等.然后,介绍了国内近年来在面向航天嵌入式软件的静态分析技术与工具方面的研究进展.最后,对未来发展方向做了简单展望.     

面向源代码可信证据的航天软件可信度量评估方法

随着航天技术的迅猛发展,航天软件的功能越来越复杂,规模越来越大,对软件可信性的要求也越来越高.航天软件一旦失信,其带来的损失往往无法估量.从源代码证据入手,建立面向航天领域的嵌入式软件可信度量评估方法.结合航天领域特性,建立了面向C语言代码的可信证据规范,该证据规范区分关键证据与非关键证据以及可信正证据和可信负证据;提...     

遗传算法在软件测试数据生成中的应用

测试数据生成是软件测试中的关键环节,它的实现对于软件测试过程的自动化具有重要意义.本文阐述了用遗传算法作为核心搜索算法来生成软件结构测试数据的方法和技术,其中讨论了编码策略、评价函数构造及插装等问题的解决方案,并重点说明了如何对遗传算子进行改进,使算法在解决本问题时更加有效.实验数据证明该方法是高效的.     

基于知识图谱和自动机器学习的软件缺陷预测

不稳定和召回率低效的软件缺陷预测模型难以在行业领域应用,为解决稳定和高效各项性能评价指标的软件缺陷预测模型在工程实践应用的问题,提出了一种基于知识图谱和自动化机器学习的软件缺陷预测方法AutoKGGAS,首先获取软件缺陷预测模型数据,对知识建模、知识获取、知识融合、知识储存与知识计算等知识图谱构建技术研究,实现知识图谱...     

嵌入式软件测试开发环境的框架设计

采用软件设计上的复用思想,对嵌入式软件仿真测试环境进行框架的设计,可以使测试环境在不做大幅度修改的情况下适应不同的被测软件,节省设计的时间和费用.论述了由框架开发软件的过程,并把此过程应用于测试环境;对嵌入式软件仿真测试环境进行总体分析,确定了它的3个主要组成部分;归纳出作为测试环境重要组成部分的测试开发环境的基本功能,并使用专门针对框架开发的UML-F建模语言设计了一个框架;对已开发成功的测试开发环境框架,提出了具体的框架适配方案.本设计已在实际工程中得到了应用.