期刊名称：International Journal of Computer Science and Network Security
印刷版ISSN：1738-7906
出版年度：2018
卷号：18
期号：3
页码：110-118
出版社：International Journal of Computer Science and Network Security
摘要：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.
