A protocol synthesis method for fault-tolerant multipath routing

Abstract This paper proposes a new synthesis method for generating fault-tolerant multipath routing protocols. The protocol is defined as fault-tolerant if messages can be rerouted by using another path when a communication channel fails. The routing protocols obtained adopt a multipath routing function, augmented with routing table, where each table stores the next nodes for multipath routing, and updates the tables according to the network topology changes. Additionally, the routing protocol can attain flexibility by the multipath routing mechanism in the sense that only a small amount of change is needed for the change of network topology. We also briefly describe an extension of the proposed method for generating multicast routing protocols.

[1]  Robert L. Probert,et al.  Synthesis of Communication Protocols: Survey and Assessment , 1991, IEEE Trans. Computers.

[2]  Tohru Kikuno,et al.  A synthesis method for fault-tolerant and flexible multipath routing protocols , 1997, Proceedings. Third IEEE International Conference on Engineering of Complex Computer Systems (Cat. No.97TB100168).

[3]  Jennifer L. Welch,et al.  Crash Resilient Communication in Dynamic Networks , 1997, IEEE Trans. Computers.

[4]  Ming T. Liu,et al.  Protocol synthesis in a state-transition model , 1988, Proceedings COMPSAC 88: The Twelfth Annual International Computer Software & Applications Conference.

[5]  Kenji Ishida,et al.  A Synthesis Method for Fault-Tolerant Multicast Routing Protocol , 1998, IPPS/SPDP Workshops.

[6]  Kassem Saleh,et al.  Automatic synthesis of protocol specifications from service specifications , 1991, [1991 Proceedings] Tenth Annual International Phoenix Conference on Computers and Communications.

[7]  守屋 悦朗,et al.  J.E.Hopcroft, J.D. Ullman 著, "Introduction to Automata Theory, Languages, and Computation", Addison-Wesley, A5変形版, X+418, \6,670, 1979 , 1980 .

[8]  Gurdip Singh,et al.  On the construction of multiphase communication protocols , 1994, Proceedings of ICNP - 1994 International Conference on Network Protocols.

[9]  Christian Huitema,et al.  IPv6--the new Internet protocol , 1996 .

[10]  M. W. Shields.  An Introduction to Automata Theory , 1988 .

[11]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .