Show simple item record

dc.contributor.authorHadjicostis, Christoforos N.en
dc.contributor.authorVerghese, G. C.en
dc.creatorHadjicostis, Christoforos N.en
dc.creatorVerghese, G. C.en
dc.description.abstractIn this paper we develop a framework for constructing fault-tolerant dynamic systems, focusing primarily on linear finite state machines (LFSMs). Modular redundancy, the traditional approach to fault tolerance, is expensive because of the overhead in replicating the hardware and its reliance on the assumption that the error-correcting (voting) mechanism is fault-free. Our approach is more general, makes efficient use of redundancy, and relaxes the strict requirements regarding the reliability of the error corrector. By combining linear coding techniques and dynamic system theory, we characterize the class of all appropriate redundant implementations. Furthermore, we construct reliable LFSM's assembled exclusively from unreliable components, including unreliable voters and parity checkers in the error correcting mechanism. Using constant redundancy per system, we obtain implementations of identical LFSM's that operate in parallel on distinct input sequences and achieve arbitrarily low probability of failure during any specified finite time interval. © 1999 IEEE.en
dc.publisherInstitute of Electrical and Electronics Engineers Inc.en
dc.sourceProceedings of the IEEE International Conference on Electronics, Circuits, and Systemsen
dc.sourceProceedings of the IEEE International Conference on Electronics, Circuits, and Systemsen
dc.subjectFault tolerant computer systemsen
dc.subjectLogic circuitsen
dc.subjectDynamical systemsen
dc.subjectFault toleranceen
dc.subjectModular redundancyen
dc.subjectTraditional approachesen
dc.subjectLinear finite state machinesen
dc.subjectFinite time intervalsen
dc.subjectInput sequenceen
dc.subjectLow probabilityen
dc.subjectParity checkeren
dc.titleFault-tolerant linear finite state machinesen
dc.description.endingpage1088Πολυτεχνική Σχολή / Faculty of EngineeringΤμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών / Department of Electrical and Computer Engineering
dc.type.uhtypeConference Objecten
dc.contributor.orcidHadjicostis, Christoforos N. [0000-0002-1706-708X]

Files in this item


There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record