综合化航空电子系统可信软件技术

航空电子系统要求航空任务的执行具有确定性、可预测和可控性。深入分析综合化航空电子系统软件安全性、可靠性、完整性和实时性需求,提出了综合化航空电子系统软件可信性的定义。首次将可信计算引入到综合化航空电子系统中,建立综合化航空电子系统可信软件体系结构,在此基础上,提出软件可信运行环境构建方法和可靠性增强技术。这些技术能够保障综合化航空电子系统的可预测性,对保证飞机任务的执行及其安全具有重要的作用,为研制适合于中国大飞机的综合化航空电子系统可信软件奠定基础。     

浅析美国军用软件成本估算方法

本文结合典型案例深入研究了美国军用软件成本估算步骤和主要做法,归纳并总结了美国军用软件成本估算的特点,提出了完善我国军用软件成本估算和价格管理的建议。     

如何加强军用软件的质量管理

军用软件在武器装备系统中的地位已经越来越重要,但我国军用软件的质量管理起步较晚,因此很有必要研究如何加强军用软件的质量管理.本文在阐述软件生命周期的基础上,从开展军用软件研制单位的软件能力评价、加强软件配置管理和加强第三方独立测试三个方面探讨了如何加强军用软件的质量管理.     

基于QFD和TRIZ的可信软件技术冲突解决方法

为解决软件开发中的技术冲突及提高软件的可信性,提出了基于质量功能展开(QFD)和发明性问题解决理论(TRIZ)的可信软件技术冲突解决方法.首先构建可信软件规划质量屋,在软件开发过程中引入用户视角;其次,重点分析质量屋的技术特性自相关矩阵中呈负相关的技术特性,尝试用TRIZ的发明创新原理予以解决,获得多个可行的创新性解决...     

针对航天测控实时软件的二级AHP-Fuzzy可信性评估模型

随着航天测控系统实时软件的规模和复杂度不断增加,对此类软件可信性的评估越来越重要。然而,如何客观合理地给出一个可信性评估结论也成为新的挑战。通过对航天测控系统实时软件质量特性的分析,确定了航天测控系统软件可信性的评估指标。为了对这些指标进行客观评估,将第三方独立测试结果作为专家评判依据,采用二级AHP-Fuzzy模糊综合评判方法,使软件可信性的评估结论更客观合理。     

SCA在大规模软件无线电系统中的应用分析及其改进方案

介绍了软件通信体系架构（SCA）在军用和民用领域的发展现状,分析了 SCA 给软件定义无线电（SDR ）系统实现带来的诸多益处,指出SCA在大规模SDR系统实现过程中的不足之处,最后给出大规模SDR系统中SCA的改进方案,并总结了方案带来的优势以及后续研究计划。     

军用嵌入式软件的可靠性分析

论述了军用软件的特点,对软件可靠性的性质和特征进行了具体分析,提出了提高军用软件可靠性的方法.     

软件行为的一种静态可信度量模型

根据用户必需的软件中可能隐藏的缺陷或者破坏行为在整个软件中所占比例极低、而当前一般的恶意代码分析技术不适合此类软件的可信度量分析这种情况,提出了理想化的主体行为静态可信的强约束条件,然后结合软件业务流程的确定性、软件代码的可见性以及信息资产风险可评估性,提出了适合工程应用的主体行为静态可信的弱约束条件,并基于主体行为静态可信的弱约束条件构建了模型的实现框架,对用户必需的软件是否将如实地按照用户需求运行进行可信度量,提前确定软件中是否含有对信息系统或信息资产的潜在威胁,以便采取必要的防护措施。     

军用嵌入式软件测试技术研究

随着军用软件规模和数量的不断增长及其在信息能力方面的提升,军用软件质量已成为确保军事工程质量的关键,而推行软件测试以提高军用软件质量更是成为紧迫之举.但当前无论是在软件测试的认识层面,还是对软件测试的管理和技术支撑等方面仍然存在一些问题,软件测试工作形势依然严峻,急需得到改进和加强.本文主要分析了军用软件测试现状、存在...     

