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

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

软件安全性分析技术及应用

软件安全性分析是保证软件质量和安全性的重要手段。本文叙述了软件安全性分析的内涵和特点，并以栽人运载火箭故障检测处理软件安全性分析为切入点，阐述了软件安全性分析的技术要点和注意事项。     

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

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

载人航天器安全性概率算法

本文从载人航天的工程实际出发，对载从航天器的安全性定义、安全性模型、安全性和可靠性之间的关系进行了深入的讨论。通过全状态事件树分析，给出了载人航天器安全性分析模型，并在此基础上推导出了载人航天器安全性概率算法公式。最后，通过宇航界一个载人航天器实例，说明了该方法的具体应用。     

型号软件可靠性和安全性设计标准化研究

通过编制国家军用标准《软件可靠性和安全性设计准则》的实践,概述了型号软件可靠性和安全性设计标准化研究的重要性,论述了其标准中的软件设计工作涉及到的软件需求分析、软件设计和软件实现等三个阶段需要特别注意的几个关键问题,而且均属于标准化范畴研究的问题。     

军用飞机安全性与适航的若干问题分析

军用飞机论证和研制的安全性工作中,存在着安全性与可靠性的关系界定不清、方法应用不当等问题;军机适航工作中也存在对适航概念及其与安全性关系的认识误 区。针对这些问题,本文讨论了安全性与可靠性的联系与区别,分析了适航的内涵以及与安全性的关系。最后给出了军机适航与安全性工作的建议。     

军工产品安全性工程技术

由于军工产品的特殊性及其引发安全事故造成后果的严重性．安全性工程技术日益受到相关方的广泛关注。本文作为探讨军工产品安全性工程技术系列文章的第一篇。重点阐述了军工产品安全性工程技术的发展历程、基本方法，以及安全性与可靠性的关系。随着军工产品安全性工程技术研究和应用的深入，结合取得的成果，还将陆续发表文章对相关技术进行探讨。     

80x86汇编语言安全性编码规则检查工具的设计与实现

从安全性角度提出80x86汇编语言程序的编码规则.通过分析航天型号典型案例.依据型号软件的应用特点,从代码结构、指令使用、中断控制、算法设计等角度对安全性编码规则进行分类,提出具体要求.设计了对应规则的检查方法和检查工具,采用静态分析方法,从软件源代码中提取安全性规则的相关元素,判断代码与规则的符合性,实现规则自动检查.     

反汇编技术在嵌入式软件安全性分析中的应用

分析了航天型号嵌入式软件代码安全性分析中对目标码进行反汇编的必要性,总结了两种静态反汇编技术的优缺点,提出了适用于航天型号嵌入式软件代码安全性分析的反汇编算法,并介绍了结合编译信息的反汇编算法在软件安全性分析中的应用。     

浅谈信息战中通信卫星系统安全性

空间信息战是未来空间攻防的重要内容,军用卫星及其应用系统是其重要依托。文章主要分析了空间信息战中卫星通信系统可能遭受的威胁,并对卫星通信系统的安全性及其对策进行了讨论。     

安全性技术在“神舟”五号载人飞船上的应用

叙述了安全性技术在“神舟”五号载人飞船上的应用情况，并较详细地介绍了“神舟”五号载人飞船采取的各项安全性管理措施。     

航天型号安全性指标体系研究

安全性指标体系是安全性工作的基本要求和起点。本文通过建立航天型号安全性指标体系的总体框架,将安全性指标体系划分为定性要求、半定量要求和定量要求3种基本类型,明确了安全性指标的关键要素及其主要内容,为型号安全性设计、控制和验证等工作提供依据。     

可靠性工程师资格考试辅导教材之六——安全性

安全性是产品的固有属性，也是各类产品必须满足的首要设计要求，为预防人身伤亡、财产损失和环境破坏等事故的发生，需要在产品研制、生产、试验、使用等过程中，通过采取系统化的工程活动，保证产品的安全性。本文对安全性相关的主要内容等作简要介绍。     

航天器和导弹武器系统的安全性

指出了以往人们对安全性工作存在片面认识，针对航天器和导弹武器系统的安全性工作，提出了若干项工作内容及建议。     

WL_Net在导弹飞行控制软件安全性分析中的应用

提出了应用工作流逻辑网(WL_Net)进行软件安全性分析的新方法。介绍了运用WL_Net对导弹飞行控制软件进行安全性分析的步骤并分析了其优缺点和未来的发展方向。首先,综合考虑可能引起危险和风险的条件和环境构建WL_Net结构模型;然后使用可达树或关联矩阵对模型的合理性以及危险或风险出现的可能性进行分析,以确定该飞行控制软件是否安全。WL_Net能较好的完成对系统的建模和对软件安全性的分析,从一定程度上解决模型可读性和网结构爆炸的问题。     

载人航天故障统计分析及其安全性要求体系研究

载人航天故障统计分析及其安全性要求体系研究沈作军一、前言安全性是载人航天活动中一个关键而敏感的问题。国外载人航天活动的经验表明，为保证航天员安全，首先要研究制定和完善安全性要求，而安全性要求一经明确，便成为系统安全性设计的目标和进行安全性验证的依据。...     

事故模型理论发展与应用研究

事故模型可清晰地描述事故的形成、发展与演变过程,为前期的安全性设计、事后的事故与问题分析等工作提供依据。本文对几类典型事故模型的建模思路进行了简述,分析了事故模型的理论发展趋势、不同类型模型的应用范围与局限性,并给出了工程示例。     

SFMEA方法在飞行控制软件中的应用

为提高飞行控制软件的安全性,分析了飞行控制软件的安全性薄弱环节,探讨了影响飞行控制软件安全性的隐患。简要阐述了软件失效模式、影响(SFMEA)方法,给出软件失效模式分类的方法以及飞行控制软件常见的失效模式,给出适用于航天飞行控制软件的软件危害性等级,结合某型号飞行控制软件进行了SFMEA方法的尝试性应用,分析了软件失效的局部影响和最终影响,形成了52个SFMEA的分析表格,总结了302个飞行控制软件的失效模式,发现了部分安全性薄弱环节,并提出了相应的改进措施,结果表明,SFMEA方法对提高飞行控制软件的安全性有一定的工程价值。     

软件故障树分析实例研究

软件故障树分析(SFTA)是硬件或系统FTA的扩展,可应用于安全性关键软件的验证和可靠性分析.本文首先阐述了SFTA的原理和应用过程,然后介绍了结合某嵌入式软件进行实际应用的过程以及最小割集的生成,并在此基础上提出了对该软件的改进建议.