Multicast Congestion Control SRMSH Approach Using Communicating Real-Time State Machines

New real-time applications frequently involve timing constraints related to accurate services from communication protocols. Concretely, real-time communication protocols utilize timers to implement these constraints between system event occurrences. In this context, the study of congestion control for Internet reliable multicast is at present an active research field related to real-time protocols. In this paper, the authors present an innovative real-time transport protocol named Scalable Reliable Multicast Stair Hybrid (SRMSH) as new hybrid multiple layer mechanism for multicast congestion control providing detection and recovery loss. This work is focused on formal specification of SRMSH approach using Communicating Real-Time State Machines as a formal method. Besides, SRMSH validation is presented within a formal proof framework in order to check the functional safety and liveness properties. As a result, authors outline a dynamical system framework in order to model behavior of their presented solution.

[1]  Mark Handley,et al.  PGMCC single rate multicast congestion control: Protocol Specification , 2004 .

[2]  Steven McCanne,et al.  A reliable multicast framework for light-weight sessions and application level framing , 1995, SIGCOMM '95.

[3]  Martin Mauve,et al.  A survey on TCP-friendly congestion control , 2001, IEEE Netw..

[4]  T. H. Steele.  Continuity and chaos in discrete dynamical systems , 2006 .

[5]  Mathai Joseph,et al.  Real-time systems - specification, verification and analysis , 1995, Prentice Hall International series in computer science.

[6]  Jörg Widmer,et al.  Extending equation-based congestion control to multicast applications , 2001, SIGCOMM '01.

[7]  Injong Rhee,et al.  TEAR: TCP emulation at receivers – flow control for multimedia streaming , 2000 .

[8]  Phillip A. Laplante.  Real-Time Systems Design and Analysis , 1992 .

[9]  John W. Byers,et al.  STAIR: Practical AIMD Multirate Multicast Congestion Control , 2001, Networked Group Communication.

[10]  ZHANGLi-xia,et al.  A reliable multicast framework for light-weight sessions and application level framing , 1995 .

[11]  Fulvio Babich,et al.  Formal methods for specification and analysis of communication protocols , 2002, IEEE Communications Surveys & Tutorials.

[12]  Adam Wolisz,et al.  MLDA: a TCP-friendly congestion control framework for heterogeneous multicast environments , 2000, 2000 Eighth International Workshop on Quality of Service. IWQoS 2000 (Cat. No.00EX400).

[13]  Sneha Kumar Kasera,et al.  Scalable fair reliable multicast using active services , 2000, IEEE Netw..

[14]  Michael Mitzenmacher,et al.  A digital fountain approach to asynchronous reliable multicast , 2002, IEEE J. Sel. Areas Commun..

[15]  Phillip A. Laplante.  Real-Time Systems Design and Analysis: Laplante/Real-Time Systems Design , 2004 .

[16]  Todd Montgomery,et al.  A Loss Tolerant Rate Controller for Reliable Multicast , 1997 .

[17]  A. Udaya Shankar,et al.  Time-dependent distributed systems: proving safety, liveness and real-time properties , 1985, Distributed Computing.

[18]  Jon Crowcroft,et al.  TCP-like congestion control for layered multicast data transfer , 1998, Proceedings. IEEE INFOCOM '98, the Conference on Computer Communications. Seventeenth Annual Joint Conference of the IEEE Computer and Communications Societies. Gateway to the 21st Century (Cat. No.98.

[19]  Steven McCanne,et al.  A window-based congestion control for reliable multicast based on TCP dynamics , 2000, ACM Multimedia.

[20]  Injong Rhee,et al.  MTCP: scalable TCP-like congestion control for reliable multicast , 2002, Comput. Networks.

[21]  Injong Rhee,et al.  MTCP: scalable TCP-like congestion control for reliable multicast , 1999, IEEE INFOCOM '99. Conference on Computer Communications. Proceedings. Eighteenth Annual Joint Conference of the IEEE Computer and Communications Societies. The Future is Now (Cat. No.99CH36320).

[22]  Sanjoy Paul,et al.  RMTP: a reliable multicast transport protocol , 1996, Proceedings of IEEE INFOCOM '96. Conference on Computer Communications.

[23]  Ioannis Lambadaris,et al.  A survey of congestion control schemes for multicast video applications , 2003, IEEE Communications Surveys & Tutorials.

[24]  Dah-Ming Chiu,et al.  A congestion control algorithm for tree-based reliable multicast protocols , 2002, Proceedings.Twenty-First Annual Joint Conference of the IEEE Computer and Communications Societies.

[25]  Michael Mitzenmacher,et al.  Fine-grained layered multicast , 2001, Proceedings IEEE INFOCOM 2001. Conference on Computer Communications. Twentieth Annual Joint Conference of the IEEE Computer and Communications Society (Cat. No.01CH37213).

[26]  Markus Hofmann,et al.  Performance comparison of reliable multicast protocols using the network simulator ns-2 , 1998, Proceedings 23rd Annual Conference on Local Computer Networks. LCN'98 (Cat. No.98TB100260).

[27]  John W. Byers,et al.  ROMA: reliable overlay multicast with loosely coupled TCP connections , 2004, IEEE INFOCOM 2004.

[28]  François Baccelli,et al.  Impact of TCP-like congestion control on the throughput of multicast groups , 2002, TNET.

[29]  Kenneth P. Birman,et al.  Bimodal multicast , 1999, TOCS.

[30]  N. F. Mir.  A survey of data multicast techniques, architectures, and algorithms , 2001 .

[31]  Krishan K. Sabnani,et al.  Fundamental observations on multicast congestion control in the Internet , 1999, IEEE INFOCOM '99. Conference on Computer Communications. Proceedings. Eighteenth Annual Joint Conference of the IEEE Computer and Communications Societies. The Future is Now (Cat. No.99CH36320).

[32]  Don Towsley,et al.  The impact of multicast layering on network fairness , 2002, TNET.

[33]  Sandeep K. Singhal,et al.  Log-based receiver-reliable multicast for distributed interactive simulation , 1995, SIGCOMM '95.

[34]  Oscar Martínez Bonastre,et al.  A collaborative mobile architecture for multicast live-streaming social networks , 2009, ICME.

[35]  Michael Mitzenmacher,et al.  FLID-DL: congestion control for layered multicast , 2002, IEEE J. Sel. Areas Commun..

[36]  Katia Obraczka,et al.  Multicast transport protocols: a survey and taxonomy , 1998, IEEE Commun. Mag..