Systecon ILS软件在军用无人机装备维修保障中的应用

介绍了Systecon ILS中Opus10和SIMLOX软件的特点和功能,在分析所存在的问题的基础上提出了基于Systecon ILS软件的军用无人机装备维修保障,探讨了该软件在军用无人机装备维修保障中应用的条件.     

加强软件质量控制,提高军用软件的可靠性水平

针对军用软件在质量和可靠性方面存在的问题，提出了提高军用软件质量和可靠性的措施和方法。     

军用飞机状态估计与参数辨识软件包研制

在对最优输入设计、数据协调和数据分析分别进行研究的基础上,应用软件工程化方法研制出相应的软件,再通过管理软件进行统~管理,集成了~个完整的军用飞机状态估计与参数辨识软件包MASEPI。最后,通过仿真测试和实测数据处理,该软件包的有效性和实用性得到了验证和确认。现已应用于实际工程试验与试飞数据处理。     

RFID技术在军用仓库信息化管理中的应用研究

射频识别技术是一种新兴的非接触式自动识别技术,把射频识别技术运用到军事物流系统是实现系统高性能和低成本相结合的最切实可行的一条捷径.随着人们对高性能和低成本的需求的增长,射频识别技术也得到了越来越多的应用.首先介绍了RFID技术在军用仓库信息化建设中的发展趋势和它的特点和优点;然后探讨了射频识别系统的基本内涵和工作原理,对射频卡和阅读器作了一定的介绍;最后在对军用仓库做出需求分析的基础上,完成了RFID技术在军用仓库信息化管理中的软件设计和实验模型构建.本文设计的RFID系统已经成功运用于军用仓库信息化管理的开发和使用.     

软件体系结构的探讨

软件体系结构是软件工程中的一个新兴研究领域,它与软件工程技术的发展有着密切的关系。首先,从软件工程技术的发展了解软件体系结构研究的必然性;然后,给出软件体系结构的概念描述,介绍有关体系结构研究的内容;最后,举出一个实例。     

基于 FACE 思想的软件通用运行环境设计

未来机载能力环境（FACE）思想由美国军方、工业界和学术界共同发起,它针对机载航空电子软件系统提出了一种新的业务模型和参考架构。通过制定参考架构核心元素间的接口标准以及定义基于共识的通用数据模型可以为软件模块的跨平台重用提供便利。本文通过分析 FACE 参考架构的核心思想,结合实现层面的具体考虑,提出了软件通用运行环境的设计方案,旨在硬件计算平台上进一步搭建一个软件计算平台,使得应用软件模块在能够正常运行的基础上尽可能地实现“一次开发,多次应用”。     

防错技术在自动校准软件中的应用

为提高自动校准软件的质量和可靠性,在自动校准软件开发中应用了防错技术。经实践表明,采用防错技术后,开发的数字多用表自动校准软件的质量和可靠性有较大提高,工作效率提高10％以上。     

软件构架技术在网管系统中的应用

软件构架技术是软件复用的一种重要方式，软件构架是研究如何快速，可靠地应用可复用构件进行系统构造，着重于软件系统自身的整体结构和构件间的互联，在特定领域中运用软件构架技术开发应用系统有非常重要的现实意义。本文通过对网管系统性能数据处理平台的设计，来说明软件构架技术在应用系统开发中的实现方法和步骤。     

基于GJB5000A三级的软件配置管理技术研究

软件配置管理是软件工程的一个重要领域.配置管理的目的是利用配置标识、配置控制、配置状态纪实和配置审核建立和维护工作产品的完整性.有效的软件配置管理活动有助于软件质量的提高.对在GJB5000A研发过程的配置管理技术进行充分研究后,经大量实践,提出一种基于GJB5000A三级标准的软件配置管理解决方案,并将其与GJB5000A进行对比,提供符合性说明.