# Reaching spatial or networking saturation in VANET

- Serkan Öztürk
^{1}Email author, - Jelena Mišić
^{2}and - Vojislav B Mišić
^{2}

**2011**:174

https://doi.org/10.1186/1687-1499-2011-174

© Öztürk et al; licensee Springer. 2011

**Received: **29 June 2011

**Accepted: **18 November 2011

**Published: **18 November 2011

## Abstract

In this article, we investigate the network transition between non-saturation and saturation regimes for a Vehicular Ad hoc Network (VANET) which is composed of mobile nodes. We combine vehicular traffic theory, queuing model, and Markov chain to evaluate the performance of the network under spatial or networking saturation for multiple data classes over control channel and service channel. Our results indicate that the vehicle density growth can result in saturation of wireless medium around the roadside unit (RSU), further resulting in buffer overflows at on board units (OBUs). We also investigate the network saturation points for different transmission ranges of a RSU. Our results show that RSU's transmission coverage has to be chosen with respect to data patterns of OBUs, minimal distance between vehicles, and number of lanes in order to avoid network saturation condition.

## Keywords

## 1 Introduction

EDCA parameter set used on the CCH (adapted from [13])

ACI | AC | CWmin | CWmax | AIFSN |
---|---|---|---|---|

1 | Background | 15 | 511 | 9 |

0 | Best effort | 7 | 15 | 6 |

2 | Video | 3 | 7 | 3 |

3 | Voice | 3 | 7 | 2 |

EDCA parameter set used on the SCH (adapted from [13])

ACI | AC | CWmin | CWmax | AIFSN |
---|---|---|---|---|

1 | Background | 15 | 511 | 7 |

0 | Best effort | 15 | 511 | 3 |

2 | Video | 7 | 15 | 2 |

3 | Voice | 3 | 7 | 2 |

A VANET is unstable when a queue of any on board unit (OBU) in the network is saturated. A queue is saturated if it always has at least one frame waiting to be served. VANET cannot operate under saturation conditions because the OBU's buffer will overflow and frames queuing delay will grow unacceptably. Since all the data classes need to operate in stable conditions, the network performance must be investigated under non-saturation regime. However, network performance in non-saturation regime has received much less attention because of its complexity. In [3], the authors investigate the performance of an IEEE 802.11p-based network in non-saturation regime with static nodes.

On the other hand, spatial saturation occurs when the distance between vehicles reaches minimal (jamming) value because of the vehicular traffic congestion. While spatial saturation of vehicles during rush hours or accidents cannot be avoided, networking saturation can be avoided by proper dimensioning of resources.

In this study, we combine vehicular traffic theory, M/G/1 queuing analysis, and Markov chain analysis in order to investigate the transition between non-saturation and saturation regimes for an IEEE 802.11p-based network which is composed of mobile nodes with multiple data combinations and multiple data classes per combination. We consider the neighbourhood of a single RSU operating in non-saturation regime deployed on a bidirectional road segment. The number of vehicles in each direction (lane) under free-flow model [4] is considered as a Poisson distribution. Assuming error-prone channel conditions, we derive probability distributions for frame backoff time, waiting time in queue, collision probability of a transmission, and normalized throughput for each channel and each data class with different transmission rates depending on the vehicle's distance from the RSU.

The remainder of the article is organized as follows: in Section 2 we discuss related work and in Section 3 we develop analytical model. Section 4 presents the numerical results. Finally, Section 5 concludes the article.

## 2 Related work

Vehicular traffic flow models are classified as "microscopic", "macroscopic", and "mesoscopic" [5]. Microscopic traffic flow models describe each vehicle separately. In macroscopic models, all individual vehicles are aggregated and described as flows. The speed-flow-density relationships are used in these models [4, 6]. Mesoscopic models combine microscopic and macroscopic elements in a unified approach. In [7] the authors investigate the connectivity of VANETs operating in free-flow regime. They use a common model [4] in vehicular traffic theory in which any observer in space sees cars passing it that are separated by exponentially distributed times.

