Throughput Analysis for TCP Over the FSO-Based Satellite-Assisted Internet of Vehicles

Free-space optics (FSO)-based, low-earth orbit (LEO) satellite-assisted Internet of vehicles (IoVs) has recently attracted research efforts worldwide. For the majority of Internet applications, transmission control protocol (TCP) is one of the most widely deployed protocols. Nevertheless, a complete understanding of the TCP performance over FSO-based satellite-assisted IoVs networks is still lacking in the literature. This is a highly challenging issue, as a consequence of the non-trivial interdependencies between transmission losses caused by the dynamics/uncertainty of atmospheric last-mile channels and the buffer overflows on the Internet, as well as their joint impact on the TCP congestion control mechanisms. This paper offers a comprehensive analytical framework that allows assessing the TCP throughput performance under the joint impact of congestion losses occurred in the Internet and transmission errors at the last-mile link from the satellite-to-vehicle. Internet access for emerging unmanned aerial vehicles (UAVs) is considered while the analysis can be also applied to other kinds of vehicles, which, in fact, require simpler channel models. The link-layer incremental redundancy hybrid automatic repeat request (IR-HARQ) protocol is employed at satellite-to-UAV channels to further improve the TCP throughput performance. Numerical results provide non-trivial findings and insights for the TCP performance in satellite/FSO-based IoVs, in which optimal UAV’s parameters are chosen to maximize the TCP throughput.