Reconfiguration and transient recovery in state machine architectures
- 23 December 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
We consider an architecture for ultra-dependable operation based on synchronizedstate machine replication, extended to provide transient recovery andreconfiguration in the presence of Byzantine faults.The architecture allows processors suspected of being faulty to be placedon "probation." Processors in this status cannot disrupt other processors, butthose that are nonfaulty or recovering from transient faults are able to remainsynchronized with the other processors and with each...Keywords
This publication has 23 references indexed in Scilit:
- Continual On-Line Diagnosis of Hybrid FaultsPublished by Springer Nature ,1995
- Replica determinism in distributed real-time systems: A brief surveyReal-Time Systems, 1994
- Architectural principles for safety-critical real-time applicationsProceedings of the IEEE, 1994
- High Level Design Proof of a Reliable Computing PlatformPublished by Springer Nature ,1992
- Implementing fault-tolerant services using the state machine approach: a tutorialACM Computing Surveys, 1990
- The MAFT architecture for distributed fault toleranceIEEE Transactions on Computers, 1988
- Synchronizing clocks in the presence of faultsJournal of the ACM, 1985
- Authenticated Algorithms for Byzantine AgreementSIAM Journal on Computing, 1983
- A lower bound for the time to assure interactive consistencyInformation Processing Letters, 1982
- Reaching Agreement in the Presence of FaultsJournal of the ACM, 1980