Reliable fail-safe systems

A fault-tolerant scheme is presented which is based on two copies of a self-checking module and a fail-safe interface. The interface preserves the modules' safety and becomes fault-tolerant by embedding appropriate self-testing capabilities. We show that, for self-checking module area overheads not exceeding the theoretical upper bound of /spl radic/3-1 (73%), our fault-tolerant scheme is more reliable than the triplicated modular redundant structure.<<ETX>>

[1]  James E. Smith,et al.  Strongly Fault Secure Logic Networks , 1978, IEEE Transactions on Computers.

[2]  Bernard Courtois,et al.  A generalized theory of fail-safe systems , 1989, [1989] The Nineteenth International Symposium on Fault-Tolerant Computing. Digest of Papers.

[3]  Bernard Courtois.  On balancing safety and reliability of hybrid and `Bi-duplexed' systems , 1976 .

[4]  D. A. Anderson,et al.  Design of self-checking digital networks using coding techniques , 1971 .

[5]  Marcelo Lubaszewski,et al.  On the design of self-checking boundary scannable boards , 1992, Proceedings International Test Conference 1992.

[6]  Rodham E. Tulloss,et al.  The Test Access Port and Boundary Scan Architecture , 1990 .

[7]  Michael Nicolaidis.  Efficient UBIST implementation for microprocessor sequencing parts , 1990, Proceedings. International Test Conference 1990.

[8]  William C. Carter,et al.  Design of dynamically checked computers , 1968, IFIP Congress.

[9]  Bernard Courtois,et al.  Strongly Code Disjoint Checkers , 1988, IEEE Trans. Computers.

[10]  M. Nicolaidis.  An Unified Built in Self-Test Scheme : UBIST , 1986, ESSCIRC '86: Twelfth European Solid-State Circuits Conference.