Article,
Modeling and Analysis of Cooperative Packet Recovery Protocol
Contributors
Naeem, Muhammad
0000-0002-3809-2284
[1]
Atif, Muhammad
0000-0002-2228-0301
[2]
Ali, Arshad
0000-0001-5625-0867
[3]
Affiliations
- [1] Aalborg Univ, Dept Comp Sci, DK-9220 Aalborg, Denmark [NORA names: AAU Aalborg University; University; Denmark; Europe, EU; Nordic; OECD];
- [2] Univ Lahore, Dept Comp Sci & IT, Lahore 54590, Pakistan [NORA names: Pakistan; Asia, South];
- [3] Natl Univ Comp & Emerging Sci, FAST Sch Comp, Lahore 54770, Pakistan [NORA names: Pakistan; Asia, South];
- [4] LUT Univ, SE Dept, Lappeenranta 53850, Finland [NORA names: Finland; Europe, EU; Nordic; OECD]
Abstract
Real-time audio/video transmission through Internet media is an important part of communication. Due to bandwidth limitations and a noisy environment, delivery of multimedia content to a remote location is not 100% guaranteed. These limitations are the basic cause of missing packets which affect the Quality of Service (QoS). A protocol for the recovery of lost packets is described in [Maxemchuk, Nicholas F., K. Padmanabhan, and S. Lo. "A cooperative packet recovery protocol for multicast video." Network Protocols, 1997. Proc. of 1997 International Conference on. IEEE]. This protocol claims significant improvement in QoS. We formally specify the protocol in a network of timed automata. By model-checking (A mathematical technique), we find that packet recovery is not always there. In this article, We report such scenarios of malfunctioning in the protocol when the size of multimedia contents is known (e.g., live video/audio broadcasting) and middle-level servers have different rates of data sending and receiving. We formulate the effect of inter-packet delay and transmission speed difference on a buffer.
