Formal specification and verification of the SWP to improve the performance of multiple windows

摘要

The Sliding Window Protocol (SWP) is commonly used in transfer of data in communication. It assured an accurate data transfer over migrate quality communication channels where packet duplication, lost of data, go-n-back and reordered are main crises. The performance characteristics of SWP are affected by few parameters and analytically these characteristics cannot be resolved. In this paper, we describe the communication procedure of SWP protocol and studied the related parameters which affect quality system. The proposed SWP model characterizes the throughput of the protocol and acquired delay of the acknowledgement. The lost packets, window size, round trip time, timeout period and packet size are investigated in communication network environments.