Current state of the art in this area is a combination of saturated IEEE 802.11 model with free-flow vehicular traffic regime and spatial Poisson arrangement of vehicles [1, 8–12]. In [1], authors have developed an analytical framework to evaluate the upload performance for Drive-thru Internet as a function of vehicle density. In [8], authors have derived an analytical model to quantify the impact of parameters such as road traffic density and vehicle speed on the download performance of moving vehicles in Drive-thru Internet systems. Authors in [9] have considered heterogeneous vehicular environments where vehicles may have different mobility characteristics. A model to estimate the collision probability in VANETs has been proposed in [10]. This model integrated the characteristics of VANETs (vehicle density and speed) into the traditional collision probability model. In [11], authors have proposed a model to improve the efficiency of communication between vehicles and RSUs. In this model, every vehicle can individually calculate its own priority of communication based on its speed and location. Authors in [12] have proposed an analytical model to evaluate the MAC throughput under different node speeds in Drive-thru Internet system. All the proposed models have deployed IEEE 802.11b as the wireless communication standard for VANETs instead of IEEE 802.11p. None of the proposed models have considered non-saturation regime, so far.

## 3 Analytical model

*Rg*

_{ i }) within the RSU coverage area vehicles have different pay-load transmission rates according to their distance to the RSU. Each vehicle can transmit frames from data classes AC

*k, k*= 0

*..*3, in either CCH or SCH. We assume that there are

*d*

_{ c }data combinations on CCH and

*d*

_{ s }data combinations on SCH. Data combination

*d*

_{ x }on channel

*x*∈ (

*c, s*) is characterized with an array of [

*c*(

*x, d*, 0)

*c*(

*x, d*, 1)

*c*(

*x, d*, 2)

*c*(

*x, d*, 3)]. The index value

*c*(

*x, d, k*) = 1 denotes the presence of data class

*k*, while the value of

*c*(

*x, d, k*)= 0 denotes its absence. Packets from data class

*k*in channel

*x*arrive to the vehicle according to a Poisson process with rate

*λ*

_{ x,k }. Time unit in our model is one backoff slot. For data class

*k*within channel

*x*at each region (

*Rg*

_{ r }), we assume variable frame size of

*ld*

_{x,k,r}slots which includes payload, MAC header, and physical header. The PGF for frame size within the transmission range

*L*of the RSU is

*l*

_{ r }is the length of the region

*Rg*

_{ r }. Duration of the SIFS period in slots will be denoted as

*sifs*. We assume that RTS/CTS transmission scheme is used. Duration of RTS, CTS, and ACK frames expressed in slots will be denoted as

*rts, cts*, and

*ack*, respectively. We model the channel errors through Bit Error Rate (

*ber*). In each region, the probability that a frame will not be corrupted by noise is denoted as ${\delta}_{k,r}={\left(1-ber\right)}^{rt{s}_{b}+ct{s}_{b}+l{d}_{b,x,k,r}+ac{k}_{b}}$ where subscript

*b*denotes values expressed in bits. Also, we consider OBU devices equipped with a single networking interface only. Each interface switches between CCH and SCH during the sync interval, as shown in Figure 4. Duration of synchronization interval is

*SI*= 100 ms and duration of guard intervals is

*grd*= 5 ms each, as specified in the standard [13]. Duration of CCH is (

*SI*- 2grd)

*SO*. We assume that duty cycle of CCH vs. SCH is

*SO*= 0.5. For this value, backoff process should be completed within (

*SI*/2) ms in each channel in order to avoid handover for another RSU [3]. The handover probability in each channel interval for any packets from data class

*k*is

where *v* is the mean speed of the vehicle. The handover probability is neglected because of its small value and we assume that the backoff process will be completed in the vicinity of a single RSU.

*M*/

*G*/1 queuing model. The PGF for successful packet transmission time is

In case of collision of RTS packets, activity on the medium has the PGF of *Ct*(*z*) = z^{rts+cts+sifs}.

### 3.1 Distribution of vehicles

*F*be the vehicle flow which corresponds to the number of vehicles that pass a fixed roadside point per unit time. Also, let λ

_{ d }be vehicle density, i.e., the number of vehicles per unit distance in one direction along the road segment. From the traffic flow theory [4], mean speed, flow, and density are related through is

*v*

