To search, Click below search items.


All Published Papers Search Service


Formal Analysis and Verification of Packet Recovery Protocols for Multicast Video


Muhammad Atif, Nadia Mushtaq, M. Sohaib Mahmood, Muhammad Naeem, Amjad Riaz


Vol. 18  No. 3  pp. 110-118


Internet based transmission of real-time videos has become one of the major components of online multimedia applications. A real-time video delivery system may face several problems that include possible delay, packet loss and limited bandwidth. Unfortunately, not much work has been done on the improvement of the quality of service (QoS) to ensure the smooth video transmission. The cooperative packet recovery protocol for the multi-casting of audio/video was presented in [Maxemchuk, Nicholas F., K. Padmanabhan, and S. Lo. A cooperative packet recovery protocol for multicast video, Proceedings of 1997 IEEE International Conference on Network Protocols] and claimed significant improvement in QoS through a packet recovery mechanism. Our work formally specified this protocol together with its principal functional requirements and proved that this protocol failed to recover packet(s) in certain situations. The diagnostic traces have been reported as the proof, and this protocol has been specified in automata-theoretic formalism.


Multicasting Video/Audio, Formal Specification, Model Checking, Packet Recovery protocol, QoS in Multimedia Transmissions.