论文部分内容阅读
保障资源是软件保障的物质基础，是影响软件保障性的三大要素之一。提出了软件保障资源评估的两种形式，结合国军标及美军相关研究资料，建立软件保障资源评估指标体系。采用特征值法对评估指标进行了权重分析，之后根据模糊综合评判原理，建立了保障资源评估模型。通过案例分析，表明该模型具有有效性和可操作性。
软件保障资源评估方法研究
【摘 要】
：
保障资源是软件保障的物质基础，是影响软件保障性的三大要素之一。提出了软件保障资源评估的两种形式，结合国军标及美军相关研究资料，建立软件保障资源评估指标体系。采用特
【机 构】
：
Department of Information Engineering, Academy of Armored Force Engineering, Beijing 100072
【出 处】
：
第七届中国测试学术会议
【发表日期】
：
2012年期
其他文献
随着SoC芯片集成度和复杂度的不断提高，其测试变得越来越复杂，测试成本也越来越高。按照目前的发展趋势，测试成本将有可能超过芯片自身的设计和制造成本，如何降低过高的测试
高扇入多米诺或门是高性能集成电路中常用的动态电路，而负偏置温度不稳定性降低了多米诺或门的噪声容限并增大了其传输时延。本文提出了带有补偿晶体管的多米诺或门结构，通
随着制造工艺的不断进步，老化效应导致的动态参数偏差和漏电给集成电路的可靠性带来了严峻挑战。目前关于电路老化和漏电的协同优化方法或者以侵入式方法实现，或者采用输入
会议
三维集成电路是通过硅通孔将多个相同或不同工艺的晶片上下堆叠并进行垂直集成的新兴芯片集成技术。通过这种集成,芯片可获得更小的外形尺寸、更高的片上晶体管集成密度
会议
集成电路工艺水平提高的同时，老化效应严重威胁了电路的可靠性.本文针对电路老化导致失效的问题进行研究，提出了一种基于时-空冗余技术的失效防护方法.该方法针对老化的行
基于振荡的测试方法(OBT)对待测电路进行重构，使其产生稳定的振荡波形。传统的OBT方法得到的振荡波形为单频正弦波，以频率和幅值作为故障特征建立故障字典，故障覆盖率较低。
SRAM型FPGA具有设计开发周期短、设计制造成本低、可反复编程、灵活性高等优点，在航空航天领域中的应用逐渐受到重视。但是SRAM型FPGA极易受空间高能带电粒子导致的单粒子
会议
检查点技术是保障计算机系统可靠性的一种常用方法，检查点间隔的设置和选取对提高计算效率具有重要意义，合理地设置检查点的间隔、提高任务执行效率和保证系统更好的可靠性
在门级电路的可靠性估计方法中，基本门故障概率p通常是以经验值或人为设定的方式出现，最近才被建模成栅氧化层的故障概率或基本门的输入导线的故障概率。本文结合广义门电
会议