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

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

软件可靠性度量在航天控制软件中的应用

在软件开发中如何使用软件可靠性度量是航天软件开发过程中亟待解决的问题,为了解决这个问题,本文对11个软件可靠性度量在航天某型号控制软件中进行了应用,度量的结果验证了推荐出的软件可靠性度量具有可操作性和实用性。     

软件需求中的可靠性策略

软件可靠性要求的实现应是从系统分析和需求阶段就开始进行考虑，通过软件的需求、设计、编码、测试、维护以及相应的组织和管理来保证。文中通过对时钟结构化的分析，试图就航天嵌入式软件谈了在需求分析阶段中软件可靠性策略与体会，同时论述了在航天工程中软件接口分析的合理性与增强软件可靠性的意义。     

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

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

基于代码自动生成的计算机辅助系统设计与实现

主要探讨航天型号中的时序控制软件的辅助生成,结合航天型号时序控制软件的研制现状,针对现行软件研制过程中存在的问题,设计实现基于自动生成的计算机辅助系统,代替人工生成模式,切实提高航天工程中软件的研发效率和可靠性。     

航天器软件代码走查方法研究与应用

软件可靠性是现代航天器可靠性工程中的关键因素之一．而代码走查是提高航天软件质量和可靠性的重要手段。本文在空间飞行器软件检测站代码走查实践的基础上，总结并提出了一种针对航天软件特点的代码走查方法，该方法有助于提高走查的效率和保证走查的质量。方法由优化排序的代码检查单、结构化分析方法、专题分析技术和软件缺陷知识库构成。最后通过某星载软件的代码走查案例对方法的有效性和实用性进行了说明。     

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

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

航天电子产品可靠性增长试验输入参数分析与处理

介绍了航天电子产品可靠性增长试验在工程应用中遇到的问题。通过分析电子产品可靠性增长试验中相关输入参数对可靠性增长试验的时间参数的影响,提出了航天电子产品可靠性增长试验在航天型号应用中处理的关键点。     

航天型号可靠性信息系统软件的设计与实现

针对航天型号可靠性信息管理和评估工作的现状，从可靠性信息的分类、系统架构方面介绍了适用于航天型号的可靠性信息系统软件的设计思路和实现情况。     

强化航天型号可靠性工作 深入推进航天型号精细化质量管理

论述了航天型号可靠性工作的发展概况,指出了当前航天型号可靠性工作中存在的突出问题,针对问题从可靠性工作理念、可靠性工作体系及职责、型号可靠性设计、分析与试验、通用产品的可靠性工作和可靠性技术基础几个方面提出了强化航天型号可靠性工作的途径,指出了强化型号可靠性工作的具体方向,为开创航天型号可靠性工作新局面,推进航天型号精细化质量管理提供了准则。