引信软件安全性分析方法初探

来源 :第六届国际可靠性、维修性、安全性会议 | 被引量 : 0次 | 上传用户:qiucanyu0532
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对引信软件设计和应用过程中存在的问题,指出了开展引信软件安全性研究的重要性.通过与引信硬件进行比较,讨论了引信软件故障树分析和失效模式与效应分析的基本思路及应注意的问题,为进一步研究奠定了基础.
其他文献
针对目前国内缺少实用的测试性验证方法的情况,本文提出一种测试验证试验方法,包括如何确定测试性验证要求、试验方案的选择、故障注入设备的开发以及试验数据的采集与分析等
软件可靠性测试是软件开发过程中的一个重要环节,将软件可靠性增长模型应用到软件可靠性的测试过程中,可以为测试的进行提供有价值的管理决策依据.本文在给出测试管理模型的
本文对正交试验设计应用于软件评价进行了研究,给出了其输入数据生成方法,提出了相应的结果评价方法,并对正交试验设计与边界值分析法进行了对比研究.
在阐述了软件测试充分性的定义和软件测试充分性准则的定义、分类、作用的基础上,形式化分析了软件正确性测试充分性和软件可靠性测试充分性的目的和实质,重点研究了软件可靠
本文推荐一种全数验收的数据评估程序作为替代手段,给出了一种直接算法,用于计算产品可靠性全数验收试验方案的工作特性、ETT和MTBF的置信限,并以HDBK-781的XVIII-D检验方案
本文针对工程中的一种设备筛选方法,提出了该筛选机制情形下的设备可靠性评估方法.该方法是基于寿命服从威布尔分布截尾数据给出的.文中给出了两种计算该筛选机制下设备可靠
本文针对软件的特点,把软件的可靠性预计分为早期可靠性预计和后期可靠性预计,介绍了软件早期可靠性预计的常用方法及程序,详细论述了软件后期可靠性预计的步骤,并列举了应用
本文基于加速模型有交叉项的情况,讨论了三种加速方式(完全样本恒定应力加速寿命试验和截尾样本定时、定数步进应力加速寿命试验)下双应力加速寿命试验的设计方法,给出了D-最
本文将从微秒级程序的特点入手、结合其失效形式,提出设计技术,旨在提高微秒级程序可靠性方面进行更进一步的研究.
研制的大型复杂结构系统只能安排工程考核试验,所包含的各功能系统,除电子和成败型功能系统外无法安排可靠性统计试验,不能进行可靠性统计评估,本文研究了适合该系统的可靠性