软件可靠性评估技术研究

MTBF,初始故障数N,故障暴露率K,一次运行的成功率θ是软件可靠性的基本参数,也是反映软件可靠性的关键因素.在理论分析和工程应用实验基础上,给出了这些参数的计算方法.     

战车火控系统软件可靠性的仿真测试平台

以平均无故障时间间隔(MTBF)和任务成功率为主指标,以某型坦克火控系统为载体,提出了战车非制导武器火控系统软件可靠性仿真测试平台的方案,并对其软件可靠性的仿真测试与验证技术进行了讨论.     

软件的测试性分析与设计

软件测试是提高软件可靠性的重要手段,但软件测试的代价是巨大的.软件的测试性分析与设计是分析软件测试的复杂性、提高软件测试性的基本方法.提出了软件测试性的基本概念、分析与计算方法,以及软件测试性设计的基本思路.这对于高可靠性软件--特别是武器装备软件的设计具有指导意义.     

软件可靠性的过程仿真技术

以软件研制的生命周期为背景,探讨利用仿真模型对软件可靠性进行研究的方法．文章阐述了仿真模型分析方法与传统的模型分析方法的不同之处,通过对软件可靠性过程的分析,设计了一个基本的仿真器结构,由此考察引发失效行为的各种故障因素及其对软件可靠性的影响．     

航天软件可靠性浅议

从软件可靠性出发,结合航天软件研制和使用特点,对航天软件的故障模式、机理和提高可靠性措施进行了分析。     

武器装备软件的可靠性分析综述

首先论述了武器装备软件可靠性的重要性,指出了软件可靠性与硬件可靠性的主要区别,并依据装备软件研制总要求及武器装备软件的特点分析了装备软件可靠性的内涵、特点,介绍了装备软件可靠性指标的确定、软件可靠性模型以及装备软件可靠性的评估,最后分析讨论了几种提高武器装备软件可靠性的方法与途径。     

舰空导弹武器系统作战软件试验测试平台

由舰空导弹武器系统在试验中出现的作战软件故障,提出了加强软件可靠性评估的观点和建立舰空导弹武器系统作战软件试验测试平台的构想。给出了基于海上试验环境的作战软件试验测试平台的方案、试验方案设计、试验实施策略以及可靠性评估方法。     

武器系统MTBF的Bayes序贯检验方法

针对武器系统试验鉴定中显著具有的小子样的特点,研究了武器系统平均故障间隔时间(MTBF)的Bayes序贯检验方法,推导了检验模型,平均试验数计算公式、定时和定数截尾实际风险计算公式,并给出了算例。该方法在武器系统可靠性鉴定中具有一定的应用价值。     

软件的测试性分析与设计

软件测试是提高软件可靠性的重要手段,但软件测试的代价是巨大的。软件的测试性分析与设计是分析软件测试的复杂性,提高软件测试性的基本方法。本文提出了软件测试性的基本概念、分析与计算方法、以及软件测试性设计的基本思路。这对于高可靠性软件,特别是武器装备软件的设计是有指导意义的。     

应用AHP法实现指控系统软件可靠性指标分配

软件可靠性分配是软件设计过程中一项重要的质量保证活动.介绍了层次分析法(AHP)的原理及其在指控系统软件可靠性指标分配中的应用过程,包括软件的层次结构模型的建立,系统中各层软件元素相对权值的确定,各软件模块相对于软件实用性的组合权重的确定以及获取软件实用性最大化的可靠性分配模型(基于成本约束)的建立.还讨论了应用信赖度算法求解可靠性分配非线性方程组,从而求得各软件模块的可靠性分配值的方法.     

一种多通道武器控制台的可靠性预计分析

对设计的一种多通道武器控制台的可靠性进行了预估分析.采用元器件计数法和元器件应力分析法,得出了模块级的失效率.按照系统串联结构的可靠性框图,计算出系统的失效率、平均无故障工作时间等可靠性指标.结果表明,预计值满足了系统规定的使用要求.     

