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

Robust Fail-safe Systems with Fault Location Capability

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

On the basis of the generalized fail safe systems theory and the concurrent error location concept,a new theory of robust fail safe systems is proposed.A basic robust fail safe circuit is composed of a basic functional module and an error locating translator.Such a circuit has concurrent error location capability.Several properties to characterize robust fail safe circuits are defined.The interconnection conditions,which basic functional modules and translators must satisfy to construct basic circuits with different robust fail safe properties,are proved.The usefulness of the theory is discussed along with an example of partially robust fail safe circuits.