# Supporting Immersive Video Streaming via V2X Communication
## 2 Bandwidth Allocation for Diverse Streaming Services in V2X Communication
### Vehicle Fleet Bandwidth Coordination  
This module facilitates the formation of a vehicle fleet by connecting the requesting passenger's vehicle with others within the V2V communication range. It alleviates bandwidth deficits for passengers needing to upload or download video content through the excess bandwidth provided by CF XL-MIMO access points located at less congested road segments. Once the fleet connection is successfully established, excess bandwidth from these CF XL-MIMO access points can be relayed to the requesting passenger's vehicle located at the rear of the fleet. The execution steps of this module are as follows:  
* The RSU connects the vehicle requesting bandwidth with other vehicles within the V2V communication range to form a fleet. \[\begin{split}\text{argMin}\Bigg{\{}\gamma^{\sigma,p}\cdot[\beta^{ \sigma,p}\cdot(\sum_{f=\begin{subarray}{c}\sum_{f=\begin{subarray}{c}\sum_{f= \begin{subarray}{c}\sum_{f=\begin{subarray}{c}\sum_{f=\begin{subarray}{c} \sum_{f=\begin{subarray}{c}\sum_  
\[\sum\limits_{f=1}^{\mathbb{F}^{\sigma,p}}\sum\limits_{\phi^{f,1}}\mu b _{t_{l}^{\sigma,p}}^{\phi^{\sigma,p}_{f,1}}\geq du_{t_{l}^{\sigma,p}},\ 1\leq l\leq e^{\sigma,p},rt_{t_{k}^{\sigma}}\leq t_{l}^{\sigma,p}<rt_{t_{k+1}^{ \sigma}},\ \text{if}\ \gamma^{\sigma,p}=1,\beta^{\sigma,p}=1, \tag{56}\] \[\sum\limits_{f=1}^{\mathbb{F}^{\sigma,p}}\sum\limits_{\phi^{f,1}} db_{t_{l}^{\sigma,p}}^{\phi^{\sigma,p}_{f,1}}\geq dd_{t_{l}^{\sigma,p}},\ 1\leq l\leq e^{\sigma,p},rt_{t_{k}^{\sigma}}\leq t_{l}^{\sigma,p}<rt_{t_{k+1}^{ \sigma}},\ \text{if}\ \gamma^{\sigma,p}=1, \tag{57}\]  
\[\mu wt_{t_{l}^{\sigma,p}}^{\mu^{\sigma,p}_{f,1}}\geq wvb_{t_{l}^{\sigma,p}}^{ \mu^{\sigma,p}_{f,1}},\ \ 1\leq l\leq e^{\sigma,p},1\leq i<e^{\sigma,p},1\leq f\leq\mathbb{F}_{k}^{\sigma, p},\ \ \text{if}\ \beta^{\sigma,p}=1 \tag{58}\]  
\[drb_{t_{l}^{\sigma,p}}^{\mu^{\sigma,p}_{f,1},\mu^{\sigma,p}}\geq dvb_{t_{l}^{ \sigma,p}}^{\mu^{\sigma,p}_{f,1},\mu^{\sigma,p}_{f,1}},\ \ 1\leq l\leq e^{\sigma,p},1\leq i<e^{\sigma,p},1\leq f\leq\mathbb{F}_{k}^{\sigma, p}, \tag{59}\]  
\[t_{l+1}^{\sigma,p}=t_{l}^{\sigma,p}+\Delta,\ \ 1\leq l\leq e^{\sigma,p} \tag{60}\]  
where the binary flags \(\gamma^{\sigma,p}=1\) and \(\beta^{\sigma,p}=1\) indicate that the application is a real-time video and a bidirectional video, respectively. \(\mathbb{F}^{\sigma,p}\) is the num.er of fleets, \(\mathcal{F}_{f}^{\sigma,p}\) denotes the \(f\)-th fleet that relays bandwidth for \(v\), and \(\chi_{f}^{\sigma,p}\) represents the length of \(\mathcal{F}_{f}^{\sigma,p}\). \(r_{f,1}^{\sigma,p}\) stands for the index of the vehicle at the head of the fleet, \(r_{f,\chi_{f}^{\sigma,p}}^{\sigma,p}\) represents vehicle \(\sigma\) located at the end of the fleet, \(\phi^{r_{f,1}^{\sigma,p}}\) represents a CF XL-MIMO access point covering the communication range of the fleet head, and \(c_{t_{l}^{\sigma,p}}^{\sigma,p}\) is the destination of \(\sigma\). \(v\) faces bandwidth deficit when passing the \(k\)-th road segment connecting \(c_{k}^{\sigma}\) and \(c_{k+1}^{\sigma,p}\). \(du_{t_{l}^{\sigma,p}}\) and \(dd_{t_{l}^{\sigma,p}}\) respectively represent the upload and download bandwidth deficits of a real-time video at time \(t_{l}^{\sigma,p}\) when passing through the segment, while \(s\) is the index of the road segment where non-real-time video segments cannot be pre-downloaded at time \(t_{l}^{\sigma,p}\). \(t_{l}^{\sigma,p}\) and \(t_{l}^{\sigma,p}\) represent the start and end playback times for \(v\), respectively.