Title :
Fault-tolerant dynamic systems
Author :
Hadjicostis, Christoforos N. ; Verghese, George C.
Author_Institution :
Dept. of Electr. & Comput. Eng., Illinois Univ., Urbana, IL, USA
Abstract :
We use unreliable system replicas and unreliable voters to construct redundant dynamic systems that tolerate transient failures in their state transition and error correcting mechanisms. Using low density parity check (LDPC) codes, we develop a fault-tolerant scheme that efficiently protects linear finite state machines (LFSMs) with identical dynamics but distinct input sequences and states. The scheme achieves a probability of failure that remains below any given bound for any pre-specified (finite) time-interval using a constant amount of hardware (XOR gates and voters) per LFSM
Keywords :
codes; error correction; fault tolerance; finite state machines; probability; redundancy; LDPC codes; LFSM; error correcting mechanisms; fault-tolerant dynamic systems; input sequences; linear finite state machines; logic; low density parity check codes; probability of failure; redundant dynamic systems; state transition; tolerate transient failures; unreliable system replicas; unreliable voters; Equations; Error correction; Fault tolerance; Fault tolerant systems; Feeds; Hardware; Instruments; Parity check codes; Protection; Redundancy;
Conference_Titel :
Information Theory, 2000. Proceedings. IEEE International Symposium on
Conference_Location :
Sorrento
Print_ISBN :
0-7803-5857-0
DOI :
10.1109/ISIT.2000.866742
