Fault-tolerant systems with concurrent error-locating capability

Fault-tolerant systems have found wide applications in military,industrial and commercial areas.Most of these systems are constructed by multiple-modular redundancy or error control coding techniques,They need some fault-tolerant specific components (such as voter,switcher,encoder,or decoder) to implement error-detecting or error-correcting functions.However, the problem of error detection location or correction for fault-tolerance specific components them-selves has not been solved properly so far.Thus ,the dependability of a whole fault-tolerant system will be greatly affected.This paper presents a theory of robust fault-masking digital circuits for characterizing fault-tolerant systems with the ability of concurrent error location and a new scheme of dual-modular redundant systems with partially robust fault-masking prperty.A Basic robust fault-masking circuit is composed of a basic functional circuit and an error-locting corrector,Such a circuit not only has the ability of concurrent error correction,but also has the ability of concurrent error location.According to this circuit model ,for a partially robust fault-making dual-modular redundant system,two redundant modules based on alternating-complementary logic consist of the basic functional circuit.An error-correction specific circuit named as alternating-complementary corrector is used as the error-locating corrector.The performance(such as hardware complexity, time delay) of the scheme is analyzed.     

单微处理机上程序执行流程的差错恢复

在用各类商用微处理机系列产品构造实时应用系统时，必须解决其抗干扰问题。本文以对微处理机系统的指令执行过程受干扰情况的分析为基础，研究了失控后的程序执行流程的行为，着重讨论了程序执行流程出现差错后的各种恢复策略。     

软件健壮性的包裹测试

软件的健壮性正变得越来越重要,目前还缺乏准确的、可重复利用的方法来衡量系统的健壮性。健壮性基准程序就是为了解决这一问题而提出的,它由一系列健壮性测试案例组成。本文以Linux为例,简要介绍了当今操作系统健壮性基准程序测试的主要方法,对用于分析测试结果的维度模型进行了分析,提出了软件健壮性的包裹测试方法,并用实例说明了其有效性。     

通用环境模拟器在嵌入式系统测试中的研究与应用

环境模拟器是用来在嵌入式系统测试中模拟外部硬件环境。它具有通用性,可扩展性,统一性的特点。文章阐述了环境模拟器的概念,协议,结构模型,外部组件。通过2典型应用实例采实现了模拟器。     

具有故障定位能力的健壮故障安全系统

本文以广义故障安全系统理论、数字电路的并发差错定位概念为基础,提出了一种健壮故障安全系统理论.一个基本健壮故障安全电路是由一个实现电路基本功能的基本功能电路和一个差错定位转换器所组成的.健壮故障安全电路具有并发差错定位能力.文中定义了表征健壮故障安全电路和差错定位转换器的基本特性;证明了基本功能电路与差错定位转换器互连,以构造几种具有不同健壮故障安全特性的基本电路所需满足的条件;最后还用电路实例说明了该理论的应用.     

数字电路并发差错检测的新概念

并发差错检测是提高数字电路与系统可信的重要技术。文中建立了一种基于并发差错检测电路的结构模型。它由实现电路基本功能的基本功能模块和实现电路并发差错检测功能的检测器部分联所构成;提出了表征基于部分自校验概念的并发差错检测机制的一组新概念：精简强故障保险、精简强变量分离、精简强自校验、ｋ－容错精简强故障保险、ｋ－容错精简强变量分离和ｋ－容错精简强自校验,并研究了数字电路并发差错检测的主要概念之间的关系