_{ f }is the free-flow speed corresponding to the maximum desired speed (usually taken as the road's speed limit). λ

_{d,jam}is the maximum allowable traffic density (jam density). Then, the maximum number of vehicles,

*vh*

_{max}, in each lane of the road segment within the transmission range

*L*of the RSU can be calculated as

*n*vehicles in each lane of the road segment is given by

### 3.2 Model of IEEE 802.11p features

*aifs*

_{x,k}=

*sifs*+ AIFSN

_{x,k}·

*σ*where

*σ*is the duration of the slot time and

*x*∈ (

*c*,

*s*) denotes the channel type. We model this action through

*k*freezing counters [14]. They need to be re-started from the beginning if the medium becomes busy at any time during the countdown. Since access is synchronized with the end of previous transmission, no access is possible during

*AIFS*

_{x,3}. Figure 7 presents the Markov chain for freezing countdown, the initial values of freezing counters are set to

*B*

_{x,k}=

*AIFSN*

_{x,k}-

*AIFSN*

_{x,3},

*k*= 0.. 3.

*m*

_{x,k}+ 1 backoff phases, starting from the phase 0, with increasing values of contention window. Frame can be re-transmitted up to

*R*times, but window size will grow only until phase

*m*

_{x,k}as indicated in Tables 1 and 2. The size of contention window for channel

*x*∈ (

*c, s*) and

*AC*=

*k*in the

*i*th backoff stage (

*i*= 0..

*m*

_{x,k}) has the value of

*k*and higher can access channel

*x*are denoted as

*A*

_{x,k}and their maximum durations are

*θ*

_{x,d,k}) might be different from access probability

*τ*

_{x,d,k}:

*A*

_{x,k}is

*n*

_{x,d,k}is the total number of vehicles from channel

*x*∈

*c, s*with data combination

*d*, transmitting frames from data class

*k*. However, because of virtual collisions, what the stream

*c*(

*x, d, k*) = 1 actually 'sees' is that no data class within the vehicle has finished the backoff process and that there is no access by any other vehicle. This value might be different from

*f*

_{x,k}, since it observes absolute access of data classes outside the vehicle and virtual access of classes inside the vehicle as

*c*(

*x, d, k*) = 1,

*x*∈ (

*c, s*), can be decremented during time periods

*A*

_{x,l},

*l*= 0..

*k*, but unfortunately, with probabilities that depend on the index of the period. The overall probability of backoff counter decrement for

*AC*

_{ i }is

*k*in channel

*x*does not experience a virtual or real collision is ${\gamma}_{{n}_{x,d,k}}={g}_{x,d,k}$. The overall collision probability per lane for data combination

*d*with data class

*k*in channel

*x*can be calculated as

### 3.3 PGF for the frame service time

The basic building block of the packet service time PGF is the transfer PGF for the pass through the freezing counter block which has loopback when the value of backoff counter is non-zero, and skips loopback when the backoff counter is zero. Note that transfer PGFs through the block are different if the block has to be traversed vertically from higher backoff state or laterally from the same backoff state but from higher value of backoff counter.

*Pfa*

_{l}that freezing counters of vehicles with data classes

*k*<

*l*will be restarted because of successful transmission on the medium in the period

*A*

_{x,l},

*l*= 1, 2, 3.

The probability that freezing counter will be restarted because of a collision is *Pfc*_{x,l}= 1 - *f*_{x,l}- *Pfa*_{x,l}.

*A*

_{x,l},

*l*= 0.. 3 as

*Bfnl*

_{x,k}(

*z*) for the zero value of backoff counter can be derived by noting that PGF is recursive because of the presence of a loop and has the form

*Bfnl*

_{x,k}(

*z*) =

*Bfnln*

_{x,k}(

*z*)/

*Bfnld*

_{x,k}(

*z*) where

except for the highest traffic class where *Bfnl*_{x,3}(*z*) = *z*.

*k*will be suppressed in the period

*A*

_{x,l},

*l*= 0..

*k*, because of successful transmission is

The corresponding probabilities that the backoff count will be suppressed because of the collision on the medium are $Pb{c}_{x,d,k,l}=1-\frac{{f}_{x,l}}{1-{\tau}_{x,d,k}}-Pb{s}_{x,d,k,l}$.

