故障注入方法与工具的研究现状

本文将故障注入技术分为基于模拟的故障注入和基于物理的故障注入两类 ,并从应用方法和工具结构两方面介绍了该项技术的研究现状。

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

本文讨论了故障注入研究中的一些基本问题，为故障注入的研究建立了统一的理论框架．文章引入容错系统层次结构来描述故障注入的概念，将故障注入定义为一个试验过程．故障注入的原理被解释为组成该试验过程的四个步骤．故障注入的应用不仅包括评价容错机制，而且还可应用于更为广泛的领域．

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

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

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

管脚级故障注入技术被广泛应用于容错系统工程原型的测评试验中，其应用效果直接取决于试验中所采用的管脚级故障模型的精确性．文中首先介绍了一种通用的ＩＣ模型，并一般性地分析了故障传播过程．然后提出故障映射函数以及用于描述管脚级故障模型的管脚级故障映射函数的概念，并定义了构成管脚级故障模型的３种属性．文章着重讨论了利用试验方法获取管脚级故障模型的推算过程，从而最终形成用于管脚级故障注入试验中的全局管脚级故障模型．最后，文章以一个实例说明该方法的应用过程，其实验结果证明了该方法用于管脚级故障模型生成的有效性．

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

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

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

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

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

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

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

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

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

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

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

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

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

本文介绍一个容错计算机系统可靠性评估工具:HFI2故障注入器,描述该故障注入器的功能和结构并讨论一些关键技术,用实验验证了这一工具的有效性.

一种用于容错计算机系统整体验证的故障注入试验策略

故障注入是一种有效的用于容错计算机系统验证的技术 .分析了系统的层次分解模型在故障注入试验中的作用 .提出一种基于动态故障树的容错系统分解模型 MBDT,着重讨论利用这种模型产生故障注入试验属性集的方法 ,最终形成一种对容错计算机系统进行整体验证的故障注入试验策略 .这种试验策略已经应用于研制的硬件故障注入器 HFI- 3中 ,并对一个航天容错计算机进行了验证 。

FTT-1:一个基于硬件的故障注入器的设计与实现

故障注入是评价计算机系统可信性的一种重要的试验方法。构造故障注入器是故障注入研究中的一个重要组成部分。此文介绍了ＦＴＴ－１，一个基于硬件的故障注入器的设计与实现。文章讨论了设计与实现硬件故障注入器的关键技术，并介绍了在ＦＴＴ－１的实现中解决这些关键技术的方法。试验结果证明了ＦＴＴ－１用于评价容错计算机系统可信性的有效性。

容错计算机系统可靠性评估中的覆盖率问题

覆盖率是容错系统设计和评估中的重要概念。该文介绍了采用行为分解技术建立和求解覆盖率模型的方法，总结了用故障注入技术估计覆盖率需要考虑的几个问题。以一个双机容错系统的评估为例，说明了这些方法在容错系统可靠性评估中的应用。