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

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

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

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

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

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

航天软件可靠性安全性技术应用发展趋势

从航天工程应用的角度介绍了国外软件可靠性安全性技术应用发展趋势，结合作者在实时嵌入式软件可靠性测试与安全性分析方面的实践进行了总结。     

航天器在轨释放安全性分析与仿真研究

针对航天器舱内在轨释放任务,文章建立了大型航天器与伴随卫星的动力学模型和运动学模型,并分析了影响释放安全性的主要因素;从保证航天器在轨安全的角度,得到描述释放安全性的最小相对距离计算方法,并利用ADAMS软件对航天器在轨释放过程进行了仿真研究。     

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

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

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

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

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

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

基于FMEA/FTA的贝叶斯网络安全性分析方法

针对复杂机械系统安全性分析中的难点,提出了基于FMEA/FTA的贝叶斯网络安全性分析方法。通过两种途径综合FMEA和FTA信息,对复杂机械系统安全性分析的贝叶斯网络模型建立进行了详细分析,同时对模型的概率推理进行了研究。分析表明该方法克服了传统安全性分析方法的缺点,适合用于处理复杂机械系统安全性分析中的多态性、失效相关性、不确定性等难题,较传统方法更具优势。最后文章通过示例验证了方法的正确性和优势。     

俄罗斯航天安全性标准的研究与对我国同类标准设置的建议

从电安全性要求、辐射安全性要求、生产和操作的安全性要求等10个方面介绍了俄罗斯航天安全性标准的设置情况,并在分析研究的基础上,对我国航天安全性标准的设置提出了建设性的建议。     

ESA PSS-01-403标准简介

简要地介绍了ESA PSS-01-403《危险分析和安全性风险评估方法和程序》标准的主要内容即基本概念、危险分析的方法和程序及安全性风险评审方法和程序,并结合我国航天型号研制的实际情况简要地提出了建议。     

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

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

垂直发射技术对武器系统作战使用性能的影响

从战术导弹所采用的垂直发射技术的发展现状出发，分析了垂直发射技术的主要技术特点，重点论述了战术导弹采用垂直发射技术对其作战使用性能的影响，对舰艇作战能力的影响，并对垂直发射安全性进行了分析，对垂直发射技术在武器系统作战使用中的作用做出客观，科学的分析。     

核动力装置人因工程分析技术研究

提出了在核动力装置可靠性、概率安全性分析评价（Ｈ＆ＰＳＡ）中，人员可靠性分析（ＨＲＡ）的主要任务以及分析、评价了可能影响装置或系统可靠性、安全性的人员活动； 相应人员差错发生的概率，进出了与核动力装置可靠性、概率安全性分析评价有关的人员２属于的分析内容、接口、和输出结果。     

型号设计中的安全性设计分析

通过对“长征三号”运载火箭的一些安全性设计实例帕的分析来建立安全性设计的概念，论述安全性设计在型号设计中的重要作用和地位。分析认为，安全性设计应以总体、系统设计师为主，并从设计初期抓起。     

5A06锻件缺陷原因分析及安全性评价

针对5A06锻件在超声波探伤过程中发现材料内部存在未超标高密度异常缺陷反射波，用金相低倍及高倍分析、力学性能试验等分析检测手段进行判读，确定缺陷当量大小、深度，并对整批锻件材料的使用提供安全性评价意见。     

国外载人飞船各飞行段安全性分析

收集和分析了俄罗斯联盟号飞船有关安全性方面的资料,突出分析上升段,轨道运行段和回收着陆段可能出现危及航天员安全的各种故障及处理措施。在安全性指标方面并吸取了美国的有关资料。     

国外航天软件故障原因分析

介绍了包括阿里安-5火箭、＂火星气候轨道器＂、＂火星极地着陆器＂在内的几个国外航天器和运载器发生的在轨故障,并从技术和管理方面分析了这些故障中与软件相关的原因。针对技术方面,分析了国外航天软件研制过程中在软件需求分析、软件复杂度、软件重用、软件安全性设计准则、质量保证及评审、系统安全性设计、测试及仿真环境缺陷等方面存在的问题;针对管理方面,分析了责任和权力划分、沟通渠道等方面存在的问题。文章最后给出了美国国家航空航天局专家针对这些问题提出的改进建议,提出了针对我国航天软件研制过程的启示和建议,如加强团队之间的沟通,提高评审效率。     

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

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

基于Web的固体火箭发动机质量信息系统安全性研究

提高固体火箭发动机质量信息系统的安全性，对于固体火箭发动机的研制与生产具有重要的信息保护作用。针对基于Web的固体火箭发动机质量信息管理与评判系统。分析了操作系统，网络和数据库等三个方面的安全性，利用三维模型提出了系统安全性方案的基本框架，该方案的试运行表明，该方案的使用具有积极的意义和作用。