用软件实现的故障注入工具评估错误检测机制

故障注入是容错计算机系统可靠性评估的重要手段 .本文介绍了软件实现的故障注入工具 SOBFI的设计和实现 .用 SOBFI对 RS6 0 0 0工作站的错误检测机制和两种软件实现的错误检测机制进行了试验评估 .结果表明 ,在非容错商用计算机系统中加入简单的软件实现的错误检测机制 ,也可以达到很高的错误检测覆盖率 .

面向并发错误检测机制的故障灵敏度零值分析

通过研究零值分析的基本原理与故障灵敏度分析的本质,提出了针对现有并发错误检测机制安全性的通用评估模型。为减小攻击分析的复杂度,提出了一套完整的区分模型选取准则。为验证提出的故障灵敏度零值分析方法的高效性,构建了故障灵敏度分析平台,并对提出的攻击方法进行验证分析。实验结果表明,提出的零值分析方法具有计算复杂度低、准确性高、实现简单的优点。

可靠性基础、质量管理与控制

Y2000-62355-169 0017870基于故障注入的可靠性=Session 5A:fault-injectionbased dependability[会,英]//Proceedings of the 1999Pacific Rim International Symposium on DependableComputing.—169～208(PC)本部分收入5篇论文。题名为:可靠的影视点播应用设计用的模拟故障注入,Networked Windows NT系统现场失效数据分析,评价错误检测机制用的物理与模拟故障注入,分布式数据库管理系统中的安全性保证成本,以及瞬态故障情况下的共用现有数据库管理系统(COST DBMS)健壮性试验评价。