Abstract
State of the art multicast research points to a future architecture in which multicast transport protocols provide end-to-end control over the IP multicast datagram service, similar to TCP/IP. However, many aspects of these protocols are still to be resolved, and are active areas of research. We present a simulation architecture for applying the Formal Description Technique Estelle to the development of multicast transport protocols. A key component of this architecture is the IP network (IPN) module, which is the focus of this paper. The IPN module reproduces complex medium behaviours specific to multicast transport protocols and not provided by existing IP medium models, including: IGMP services, network heterogeneity, address-based routing, and multicast delivery. The sophistication of the IPN module presents a realistic simulation environment for the formal investigation of multicast transport protocols. The module has in addition been designed to be independent of the upper-layer protocol being investigated, and as such presents a re-usable component for the simulation of any IP-based protocols.
This work has been partially supported by the Copernicus/IDEMCOP project.
The original version of this chapter was revised: The copyright line was incorrect. This has been corrected. The Erratum to this chapter is available at DOI: 10.1007/978-0-387-35533-7_26
Chapter PDF
Similar content being viewed by others
Key words
References
ISO/IEC, 1989. Information Processing Systems. Estelle - A Formal Description Technique based on Extended State Transition Model, IS 9074.
E Borcoci, S Budkowski, 1999. Traffic capability of the ATM-SSCOP protocol - Simulation Study, Proceedings of the European Simulation Multiconference 1999, Warsaw, Poland.
S Budkowski, 1992. The Estelle Development Toolset, Computer Networks and ISDN Systems Journal, Special Issue on FDT Concepts and Tools, Vol. 25, No. 1.
S Budkowski et al., 1998. The Estelle Development Toolset, Institut National des Télécommunications, Evry, France.
O Catrina and S Budkowski, 1998. Integration ofsubtransactions in OSI-TP. Validation of the Estelle specification using EDT, Research Report, Institut National des Télécommunications, France, December 1998.
O Catrina and E Borcoci, 1996. Estelle specification and validation of XTP 4.0, Copernicus Project (COP62) Deliverable for Workpackage 2, Task 2.1, University of Bucharest, 1996.
S Deering, 1989. Host Extensions for IP multicasting, RFC 1112,August 1989.
A Mankin, A Romanow, S Bradner, V Paxson. IETF Criteria for Evaluating Reliable Multicast Transport and Application Protocols, RFC 2357, June 1998.
P Sanjoy, K Sabnani, JC Lin and S Bhattacharya, 1997. Reliable Multicast Transport Protocol (RMTP), IEEE Journal on Selected Areas in Communications, Vol. 15, No. 3.
B Quinn and K Almeroth, 1999, IP multicast applications: Challenges and Solutions,Internet Draft, 26 February 1999.
J Templemore-Finlayson, 2000, An Estelle Specification of the Reliable Multicast Transport Protocol II, Research Report N° 00001-LOR, Institut National des Télécommunications, France, January 2000.
B Whetten, M Basavaiah, S Paul, T Montgomery, N Rastogi, J Conlan and T Yeh. Reliable Multicast Transport Protocol - II, Internet Draft, April 1998.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Templemore-Finlayson, J., Borcoci, E. (2000). Simulating Multicast Transport Protocols in Estelle. In: Bolognesi, T., Latella, D. (eds) Formal Methods for Distributed System Development. PSTV FORTE 2000 2000. IFIP — The International Federation for Information Processing, vol 55. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35533-7_13
Download citation
DOI: https://doi.org/10.1007/978-0-387-35533-7_13
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5264-9
Online ISBN: 978-0-387-35533-7
eBook Packages: Springer Book Archive