Then, the vertical transfer PGF for non-zero value of backoff counter gets the form *Bfl*_{x,d,k}(*z*) = *α*/*β* where $\alpha =c\left(x,d,k\right)\frac{{f}_{x,k}}{1-{\tau}_{x,t,k}}zBfn{l}_{x,k}\left(z\right)$ and *β* = 1 - *zBfnl*_{x,k}(*z*)(*Pbs*_{x,d,k}*Sw*_{x,k}(*z*) + *Pbc*_{x,d,k}*Ct*(*z*)).

Lateral transfer PGFs which connect the backoff freezing blocks, *Bfs*_{x,d,k}(*z*), can be calculated as defined in [3].

*i*for data class

*k*on channel

*x*is

*π*

_{x,d,k,0}= 1-

*ρ*

_{x,d,k}, where

*ρ*

_{x,d,k}denotes offered load from data combination

*d*with class

*k*in channel

*x*. The entire Markov chain for

*AC*

_{ k }is shown in Figure 8. Markov chain has the same form for both channels since activity of the other channel is equivalent to channel busy state on the current channel. By considering Figure 8, the PGF for the backoff time for data combination

*d*with data class

*AC*

_{ k }in channel

*x*becomes

*AIFS*

_{x,k}. However, if this attempt is not successful, the entire backoff process (beginning from phase 1) has to be performed; the PGF for the duration of this backoff process,

*Bzof*

_{x,d,k}(

*s*), is similar to the one in (18) but with a difference in the first line:

At this point, these expressions can be used to calculate extended backoff times *Bofe*_{c,d,k}(*z*) and *Bzofe*_{c,d,k}(*z*), as defined in [3].

Markov chain presents a random process with stationary distribution *y*_{x,d,k,i,j,b}, where *x* ∈ (*c*,*s*), *d* = 1..*d*_{
x
}denotes vehicle type; *k* = 0.. 3 denotes the data class, *i* = 0.. *m*_{
k
}denotes the index of the backoff phase, *j* = *0*.. *W*_{x,k,i}- 1 denotes the value of backoff counter, and *b* = 0.. *B*_{
k
}denotes the value of the freezing counter.

In order to model behavior of vehicle after the successful transmission we need to note that standard requires vehicle to perform backoff with *W*_{x,k,0}immediately after successful transmission even if the vehicle's buffer is empty. If vehicle's buffer is still empty after this backoff count, vehicle enters idle state represented by *P*_{
idle
}in Figure 8.

*x*as ${v}_{x,d,k,0}^{0}$ and LST of backoff process without the zeroth backoff phase as $Bzof{e}_{x,d,k}^{*}\left(s\right)$ the distance between two transmissions becomes

*ϕ*

_{ a }is the probability that the target channel is active when the vehicle exits idle state and

*ϕ*

_{ i }is the probability that the opposite channel (or guard time) is active. Then, the LST for the total active time between two successive access point, i.e., frame service time is

and its first two moments are ${\left(\right)close="|">\overline{T{t}_{x,d,k}}=\frac{dT{t}_{x,d,k}^{*}\left(s\right)}{ds}}_{}s=0$ and ${\left(\right)close="|">\overline{T{t}_{x,d,k}^{\left(2\right)}}=\frac{{d}^{2}T{t}_{x,d,k}^{*}\left(s\right)}{d{s}^{2}}}_{}s=0$. Offered load on the channel now becomes ${\rho}_{x,d,k}={\lambda}_{x,k}\overline{T{t}_{x,d,k}}$.

The probability that the vehicle is idle can be calculated as ${P}_{x,d,k,idle}=1-\frac{\overline{T{t}_{x,d,k}}}{\overline{{D}_{x,d,k}}}$. Now we can form the equation for normalization condition as defined in [3].

### 3.4 Throughput and waiting time for *AC*_{
k
}in channel *x*

Normalized throughput per vehicle for data combination *d* with data class *k* in channel *x* can be obtained

*AC*

_{ k }in channel

*x*as ${W}_{x,d,k}^{*}\left(s\right)$, last statement can be written as ${\prod}_{x,d,k}\left(z\right)={W}_{x,d,k}^{*}\left({\lambda}_{x,k}-z{\lambda}_{x,k}\right)T{t}_{x,d,k}^{*}\left({\lambda}_{x,k}-z{\lambda}_{x,k}\right)$. Because of PASTA property of M/G/1 systems, ∏

_{x,d,k}(

*z*) also presents probability distribution of buffer occupancy at arbitrary time. After substituting

*s*= λ

_{x,k}-

*z*λ

_{x,k}, we obtain the LST of the waiting time as ${W}_{x,d,k}^{*}\left(s\right)=\frac{s\left(1-{\rho}_{x,d,k}\right)}{s-{\lambda}_{x,k}+{\lambda}_{x,k}T{t}_{x,d,k}^{*}\left(s\right)}$, and its average value as $\overline{{W}_{{n}_{x,d,k}}}=\frac{{\lambda}_{x,k}\overline{T{t}_{k}^{\left(2\right)}}}{2\left(1-{\rho}_{x,d,k}\right)}$. Similar to (23), the overall waiting time per lane can be calculated as

## 4 Performance evaluation

*L*= 900, 500, and 350 m, respectively. In order to investigate the network transition between non-saturation and saturation regimes, we have conducted a number of experiments with variable vehicle densities in a single contention domain of IEEE 802.11p. According to the distance of the vehicles from the RSU, data rate varies between 3 and 24 Mbps. OFDMA is chosen as the physical layer modulation mechanism with 40

*μ*s as the duration of preamble and header transmission. Slot time is set to 16

*μ*s and duration of

*sifs*is equal to 2 slots. Bit error rate is set to

*ber*= 2 * 10

^{-5}. Frame size is set to 500 bytes. RTS/CTS scheme is used for the medium access. Durations of synchronization interval and guard intervals are set to 100 and 5 ms, respectively. Duty cycle of CCH vs. SCH is set to 0.5. We have assumed that there are three data combinations in CCH and SCH as shown in Table 3. The maximum allowable traffic density, λ

_{d,jam}, per lane is set to 0.1 veh/m. Data rates for different classes are shown in Table 4.

Populations of vehicles and their data traffic running on the CCH and SCH

Data combination | Data classes | Number of vehicles |
---|---|---|

1 |
| 20% of vehicles |

2 |
| 20% of vehicles |

3 |
| 60% of vehicles |

Data rates per data classes

AC | Data type | On CCH (kbps) | On SCH (kbps) |
---|---|---|---|

| Background | 4 | 20 |

| Best effort | 4 | 20 |

| Video | 12 | 12 |

| Voice | 12 | 12 |

Using these parameter values, the equations acquired from the analytical model (Markov chain and queuing models) are solved using Maple 13 [16]. In the depicted figures, the values for data classes of best effort (*AC* 1), backgrounds (*AC* 0s) in data combination 2 and 3, video (*AC* 2) and voice (*AC* 3) are shown with boxes, crosses, dashed lines, circles, and diamonds, respectively.

*AC*0 and

*AC*1 are larger in the SCH. However, when the transmission range is equal to 500 and 350 m, the lowest data class priority (

*AC*1) does not enter into saturation regime before the traffic density is about 0.1 veh/m per lane. Networking saturation does not occur in the transmission ranges of 500 and 350 m but spatial saturation occurs when the traffic density per lane becomes equal to 0.1 veh/m. At this traffic density, the traffic flow gradually comes to a stop as a result of the jam density.

*AC*0 is the only data class which enters into saturation regime in case of spatial non-saturation. However, in the SCH only

*AC*1 enters into saturation regime when the traffic density is smaller than 0.1 veh/m on account of having the lowest priority in the network.

Our results indicate that in each channel lowest priority data classes (*AC* 0 and *AC* 1) are severely affected by the number of *AC* 2 and *AC* 3 vehicles in the network. The strong prioritization of data classes in the standard is the main reason for the low performance of the low priority data classes.

These performance results would change if duty cycle of CCH vs. SCH decreases in order to give more bandwidth to SCH.

## 5 Conclusion

In this article, we studied the spatial and networking transition from non-saturation to saturation regimes for a VANET. We developed an analytical model to investigate the performance of the network with mobile nodes and in non-saturated regime. The model is composed of Markov chain, queuing sub-models, and probabilistic spatial model of vehicles. The model is analytically solved to calculate the performance descriptors of the network, mean backoff time to access the medium, average waiting time in queue, collision probability of a transmission, and normalized throughput, for all data classes. Our study indicates that increasing the transmission range of an RSU leads to earlier networking saturation of the data classes because of increasing the number of contending vehicles in the network. In addition, the results show that highest data classes (*AC* 2 and *AC* 3) are strongly prioritized over the lowest data classes (*AC* 0 and *AC* 1) inasmuch as the lowest data classes enter into saturation regime much earlier. The vehicle density growth also moves the vehicle traffic from a stable regime to an unstable condition.

In order to optimize the performance of the network in CCH and SCH and also balance the entry point to saturation among the channels we need to investigate the duty cycle of a VANET. In our future study, we study how duty cycle of CCH/SCH improve the performance of the network. In addition, we will study the optimal deployment of RSUs in a VANET to enhance the network performance. The RSUs' optimal deployment is required because of variable vehicle densities in different geographical areas.

## Declarations

## Authors’ Affiliations

## References

- Zhuang Y, Viswanathan V, Pan J, Cai L: Upload Capacity Analysis for Drive-thru Internet.Technical report, University of Waterloo, ON; 2010. [https://129.97.58.88/ojs-2.2/index.php/pptvt/article/view/619/213]Google Scholar
- Campolo C, Molinaro A: Data rate selection in WBSS-based IEEE 802.11p/WAVE vehicular ad hoc networks.
*CSNDSP 2010*2010, 412-416.Google Scholar - Mišsićc J, Badawy G, Mišsićc VB: Performance characterization for IEEE 802.11p network with single channel devices.
*IEEE Trans Veh Technol*2011, 60(4):1775-1787.View ArticleGoogle Scholar - Roess RP, Prassas ES, McShane WR:
*Traffic Engineering*. 3rd edition. Pearson Prentice Hall, Upper Saddle River; 2004.Google Scholar - Woensel TV, Vandaele N: Modeling traffic flows with quequeing models: a review.
*Asia-Pacific J Oper Res (APJOR)*2007, 24(4):435-461. 10.1142/S0217595907001383View ArticleGoogle Scholar - Fricker JD, Whitford RK:
*Fundamentals of Transportation Engineering: A Multimodal Systems Approach*. Prentice Hall, Upper Saddle River; 2004.Google Scholar - Yousefi S, Altman E, El-Azouzi R, Fathy M: Analytical model for connectivity in vehicular ad hoc networks.
*IEEE Trans Veh Technol*2008, 57(6):3341-3356.View ArticleGoogle Scholar - Tan WL, Lau WC, Yue O: Modeling resource sharing for a road-side access point supporting Drive-thru Internet. In
*ACM VANET'09*. Beijing, China; 2009:33-42.View ArticleGoogle Scholar - Bruno R, Conti M: Throughput and fairness analysis of 802.11-based vehicle-to-infrastructure data transfers. In
*IEEE MASS 2011*. Valencia, Spain; 2011:232-241.Google Scholar - An J, Guo X, Yang Y: Analysis of collision probability in vehicular ad hoc networks. In
*ACM GEC'09*. Shanghai, China, ACM, New York; 2009:791-794.View ArticleGoogle Scholar - Wu TY, Guizani S, Lee WT, Liao KH: Improving RSU service time by distributed sorting mechanism.
*Ad Hoc Networks*2010.Google Scholar - Luan TH, Ling X, Shen XS: MAC in motion: impact of mobility on the MAC of Drive-thru Internet.
*IEEE Trans Mobile Comput*2011. in press [http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=5714694]Google Scholar - IEEE Trial-Use Standard for Wireless Access in Vehicular Environments (WAVE)--Multi-channel Operation New York, NY; 2007.Google Scholar
- Lee JY, Lee HS: A performance analysis model for IEEE 802.11e EDCA under saturation condition.
*IEEE Trans Commun*2009, 57(1):56-63.View ArticleGoogle Scholar - Takagi H:
*Queueing Analysis Vacation and Priority Systems*.*Volume 1*. North-Holland, Amsterdam; 1991.Google Scholar - Maple 13. Maplesoft, a division of Waterloo Maple, Inc., Waterloo, ON; 2009.Google Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.