A synthesis method for fault-tolerant multicast routing protocol

Abstract

Multicast communication services will be one of the most promising future applications, which include real-time flows, in both the B-ISDN and the Internet. Design of such multicast routing protocols is complex and difficult due to complicated requirements. The protocol is defined to be fault-tolerant if messages can be retransmitted when a message loss occurs. In this paper, we propose a new synthesis method for generating a fault-tolerant multicast routing protocol for a given service specification, a network topology, and a tree shaped route.