A unified approach to fault-tolerance in communication protocols based on recovery procedures

IEEE/ACM Transactions on Networking

Volumn 4, Issue 5, 1996, Pages 785-795

  Agarwal, Anjali ^b   Atwood, J William ^a,c  

^a IEEE

^b Positron Fiber Systems   (Canada)

^c Dept of Electrical and Computer Engineering   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL LINGUISTICS; COMPUTER SYSTEM RECOVERY; ELECTRIC NETWORK SYNTHESIS; ERROR DETECTION; FAILURE ANALYSIS; FINITE AUTOMATA; MATHEMATICAL MODELS; NETWORK PROTOCOLS;

CHECKPOINTING; ERROR PROPAGATION; FINITE STATE MACHINES; PROTOCOL FAILURE; RECOVERY PROTOCOL; ROLLBACK RECOVERY PROCEDURE; SELF STABILIZING PROTOCOL;

FAULT TOLERANT COMPUTER SYSTEMS;

EID: 0030259322     PISSN: 10636692     EISSN: None     Source Type: Journal    
DOI: 10.1109/90.541326     Document Type: Article

References (15)

1. J. Fowler and W. Zwaenepoel, "Causal distributed breakpoints," in Proc. 10th Int. Conf. Distributed Computing Syst., Jun. 1990, pp. 134-141.
2. D. Gambhir and I. T. Frisch, "Automated communication network software fault isolation," in Proc. IEEE Int. Conf. Syst., Man Cybernet., 1991, pp. 719-724.
3. M. G. Gouda and N. J. Multari, "Stabilizing communication protocols," IEEE Trans. Computers, vol. 40, no. 4, pp. 448-458, Apr. 1991.
4. G. J. Holzmann, Design and Validation of Computer Protocols. Englewood Cliffs: Prentice-Hall, 1991.
5. Y. Kakuda, "A recovery sequence generation system for design of recoverable protocols," IEICE Trans. Inform. Systems, vol. E74, no. 6, pp. 1715-1727, Jun. 1991.
6. Y. Kakuda and T. Kikuno, "Verification of responsiveness for communication protocols," IEICE Jpn., Dec. 1991.
7. Y. Kakuda, T. Kikuno, M. Malek, and H. Saito, "A unified approach to design of responsive protocols," in Proc. 1992 IEEE Workshop Fault-Tolemnt Parallel Distributed Syst., Amherst, MA, July 1992, pp. 8-15.
8. L. Lamport, "Time, clocks and the ordering of events in a distributed system," Commun. ACM, vol. 21, no. 7, pp. 558-565, 1978.
9. M. Malek, "Responsive systems: A challenge for the nineties," in Proc. EUROMICRO'90, 16th Symp. Microprocessing Microprogramming, Amsterdam, The Netherlands, Aug. 1990, pp. 9-16.
10. P. Probert and K. Saleh, "Synthesis of communication protocols: Survey and assessment," IEEE Trans. Comput., vol. 40, no. 4, Apr. 1991, pp. 468-476.
11. K. Saleh, I. Ahmed, K. Al-Saqabi, and A. Agarwal, "A recovery approach to the design of stabilizing communication protocols," J. Comput. Commun., vol. 18, no. 4, pp 276-287, Apr. 1995.
12. S. Kassem, I. Ahmed, K. Al-Saqabi, and A. Agarwal, "An efficient recovery procedure for fault-tolerance in distributed systems," J. Syst. Software, pp. 39-50, 1994.
13. K. Saleh and A. Agarwal, "Efficient and fault-tolerant checkpointing procedures for distributed systems," in Proc. IEEE Int. Phoenix Conf. Computers & Communication (IPCCC-93), Mar. 1993, pp. 161-167.
14. M. Schneider, "Self-stabilization," ACM Computing Surveys, vol. 25, no. 1, pp. 45 67, Mar. 1993.
15. R. E. Strom and S. A. Yemini, "Optimistic recovery in distributed systems," ACM Trans. Comput. Syst., vol. 3, no. 3, pp. 204-226, Aug. 1985.