一种新的硬/软件系统可靠性分析方法

在一种新的软件可靠性分析方法基础上，参考硬件系统的阶段性任务可靠性的建方法，为在对于不可修的计算机系统进行可靠性分析时考虑硬、软件之间复杂的相关作用提出了一套比较全面的解决办法。从而为更准确地评估计算机系统可靠性提供了可能。文中分析了一个飞行控制系统实例。     

软件可靠性测试充分性工程技术研究

本文在阐述了软件可靠性测试的特点和影响软件可靠性的因素的基础上，提出了软件可靠性测试的充分性准则，结合工程实际，研究了可靠性测试环境、可靠性估计、可靠性测试验证方案，给出了将测试充分性准则用于可靠性测试的流程模型，为软件进行可靠性测评提供了方法。     

基于系统状态分析的软件可靠性测试方法

航天工程类软件由于其应用环境的特殊性,对软件的可靠性和安全性非常重视.但是在航天型号中应用常规软件可靠性测试方法对工程软件进行可靠性评估却存在许多实际困难,本文介绍了一种基于系统状态分析的软件可靠性测试方法,为在航天型号工程类软件中开展可靠性测试提供了一条可实现途径.     

星载软件可靠性设计方法

分析了星载软件及其可靠性的特点，针对空间环境对星载软件的影响，提出了软件工程化、模块化和容错设计、遥测遥控处理，以及异常检查等提高软件可靠性的设计措施，并说明了软件测试对提高可靠性的重要性。     

软件可靠性与安全性工作要求综述

在航天、军事等领域中,硬件功能软件化、软件密集化已成为发展趋势。软件作为系统中的关键组成部分,其对系统的影响比重日益增大,如何保证软件的可靠性与安全性受到广泛关注。特别是当前型号中软件规模、复杂度、软硬件耦合程度大幅提升,对软件可靠性与安全性工作提出了更高的要求。本文在调研国内外有关标准的基础上,结合实际型号工程经验,对软件技术管理要求、不同阶段的可靠性与安全性工作要求等进行了系统总结,可为后续的软件可靠性与安全性设计、验证及管理等工作提供输入。     

硬／软件综合系统可靠性研究进展

本文对计算机硬／软件综合系统的可靠性模型，以及ＦＭＥＣＡ，ＦＴＡ等故障分析技术的研究进展状况进行了一个概述。结合典型模型详细介绍了模型分类、教学处理方式和建模方法，探讨了在硬／软件综合系统可靠性建模中存在的一些特有的问题。     

航天软件需求可靠性与安全性分析验证技术及工程应用研究

软件需求可靠性与安全性分析验证可有效识别功能层次的需求遗漏、设计缺陷及相关的危险等,是提升软件可靠性与安全性的有效手段。GJB 900A等标准中已要求开展该项分析工作,但与NASA相比,目前工程应用推广尚待加强。本文在调研分析已有方法的基础上,总结实际工程经验,提出了一套操作性强的航天软件需求可靠性与安全性分析验证技术,可为该技术的工程推广提供借鉴。     

基于虚拟化的火箭测发控软件冗余技术

火箭测发控软件是地面的核心软件,其重点业务需要使用软件冗余技术来保障发射的可靠性。本文研究并提出一种基于B/S架构的测发控软件系统设计方案,并在虚拟化平台上实现软件冗余技术,以满足日益增长的对测发控软件可靠性的需求。     

适用于航天软件开发的可靠性度量

介绍了软件可靠性和软件度量的概念 ,阐述了航天控制软件的特点 ,提出了可靠性度量的选择准则 ,推荐了 14种适用于航天控制软件的可靠性度量     

基于能双理论的软件可靠性建模

提出了在传统在NHPP软件可靠性模型的基础上加以改进的思路，从能双可靠性理论出发，建立了一种面向软件计失效数的可靠性模型，与现有的模型相比，更能体现软件测试及运行中可能出现的复杂的模糊因素。     

控制软件可靠性设计和评估方法

介绍软件可靠性的定义 ,探讨软件失效的机理并阐述设计一个可靠控制软件的原则 ,提出一种基于三角形模糊数算术运算的软件可靠性评估方法。     

小卫星星载容错计算机控制系统软硬件设计

创新一号低轨存储转发通信小卫星是中国第一颗重量在100公斤以下的小卫星，介绍了其星载计算机系统的设计方案。由于卫星采用了计算机集中管理方式，为保证星载计算机的可靠性，设计中对硬件使用了双计算机热备份冗余设计，星载计算机的可靠性同时通过软件和硬件协同容错设计来实现。卫星的星务管理、遥测、遥控、姿态控制、电源管理、通信控制、轨道控制等都需要通过计算机软件完成，介绍了这些软件的主要功能和容错设计。创新一号星载计算机采用了多项新技术，并经过了一年多的飞行测试验证，达到了预定的运行目标，星载计算机圆满完成了各项设计功能，证明了卫星计算机系统的安全可靠。     

一种基于模型的飞行控制软件可靠性分析方法

将软件可靠性参数估计的方法引入到航天自动控制领域,在探讨了模型可靠性指标选取原则和评价方法的基础上,提出了一种基于飞行控制软件可靠性模型综合分析的方法。     

基于反熔丝型FPGA的有效载荷可重构技术

针对在轨卫星功能维护、扩展和更新的需求，设计一种星载FPGA可重构方法。通过硬件三模冗余、软件三模比对，提高星载信号处理FPGA配置的可靠性；通过地面向卫星配置FPGA发送擦除、写、读指令，实现星载配置数据存储FLASH芯片的擦除、写、读操作，从而实现星载信号处理FPGA的重构，进而可以实现有效载荷功能的在轨更新或升级，减少硬件重复开发，降低成本。     

水情闸控系统动态检测装置的设计

水情闸控系统动态检测装置用于检测即将现场使用的水情测报系统和闸门控制系统,对提高这类系统的质量和可靠性大有好处。文章对动态检测装置的设计思想和设计方法做了详细的论述,提出了将以前试验室里的静态测试变为现在模拟现场动态测试的理念,并给出相应的设计方案     

空间双机容错计算机系统研究

为在资源有限的条件下，最大限度地实现长寿命空间飞行器计算机系统的容错，同时又能达到所要求的性能，提出了一个模块化的双机容错设计方案。采用热冗余比较方式，软硬件组合实现系统的容错管理，可保证在某个资源或包含该资源的模块发生故障时，不会导致整个系统的失效，并具备模块级重构能力，从而实现系统的资源共享。不同冗余系统可靠性分析和有关测试结果表明，所设计的双机容错系统性能满足有关要求。     

一种星载软件在轨编程功能的设计和实现技术

对卫星姿轨控计算机软件在轨编程功能的设计和工程实现技术进行了研究，给出了在轨编程的原理、实现方法、可靠性设计、资源分配、接口要求和在轨编程的操作步骤。试验结果证明，提出的星载软件在轨编程原理和实现方法合理可行。     

VXI总线在FY-2卫星无线测试中的应用

介绍了风云二号(FY-2)气象卫星VXI总线无线测试系统的功能、硬/软件结构.给出了设计中采用的VXI总线技术、硬件配置和在LabWindows/CVI环境中的软件模块化设计方案,以及输出功率限制、微波开关初始化控制、系统安全管理控制和仪器控制顺序正确等软件安全性和可靠性设计.该测试系统的测试能力强、体积小、研制成本低,具有测试结果准确、自动化程度高、工作稳定可靠、操作简便,以及转移和维护容易等优点,在FY-2卫星电性星、正样星和发射星测试中发挥了重要作用.