测试系统的软件平台

测试软件平台为测试系统的组建提供了可视化的测试程序开发环境、测试资源的管理、测试数据的管理和仪器驱动库的管理等工具。文章介绍了软件平台的总体结构。并对软件平台的实现作了描述。     

运载火箭三冗余飞行控制软件的数字仿真设计

提出了一种采用三冗余技术保证运载火箭飞行控制软件可靠性的设计方案,选择合适的冗余模式建立了三余度飞控软件的数字仿真平台,并给出了实现余度策略、同步算法等关键技术工程的软件流程。测试结果表明,该方案设计合理,不仅较好地完成了飞控计算机的余度管理任务,而且有效地保证了系统的可靠性与容错能力。     

无控航天器与空间碎片再入的工程预测方法研究现状

无控航天器、火箭末级以及空间碎片再入地球大气层后可能未烧尽,残存的小碎片高速撞击地面,对人类安全和生态系统构成极大威胁。提前预测其再入轨迹并采取预防措施能够有效降低地面风险。文章对无控航天器和空间碎片再入工程预测模型,包括航天器模型、动力学模型、气动热模型和烧蚀解体模型的研究现状进行跟踪与总结,也介绍了国内外有公开资料的工程应用软件,并讨论若干关键问题和进一步研究方向。     

局域网络操作系统NETBIOS的开发与应用

随着局域网络产品的不断增加,局域网络的标准化问题就变得非常重要,它可以缩短网络开发周期并提高其兼容性。由美国IBM与Microsoft公司推出的以DOS为基础的NETBIOS网络操作系统,已构成当前局域网络研制的标准,它使各种局域网络均向它靠拢,形成了目前局域网络软件开发的主要方法与途径。 本文在对NETBIOS分析的基础上,进行了应用开发,为光纤局域网络NHFBNET研制出NHDCS网络软件。在研制过程中很好地解决了分布式网络软件的前后台功能与程序的可重入问题,使得所研制的软件具有较强的分布式功能和良好的兼容性,为第三代网络软件——分布式功能的网络软件的开发探索出一条新的路径。     

实时遥测原始数据对接方法的研究与应用

实时遥测数据处理系统借鉴了事后处理中多站原始数据对接设计思路,实现了实时遥测原始数据对接。实时对接数据处理具备了实时处理的速度和事后处理的质量,提供了一种全程连续的结果,并能克服部分设备数据散乱造成的参数误解问题,更好地满足了任务需求。实时对接技术是实时遥测数据处理系统中的亮点和难点,本文提出并实现了以遥测数据帧为粒度的实时多站遥测原始数据对接方法,分析了实时对接中面临的现实问题和困难,给出了方法实现的关键步骤、核心算法和具体流程,并指出了与事后对接的相同点和不同点及难点。最后,对方法的应用效果分别同单站设备结果、事后对接结果进行了比对分析,比对结果表明了该方法的可靠性、有效性和鲁棒性。该方法已多次应用于实时任务中,效果良好。     

基于UG软件的航空发动机液压系统执行机构设计

介绍了用UG软件进行航空发动机液压系统执行机构壳体油路设计、油路检查、装配应用和设计说明等的方法。     

基于工厂模式的OSLC数据集成接口设计与实现

复杂软件系统往往由不同地域的研发团队采用不同的开发工具来协同完成,研发过程中存在数据难以集成的问题.基于开放式生命周期协作服务(OSLC)规范来设计软件协同开发数据接口,有利于提高软件协同开发的效率.首次结合工厂模式和OSLC规范设计并实现数据集成接口,将不同工具的数据集成抽象成统一的公共接口,从而采用统一的数据接口和规范实现不同工具的数据集成,有利于优化软件系统体系结构.以符合OSLC规范的Bugzilla缺陷管理系统和Jenkins持续集成工具的集成为例,以面向航天软件系统研发的SunwiseAEM一体化研发管理平台为载体,基于工厂模式设计并实现了符合OSLC规范的数据集成系统,实现了不同工具间的数据集成,提供了一种通用的、可扩展的数据集成方式.     

面向安全属性的软件组件可信依赖关系度量模型

随着软件的应用规模越来越大,软件系统一旦出现故障,很可能会造成人员伤亡或财产等重大损失,因此对软件可信性进行评估尤为重要.在安全攸关如航空航天等领域,作为可信关键属性之一的安全性影响着整个软件系统的可信评估.特别当一个组件受到安全攻击或缺陷出现时,可信性会下降,会影响到与它可信关联的组件可信性,从而影响到整个系统的可信性.遵循这一思路,设计了软件系统组件可信性发生改变后对其它组件可信性影响度量公式,进一步给出当一组件可信性发生变化,整个软件系统各组件可信性度量发生变化的度量模型.本文以某“航天电源管理设备”为例,证明了本文所建立的组件可信依赖关系度量模型的合理性和有效性.     

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

不稳定和召回率低效的软件缺陷预测模型难以在行业领域应用,为解决稳定和高效各项性能评价指标的软件缺陷预测模型在工程实践应用的问题,提出了一种基于知识图谱和自动化机器学习的软件缺陷预测方法AutoKGGAS,首先获取软件缺陷预测模型数据,对知识建模、知识获取、知识融合、知识储存与知识计算等知识图谱构建技术研究,实现知识图谱推荐优质软件缺陷预测模型作为自动化搜索的热启动输入条件,根据不同的软件缺陷预测评价指标,优化不同最佳的模型结构.其次实证研究采用NASA开源数据集实验对象和六种性能评价指标,实验结果表明, AutoKGGAS自动化软件缺陷预测模型在不同数据集不同评价指标方面,性能优于知识图谱推荐的传统经典软件缺陷预测模型.自动化软件缺陷预测模型为航天软件缺陷预测辅助代码审查测试提供了原型,在工程实践应用方面具有重要的意义.     

航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向.