SIFT: Design and analysis of a fault-tolerant computer for aircraft control

We compare the consensus and uniform consensus problems in synchronous systems. In contrast to consensus, uniform consensus is not solvable with byzantine failures. This still holds for the omission failure model if a majority of processes may be faulty. For the crash failure model, both consensus and uniform consensus are solvable, no matter how many processes are faulty. In this failure model, we examine the number of rounds required to reach a decision in the consensus and uniform consensus algorithms. We show that if uniform agreement is required, one additional round is needed to decide, and so uniform consensus is also harder than consensus for crash failures. This is based on a new lower bound result for the synchronous model that we state for the uniform consensus problem. Finally, an algorithm is presented that achieves this lower bound.

show abstract

“…[30,32]). In this context, process decisions are used to trigger some specific actions which must be carried out within strict deadlines.…”

Section: Introductionmentioning

confidence: 99%

Uniform consensus is harder than consensus

Charron-Bost¹,

Schiper²

2004

Journal of Algorithms

104

View full text Add to dashboard Cite

show abstract

“…2). Again, the synchronization is less stringent when used to design fault tolerant software (for instance the SIFT system [20]). The triple modular redundancy paradigm can be generalized to N -modular redundancy (N ~ 3).…”

Section: Triple Modular Redundancymentioning

confidence: 99%

Terminology and Paradigms for Fault Tolerance

Schepers¹

1993

Formal Techniques in Real-Time and Fault-Tolerant Systems

View full text Add to dashboard Cite

“…HDM is currently being used in the development of several experimental systems (e.g., [10], £3), [19), [4]) and two production systems, KSOS (9) and its companion system KSOS-6. Implementations for these systems are currently planned or in progress.…”

Section: (Stage 2)mentioning

confidence: 99%

The SRI International Hierarchical Development Handbook. Volume I. The Foundations of HDM.

Sutton¹,

Robinson²

1979

View full text Add to dashboard Cite

SIFT: Design and analysis of a fault-tolerant computer for aircraft control

Cited by 469 publications

References 3 publications

Uniform consensus is harder than consensus

Uniform consensus is harder than consensus

Terminology and Paradigms for Fault Tolerance

The SRI International Hierarchical Development Handbook. Volume I. The Foundations of HDM.

Contact Info

Product

Resources

About