Active replication in Delta-4
- 2 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
Delta-4 is an open dependable distributed computing systems architecture, in which fault-tolerance is achieved by means of replication of run-time software components on host computers interconnected by a local area network. The authors discuss the coordination of active replicas executing either in a fail-silent host computer environment, or in a full-uncontrolled environment. This coordination is carried out by a specific protocol, the inter replica protocol (IRp). The IRp was implemented in various Delta-4 prototypes. The protocol, the service it delivers, and the environment assumptions were formally specified. The specifications were formally verified for consistency by model checking techniques. The formal specification and verification of IRp are considered. Some implementation details and results of performance tests are given.Keywords
This publication has 14 references indexed in Scilit:
- ATOMIC BROADCAST: FROM SIMPLE MESSAGE DIFFUSION TO BYZANTINE AGREEMENTPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Using passive replicates in Delta-4 to provide dependable distributed computingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Failure mode assumptions and assumption coveragePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Reliable broadcast for fault-tolerance on local computer networksPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Tolerating transient faults in MARSPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Understanding fault-tolerant distributed systemsCommunications of the ACM, 1991
- Implementing fault-tolerant services using the state machine approach: a tutorialACM Computing Surveys, 1990
- What are the limits of model checking methods for the verification of real life protocols?Published by Springer Nature ,1990
- The Delta-4 approach to dependability in open distributed computing systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1988
- Formal Specification and Mechanical Verification of SIFT: A Fault-Tolerant Flight Control SystemIEEE Transactions on Computers, 1982