Fault-tolerant dynamic systems

Author

Hadjicostis, Christoforos N. ; Verghese, George C.

Author_Institution

Dept. of Electr. & Comput. Eng., Illinois Univ., Urbana, IL, USA

fYear

2000

fDate

2000

Firstpage

444

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Information Theory, 2000. Proceedings. IEEE International Symposium on

Conference_Location

Sorrento

Print_ISBN

0-7803-5857-0

Type

conf

DOI

10.1109/ISIT.2000.866742

Filename

866742