Title :
The design of totally self-checking TMR fault-tolerant systems
Author_Institution :
Dept. of Comput., NRC ´´Democritos´´, Athens, Greece
fDate :
11/1/1988 12:00:00 AM
Abstract :
A totally self-checking triple modular redundancy (TSC-TMR) system consists of a conventional TMR system monitored by a TSC circuit with two outputs indicating information errors and internal faults. The internal fault indication is independent of the output information errors and indicates masked errors of modular units or faults in the monitoring circuit itself. The information error indication depends mainly on the output information errors and it can be used as a stop signal preventing the propagation of erroneous outputs. This scheme of fault-tolerant systems is very simple and reliable compared to the known TMR systems with self-checking capabilities and achieves a high degree of availability and maintainability. The TSC error checking circuit has been designed by applying a new algebraic technique with two basic operator blocks performing the AND and X¯O¯R¯ operations on error indication variables
Keywords :
automatic testing; error detection; fault tolerant computing; redundancy; TSC error checking circuit; TSC logic elements; error indication variables; fault-tolerant systems; information error indication; internal fault indication; masked errors; output information errors; totally self-checking triple modular redundancy; Availability; Built-in self-test; Circuit faults; Computer errors; Computerized monitoring; Detectors; Fault tolerant systems; Maintenance; Redundancy; Voting;
Journal_Title :
Computers, IEEE Transactions on
