总线级故障模型的分析与生成

针对总线级故障模型，对其属性进行了分析，讨论了模型的生成过程，以一个应用实例说明了文中所提方法的有效性。     

管脚级故障模型的分析与生成技术的研究

管脚级故障注入技术被广泛应用于容氏系统工程原型的测评试验中,其应用效果直接取决于试验中所采用的管脚级故障模型的精确性。文中首先介绍了一种通用的ＩＣ模型,并一般属于 分析了故障传播过程。然后提出故障映射函数以及用于描述管脚级故障模型的管脚级故障映射函数的概念,并定义了构成管脚级故障模型的３种属性。     

一个多机容错系统MPFTS故障恢复的设计与实现

本介绍我们研制的一个多机容错系统MPFTS的故障恢复技术。首先对MPFTS的结构和工作过程进行了概要介绍。在此基础上,分析了该系统不同类型故障恢复的可能性、恢复时机的选择、恢复所要达到的目标等问题。中详细讨论了利用异常中断返回技术实现系统故障恢复所涉及的数据结构及具体运行过程,并对上电升级重构这种特殊的故障恢复情况进行了分析。     

故障注入研究的一种理论框架

本文讨论了故障注入研究中的一些基本问题,为故障注入的研究建立了统一的理论框架。     

高可信计算机系统的设计方法探讨

本文将高可信计算机系统的设计过程分为四个阶段,分别讨论了各阶段中用于获取系统可信性的容错技术、避错技术和可信性评价技术的应用。     

故障和容错机制的层次模型

该文讨论了根据系统划分和功能两种不同角度建立的系统层次模型,在此基础上分析了这两种系统层次模型对建立故障模型和客借机制模型的指导作用。     

计算机系统开发中的可信性评价概述

本文将高可信计算机系统的开发过程划分为需求，设计，实现和集成四个阶段，分别介绍各阶段中与可信性有关的任务及可信性评价技术的应用。     

容错计算机系统可靠性评估工具：HFI-2故障注入器

本文介绍一个容错计算机系统可靠性评估工具：ＨＦＩ－２故障注入器,描述该故障注入器的功能和结构开讨论一些关键技术,实验验证了这一工具的有效性。     

容错机制的测试与评估技术

文章分析了容错机制在其评价过程中所表现出来的若干特征,进而从测试和评估两方面讨论了容错机制的评价技术。     

容错机制测评中的故障注入模型及应用算法

故障注入（ＦＩ）是一种有效的测试和评价容错机制（ＦＴＭ）的方法,可被普遍应用于容错计算机系统开发过程的各个阶段中。ＦＩ技术正确的更广泛的应用依赖于对ＦＩ原理的一致理解。文中首先详细讨论了ＦＩ的应用对象即ＦＴＭ在测评中所表现出来的若干下,在此基础上提出了六元组描述的ＦＩ模型,并对各组成元的属性进行了深入分析。同时,作为ＦＩ模型的具体应用过程,文中给出了ＦＩ独立试验算法（ＦＩ－ＩＥＡ）,并讨论了该算法