基于无维修使用期的计算机可靠性分析与评估

针对当前MTBF在计算机中可靠性设计分析和验证方法的不足,基于无维修使用期这一新型指标,构建了计算机新型可靠性分析和评估方法。首先,基于MFOP提出了高可靠计算机的故障模式影响分析方法,在故障模式影响分析中引入了通用和专用设计两个模块,并对故障率重新定义。其次,针对MFOP指标,提出了基于步降应力加速试验的非参数可靠性评估方法。最后,通过试验仿真对试验评估方法进行了验证,仿真结果表明该试验方法准确高效,能满足可靠性评估的需求。     

运行和修复同时进行的固有可用度定时截尾试验方案

针对如何设计一个试验以完成检验系统固有可用度、平均故障间隔时间和平均修复时间等3个指标参数的问题,将试验分为同时进行的可靠性和维修性定时截尾试验2个项目,假设运行时间和修复时间均服从指数分布,且可靠性和维修性试验方案已知,提出了一种固有可用度定时截尾试验方案．该试验方案通过合理选择累积运行时间和累积修复时间,同时满足检验3个指标参数的承制方和使用方风险,可完成对3个指标参数的检验．     

武器系统MTBF的Bayes评估方法

针对武器系统试验常常具有小子样的特点,分析推导了MTBF检验的Bayes方法,论述了MTBF的Bayes估计方法,并举例进行了计算分析。     

Present practices and future plans for MIL-STD-781

MIL-STD-781 specifies reliability acceptance test procedures based on both fixed-length tests and probability ratio sequential tests. The assumption underlying MIL-STD-781 is a constant mean time between failures (MTBF) and typical practice applies MIL-STD-781 to electrical, electronic, and mechanical equipment. This article discusses some of the difficulties that have prompted the C and D revisions of MIL-STD-781. In addition, it discusses the relationship of MIL-STD-781 with MIL-STD-1635(EC) which deals with reliability growth testing. The article concludes with a discussion of needed research in reliability growth testing, in support of MIL-STD-781, and in the area of stress and its impact of MTBF.     

定时截尾与序贯截尾可靠性试验方案分析比较

在生产方、使用方风险及MTBF值同等条件下,对定时截尾与序贯截尾2种试验方案的优缺点、基本原理和方法等进行了对比分析。定时截尾试验能够在事先确定最大累计工作时间及所消耗资源,但所需时间较长,试验成本较高,可应用于武器装备可靠性鉴定和验收试验;序贯截尾试验事先对试验总时间及试验所需用资源无法确定,只能根据事先拟定的接收、拒收条件结束试验,无法估计MTBF的真值,但是所需试验时间较短,费用相对较低,可用于武器装备可靠性验收试验,也可广泛运用于医学及其它科学试验领域。提出了选择可靠性试验方案的基本原则,为科学选择试验方案提供了依据。     

一个故障容错系统的设计及实现

本文提出了多路自动切换容错系统的一般概念,并对容错系统的可靠性及平均无故障时间进行了分析、计算,实现了二路自动切换容错系统.     

区域和参数化可靠性灵敏度指标及其解法

针对基于方差的全局可靠性灵敏度指标,分别提出基于方差的区域和参数化可靠性灵敏度指标,以衡量输入变量的取值区域发生变化时或输入变量的方差减小时整个输入变量系统对失效概率不确定性贡献的变化情况。然后从Pearson相关系数的视角分别将所提指标表述成无条件失效域指示函数与固定某一随机输入时的条件失效域指示函数之间的相关系数。在此转换的基础上,提出基于Pearson相关系数的两种求解方法,一种采用蒙特卡洛方法重复抽样进行循环计算,另一种借鉴重要抽样的思想。功能函数的计算样本可重复使用而不增加任何额外的计算代价,故后者大大提高了求解所提区域和参数化灵敏度指标的计算效率。算例结果验证了所提指标的合理性,同时也证明了所提方法的准确性与高效性。