飞行控制系统软件复用技术

软件复用技术能够提高飞行控制系统软件研发效率,保证软件质量。针对飞行控制系统软件的特点,提出以软件复用为目的的软件体系结构,提取了基本构件,并对基于复用技术的飞行控制系统软件研发过程进行了研究。     

基于GJB 5000B的装备软件全生命周期管控方法实践研究

基于装备软件管理现状，分析装备软件研制与管理过程中存在的需求管理不准确、软件测试不充分、配置管理不清晰、文档编写不规范等问题，按照GJB 5000B标准要求，充分借鉴最佳实践，开展装备软件全生命周期管控方法研究并实践，促进装备软件工程化水平的提升。     

基于UML构件分析的软件复用技术

软件复用是提高软件生产力和软件质量的重要途径。本文主要介绍了用面向对象的UML方法来分析构件,并从中提取可复用构件,进而将其封装为EJB构件的开发流程。为快速、高效地构建系统提供了一种可行的解决方案。     

装备软件可靠性分析与设计方法

软件可靠性是软件质量度量6个特性中的核心特性,已经成为决定装备作战效能的关键因素之一。特别是随着装备软件规模巨、功能强、要求高的发展趋势,采用软件可靠性工程方法提高装备软件的可靠性具有十分重要的意义。在对装备软件的系统和详细级故障模式、影响及危害进行分析的基础上,提出了提高装备软件可靠性的实现途径,并从软件研制过程的四个阶段重点进行了阐述,为相关工作提供参考。     

航空结构分析CAE软件发展现状与未来挑战

结构分析CAE软件是核心技术研究的重要手段、重大装备研制的根本保障和智能制造推进的关键支撑,高水平自主可控(航空)结构分析CAE软件对航空科学技术领先创新和装备研制体系完整安全具有重大战略意义。深度梳理了国内外结构分析CAE软件的发展历程,系统分析了其一般性发展规律。从软件的技术复杂度、研发周期、装备需求和可靠性等4个维度,剖析了自主结构分析软件研发面临的时代挑战;从通用分析功能群、专用分析工具链和国产数据资源池3个层次阐述了自主(航空)结构分析CAE软件发展的广义内涵、总体思路和关键技术。最后,基于目前工业软件的世情国情和科学发展规律,展望了自主可控(航空)结构分析CAE软件的未来之路。     

直升机软件安全性分析技术及应用研究

GJB 900和MIL-STD-882C是武器装备安全性管理和控制大纲,就具体的装备,如直升机,如何剪裁和应用这些规范中的要求来指导直升机软件安全性分析工作,在以往型号设计中做得较少,常常受到专家的质疑。该文基于MIL-STD-882C的要求,结合国外型号设计的经验,系统地提出了直升机软件安全性的分析技术,其目的是：提高设计团队的软件安全性分析水平,并在今后的型号实践中,不断完善软件安全性分析工作;应用文中的分析方法,给出其软件设计差错/缺陷并通过相应措施,消除安全性隐患或将软件安全性危险控制在最低可接受的范围。     

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

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

RFID技术在军事试验装备管理中的应用

针对传统军事试验装备管理在效率、实时性、可靠性等方面存在的问题,本文提出了一种基于RFID技术设计和实现智能化试验装备管理系统的方法。在对此系统组成与功能进行总体设计的基础上,着重对系统的硬件模块、软件模块进行了详细设计。实际工程应用结果表明,该管理系统能够实现军事试验装备的自动识别和管理,显著提高装备管理的效率和水平,从而实现装备管理智能化。     

软件复用在测控软件开发中的应用

本文主要介绍软件复用的基本概念,软件复用的优点以及面向对象技术对软件复用的支持。同时结合测控领域中物实践,从软件复用的不同层次阐了可复用的构件在测控软件开发中的应用,阐明了软件复用在提高软件生产率,改进软件质量方面所起的重要作用。     

军用嵌入式可信软件研究

随着军用计算机技术的不断发展,软件在军用设备中的地位越来越重要。软件规模日益增大,安全性、可靠性等问题日益凸显。充分研究可信软件的特性,对提高我国军用装备技术水平意义重大。在总结学术界对可信软件定义的基础上,结合实际的军事嵌入式应用阐述了软件可信性特点。分析了国内外军用领域软件可信性的发展现状,总结了软件可信性的评估方法。     

软件体系结构的探讨

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

软件研制过程的管理

从软件工程化管理的观点出发,提出了做好软件研制过程的管理的几点设想、对规范软件研制全过程控制和把握软件研制过程管理几个关键环节进行了有益的探讨。     

计算机软件可靠性分析及抗不可靠性方法

现代技术数字化、自动化、智能化、系统化及综合一体化的高速发展,计算机软件起着重要作用。软件的可靠性是软件研制和开发中的关键问题。对软件的可靠性进行了全面分析,以实例阐明不可靠软件导致的突发性、灾难性后果。给出了软件可靠性预计表达式。提出并探索了排除软件不可靠的方法,这些方法可方便地应用于工程实践。     

对某装备任务系统软件故障的研究

通过对任务系统软件故障进行定位和分析，提出了基于互斥信号量对获取数据进行现场保护及在任务管理区增加对时间的容错处理的解决措施，并对其进行了分析和验证。     

嵌入式软件测试研究

简要介绍了软件测试的基本概念和理论;阐述了软件测试在产品研发过程中的地位与作用;结合嵌入式系统开发的经验和从事软件测试的体会,探讨了软件测试的策略以及如何进行软件测试的设计,并提出了针对我国企业软件测试现状的软件测试解决方案。     

基于并行工程的航空嵌入式软件测试过程研究

航空嵌入式软件市场不断动荡与激烈竞争的局面对航空嵌入式软件测试提出了新的挑战,商业化的第三方软件测试面临着质量、进度、成本等问题,而良好的软件过程与持续的过程改进是解决这些问题的一个途径。从对并行工程的研究入手,将并行工程的方法运用到航空嵌入式软件测试实践中,寻求基于并行工程的航空嵌入式软件测试过程,用于解决以上问题。     

浅析自动校准软件的测试

测试是自动校准软件开发的重要内容,也是保证自动校准软件质量的重要手段.运用软件工程的思想并结合国内校准实验室实际状况,着重介绍了自动校准软件测试的组织管理工作、方法和测试的一些原则.     

航空电子软件仿真测试环境软件体系结构研究

首先介绍航空电子软件的特点,分析航空电子软件测试对测试环境的需求,提出一种分布式仿真测试环境的软件体系结构设计.基于RUP模型,以不同视图系统地对航空电子软件测试环境的体系结构进行了描述.应用代理模式,解决了分布式测试环境节点间实时通讯的关键技术.据此设计和实现的分布式仿真测试平台系统DSTE V1.0已成功地应用于多个航空电子软件系统测试工程中.     

安全关键软件可靠性验证测试方法研究

为了在不降低安全关键软件可靠性验证测试结果可信性的前提下减少测试用例量,在分析经典统计假设测试和无先验贝叶斯统计方法的基础上,提出了一种先验知识动态整合的贝叶斯推断统计测试方法;并提供了软件失效概率的概率密度函数先验分布参数的详细求解办法。实验表明,所提供的安全关键软件可靠性验证测试方法可以用较少的测试用例获得同样的结果可信性。