How to model link failures: A perception-based fault model

Proceedings of the International Conference on Dependable Systems and Networks

Volumn , Issue , 2001, Pages 57-66

  Schmid, Ulrich ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

Clock synchronization; Consistent broadcasting; Fault models; Fault tolerant distributed systems; Link failures

Indexed keywords

LINK FAILURES;

ALGORITHMS; COMPUTER SIMULATION; DISTRIBUTED COMPUTER SYSTEMS; VIRTUAL REALITY;

FAULT TOLERANT COMPUTER SYSTEMS;

EID: 0035789789     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DSN.2001.941391     Document Type: Conference Paper

References (26)

1. M. K. Aguilera, W. Chen, and S. Toueg. Failure detection and consensus in the crash-recovery model. Distributed Computing, 13(2):99-125, 2000.
2. M. H. Azadmanesh and R. M. Kieckhafer. New hybrid fault models for asynchronous approximate agreement. IEEE Transactions on Computers, 45(4):439-449, 1996.
3. D. Dolev, J. Y. Halpern, and H. R. Strong. On the possibility and impossibility of achieving clock synchronization. Journal of Computer and System Sciences, 32:230-250, 1986.
4. M. Fischer, N. Lynch, and M. Merrit. Easy impossibility proofs for the distributed consensus problem. Distributed Computing, 1(1):26-39, 1986.
5. L. Gong, P. Lincoln, and J. Rushby. Byzantine agreement with authentication: Observations and applications in tolerating hybrid and link faults. In Proceedings Dependable Computing for Critical Applications-5, pages 139-157, Champaign, IL, Sept. 1995.
6. P. Lincoln and J. Rushby. A formally verified algorithm for interactive consistency under a hybrid fault model. In Proceedings Fault Tolerant Computing Symposium 23, pages 402-411, Toulouse, France, June 1993.
7. J. Lundelius-Welch and N. A. Lynch. A new fault-tolerant algorithm for clock synchronization. Information and Computation, 77(1):1-36, 1988.
8. N. Lynch. Distributed Algorithms. Morgan Kaufman, 1996.
9. F.J. Meyer and D. K. Pradhan. Consensus with dual failure modes. In In Digest of Papers of the 17th International Symposium on Fault-Tolerant Computing, pages 48-54, Pittsburgh, July 1987.
10. D. Powell. Failure mode assumptions and assumption coverage. In Proc. 22nd IEEE Int. Symp. on Fault-Tolerant Computing (FTCS-22), pages 386-395, Boston, MA, USA, 1992. (Revised version available as LAAS-CNRS Research Report 91462, 1995).
11. J. Rushby. A formally verified algorithm for clock sychronization under a hybrid fault model. In Proceedings ACM Principles of Distributed Computing (PODC'94), pages 304-313, Los Angeles, CA, Aug. 1994.
12. U. Schmid. Interval-based clock synchronization with optimal precision. Technical Report 183/1-78, Vienna University of Technology, Department of Automation, July 1997. (submitted to Information and Computation).
13. U. Schmid. How to model link failures: A perception-based fault model. Technical Report 183/1-108, Vienna University of Technology, Department of Automation, Oct. 2000.
14. U. Schmid. Orthogonal accuracy clock synchronization. Chicago Journal of Theoretical Computer Science, 2000(3):3-77, 2000.
15. U. Schmid, M. Horauer, and N. Kerö. How to distribute GPS-time over COTS-based LANs. In Proceedings of the 31th IEEE Precise Time and Time Interval Systems and Application Meeting (PTTI'99), pages 545-560, Dana Point, California, Dec. 1999.
16. U. Schmid, J. Klasek, T. Mandl, H. Nachtnebel, G. R. Cadek, and N. Kerö. A Network Time Interface M-Module for distributing GPS-time over LANs. J. Real-Time Systems, 18(1):24-57, Jan. 2000.
17. U. Schmid and K. Schossmaier. Interval-based clock synchronization. J. Real-Time Systems, 12(2):173-228, Mar. 1997.
18. U. Schmid and K. Schossmaier. How to reconcile fault-tolerant interval intersection with the Lipschitz condition. Distributed Computing, 14(2), May 2001. (to appear).
19. U. Schmid and B. Weiss. Consensus with oral/written messages: Link faults revisited. Technical Report 183/1-110, Department of Automation, TU Vienna, February 2001. (submitted to DISC'01).
20. F. B. Schneider. A paradigm for reliable clock synchronization. In Proceedings Advanced Seminar of Local Area Networks, pages 85-104, Bandol, France, Apr. 1986.
21. T. K. Srikanth and S. Toueg. Optimal clock synchronization. Journal of the ACM, 34(3):626-645, July 1987.
22. P. M. Thambidurai and Y. K. Park. Interactive consistency with multiple failure modes. In Proceedings 7th Reliable Distributed Systems Symposium, Oct. 1988.
23. C. J. Walter, P. Lincoln, and N. Suri. Formally verified online diagnosis. IEEE Transactions on Software Engineering, 23(11):684-721, Nov. 1997.
24. C.J. Walter and N. Suri. The customizable fault/error model for dependable distributed systems. Theoretical Computer Science, 2000. (Special issue on Dependable Computing, to appear).
25. C. J. Walter, N. Suri, and M. M. Hugue. Continual on-line diagnosis of hybrid faults. In Proceedings DCCA-4, Jan. 1994.
26. L. Zhou, F. B. Schneider, and R. van Renesse. COCA: A secure distributed on-line certification authority. Technical Report TR2000-1828, Computer Science Department, Cornell Univesity, December 2000.