嵌入式分区操作系统可靠性技术的研究与应用

嵌入式实时多分区操作系统是专门为新一代航空电子系统开发的,是支持综合化航空电子系统的嵌入式实时操作系统,该操作系统是基于分区的高安全、高可靠操作系统,其可靠性决定了运行在其上的应用软件的可靠性。从软件可靠性概念着手,深入研究了嵌入式实时多分区操作系统开发过程中涉及的可靠性设计技术,给出了软件可靠性应用的示例,并研究了操作系统软件研发中使用的可靠性管理方法,对软件的可靠性进行了总结。     

军用软件可靠性策略研究

在分析影响军用软件可靠性因素的基础上，借鉴能力成熟度模型(CMM)过程规范思想，提出了一套完整的军用软件可靠性解决策略，包括软件可靠性组织过程、软件可靠性管理过程、软件可靠性工程过程和软件可靠性支持过程，并概要描述了各个过程所涉及的技术和实现方法。     

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

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

软件可靠性测试数据生成方法研究

阐述了构造非实时软件运行剖面的方法,以及根据运行剖面生成非实时软件可靠性测试数据的方法,并提出了构造实时软件运行剖面和生成实时软件可靠性测试数据的思路。最后给出实例,系统地演示非实时软件可靠性测试数据的生成过程。     

软件可靠性研究综述

论述了软件可靠性的重要性,着重介绍了软件可靠性的指标、软件可靠性模型和提高软件可靠性的方法,给出了一些软件可靠性方面权威站点的网址,探讨了值得研究的几个问题.     

基于静态删减算法的神经网络在软件可靠性预测中的应用

与传统的基于人工神经网络的软件可靠性预测模型结构普遍由预先经验或者通过不断尝试的方法确定不同,在分析一般的软件可靠性模型的基础上,提出将一种基于静态删减算法的神经网络模型应用到软件可靠性预测中。通过利用2组经典的软件失效数据进行仿真,并与传统的神经网络可靠性预测模型对比分析,研究了神经网络拓扑结构和预测精度的关系,结果表明,基于静态删减算法的运用能够提高神经网络模型对软件可靠性的预测精度。     

软件可靠性控制及关键环节

以实例和统计数据说明了软件可靠性的重要性 ;阐述了软件可靠性的有关概念 (如软件工程、软件寿命分布、软件可靠性验证、软件过程等级等 ) ;介绍了软件方案设计阶段可靠性设计工作的主要内容和软件可靠性设计的主要措施 ,以及保证软件可靠性的几个关键环节。     

下一代航空电子系统及其标准化

简要介绍了航空电子系统的发展过程;以美国先进的航空电子研究计划和Ｆ－２２飞机综合航空电子系统为例,介绍了下一代航空电子系统及其采用的主要标准;提出了航空电子系统标准化方面要做的主要工作。     

作战飞机航空电子系统的发展及其关键技术研究

介绍了航空电子系统结构的发展历程，分析了综合航空电子系统的关键技术，提出了我国下一代对地攻击机航空电子系统的发展构想。     

软件可靠性设计在机电管理系统软件中的应用

阐述了实施软件可靠性设计的必要性、软件可靠性设计和分析的主要技术,以及软件可靠性设计和分析技术在机电管理系统软件中的具体应用。     

加强航空武器：电子系统的系统工程工作

论述了航空武器-电子系统的特点,系统工作的重要性;介绍了俄罗斯航空系统科学研究院НИИAC实施航空-电子系统的系统工作的特点、做法;提出了加速我国航空武器-电子系统工作的建议。     

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

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

机载计算机软件的测试

测试是保证机载软件质量可靠性的关键工作,但由于其复杂性和特殊性,机载软件的测试存在许多特殊的困难。本文对机载软件的特点进行归纳并分析其对软件测试的影响,针对机载软件的特点提出了相应的测试策略,特别地对机载软件可靠性测试的关键技术进行了讨论,提出了机载软件可靠性测试的完整方案。     

基于AFDX的特种飞机任务电子系统总线应用研究

随着航空电子系统综合化程度的不断提高,对数据总线的通信能力提出了更高的要求,此需求对于具备较高信息收集能力的特种飞机任务电子系统来说尤为突出.本文提出了一种基于航空全双工交换式以太网(AFDX)的特种飞机任务电子系统构建思路,并对其进行了分析与验证.     

软件可靠性及其评估

软件可靠性性工程是一门与软件工程密切相关的可靠性工程新的分支学科。随着嵌入式计算机在战术导弹武器系统中的应用，人们已愈来愈重视软件可靠问题。本文在分析了软件可靠性特征和可靠性模型的基础上，通过实例介绍了软件可靠性测试软件可靠性评估的一些方法。     

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

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

航空电子系统发展的若干思考

结合国外航空电子系统的发展过程，简要介绍了新一代航空电子系统的特点以及新一代航空电子系统所应用的通用模块技术、高速多路传输总线技术、软件技术、仿真技术等关键技术，并就航空电子技术的发展提出若干思考。     

软件可靠性之定量评估方法研究

基于对多种软件可靠性模型的分析,并结合工程软件之特点,提出一种工程软件适用的可靠性定量评估方法,并将其应用于某航天工程软件的可靠性评估。实践表明,本方法简单、可行,对其它领域的软件可靠性评估同样具有参考价值。     

航空电子系统标准的发展研究

通过对航空电子系统信息传输技术发展的分析 ,提出了新一代航空电子系统信息传输技术以模块化开放式结构和COTS技术为主流的发展方向 ,并对主要研究内容进行了探讨     

新一代航空电子系统及其保障对策

航空电子系统的综合化、模块化、给系统的保障提出了新的挑战。本文介绍了新一代航空电子系统的技术特点,探讨了提高新系统作战完好率坟降低保障费用所应采取的保障对策。