A protocol synthesis method for fault-tolerant multipath routing

This paper proposes a new synthesis method for generating fault-tolerant mu ltipath routing protocols. The protocol is defined as fault-tolerant if mes sages can be rerouted by using another path when a communication channel fa ils. The routing protocols obtained adopt a multipath routing function, aug mented with routing table, where each table stores the next nodes for multi path routing, and updates the tables according to the network topology chan ges. Additionally, the routing protocol can attain flexibility by the multi path routing mechanism in the sense that only a small amount of change is n eeded for the change of network topology. We also briefly describe an exten sion of the proposed method for generating multicast routing protocols. (C) 1999 Elsevier Science B.V. All rights reserved.