Constraint satisfaction as a basis for designing nonmasking fault-tolerance

Journal of High Speed Networks

Volumn 5, Issue 3, 1996, Pages 293-306

  Arora, Anish ^a   Gouda, Mohamed ^b   Varghese, George ^c  

^a OHIO STATE UNIVERSITY   (United States)

^b University of Texas at Austin   (United States)

^c MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Closure; Convergence; Design; Distributed constraints; Methodology; Nonmasking fault tolerance; Stabilization

Indexed keywords

CONSTRAINT THEORY; ERROR CORRECTION; SUPERVISORY AND EXECUTIVE PROGRAMS;

CLOSURE ACTIONS; CONVERGENCE ACTIONS; NONMASKING FAULT TOLERANCE;

FAULT TOLERANT COMPUTER SYSTEMS;

EID: 0030386285     PISSN: 09266801     EISSN: None     Source Type: Journal    
DOI: 10.3233/jhs-1996-5305     Document Type: Article

References (15)

1. M.J. Fischer, N.A. Lynch and M.S. Paterson, Impossibility of distributed consensus with one faulty process, J. of the ACM 32(2) (1985), 374-382.
2. R.D. Schlichting and F.B. Schneider, Fail-stop processors: An approach to designing fault-tolerant computing systems, ACM Trans. Comput. (1983), 222-238.
3. E.W. Dijkstra, A Discipline of Programming, Prentice-Hall, 1976.
4. A. Arora and M.G. Gouda, Closure and convergence: A foundation of fault-tolerant computing, IEEE Trans. Software Eng. 19(11) (1993), 1015-1027.
5. A. Arora, A foundation of fault-tolerant computing, Ph.D. Dissertation, The University of Texas at Austin, 1992.
6. K.M. Chandy and J. Misra, Parallel Program Design: A Foundation, Addison-Wesley, 1988.
7. D. Gries, The Science of Programming, Springer-Verlag, 1981.
8. F. Cristian, A rigorous approach to fault-tolerant programming, IEEE Trans. Software Eng. 11(1) (1985).
9. E.W. Dijkstra, Self-stabilizing systems in spite of distributed control, Commun. ACM 17(11) (1974).
10. F.B. Bastani, I.-L. Yen and I.-R. Chen, A class of inherently fault-tolerant distributed programs, IEEE Trans. Software Eng. 14(10) (1988), 1431-1442.
11. J.E. Burns and J. Pachl, Uniform stabilizing rings, ACM Trans. Programming Languages and Systems 11(2) (1989), 330-344.
12. A. Arora and M.G. Gouda, Distributed reset, IEEE Trans. Comput. 43(9) (1994), 1026-1038.
13. M. Gouda and N. Multari, Stabilizing communication protocols, IEEE Trans. Comput. 40(4) (1991), 448-458.
14. A. Arora, M.G. Gouda and G. Varghese, Constraint-satisfaction as a basis for designing nonmasking fault-tolerance (extended abstract), in: Proc. of the Fourteenth International Conference on Distributed Computing Systems, 1994, pp. 424-431.
15. G. Varghese, Self-stabilization by local checking and correction, Ph.D. Dissertation, Massachusetts Institute of Technology, 1992.