A protocol synthesis method for fault-tolerant multipath routing

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. (C) 1999 Elsevier Science B.V. All rights reserved.