Section: New Results
Protocols and Models for Wireless Networks - Application to VANETs
Protocols for VANETs
An Infrastructure-Free Slot Assignment Algorithm for Reliable Broadcast of Periodic Messages in VANETs
Participants : Mohamed Elhadad, Paul Muhlethaler, Anis Laouiti.
We have designed a novel Distributed TDMA based MAC protocol, named DTMAC, developed specifically for a highway scenario. DTMAC is designed to provide the efficient delivery of both periodic and event-driven safety messages. The protocol uses the vehicles' location and a new slot reuse concept to ensure that vehicles in adjacent areas have a collision-free schedule. Simulation results and analysis in a highway scenario have been carried out to evaluate the performance of DTMAC and compare it with the VeMAC protocol.
We propose a completely distributed and infrastructure free TDMA scheduling scheme which exploits the linear feature of VANET
topologies. The vehicles' movements in a highway environment are linear due to the fact that their movements are constrained
by the road topology. Our scheduling mechanism is also based on the assumption that each road is divided into
The time slots in each TDMA frame are partitioned into three sets
To prevent collisions on the transmission channel, our TDMA scheduling mechanism requires that every packet transmitted by any vehicle must contain additional information, called Frame Information (FI). For the frame, this field gives the status of the slot (Idle, Busy, Collision) and the ID of the vehicles accessing each slot with the characteristic of the data sent: periodic or event-driven safety messages.
The simulation results show that, compared to VeMAC which is the reference in terms of TDMA protocols for VANETs, DTMAC provides a lower rate of access and merging collisions, which results in significantly improved broadcast coverage. For further details see [27].
TRPM: a TDMA-aware routing protocol for multi-hop communications in VANETs
Participants : Mohamed Elhadad Or Hadded, Paul Muhlethaler, Anis Laouiti.
The main idea of TRPM is to select the next hop using the vehicle position and the time
slot information from the TDMA scheduling. Like the GPSR protocol, we assume that each transmitting vehicle
knows the position of the packet's destination. In TRPM, the TDMA scheduling information and the position of a packet's destination
are sufficient to make correct forwarding decisions at each transmitting vehicle. Specifically, if a source vehicle is moving in
area
In the following, the DTMAC protocol has been used by the vehicles to organize the channel access. The TDMA slot
scheduling obtained by DTMAC is illustrated in Figure 2. Firstly, vehicle A forwards a packet to B, as vehicle A uses its frame
information to choose a vehicle that is accessing the channel during the set
The idea of TRPM is the following. Whenever a vehicle
-
// The set of vehicles that are moving in the adjacent right-hand area. -
// The set of vehicles that are moving in the adjacent left-hand area.
Each source vehicle uses the position of a packet's destination and the TDMA scheduling information to make packet forwarding
decisions. In fact, when a source vehicle
Where:
-
is one of the neighbors of vehicle , which represents the potential next hop that will relay the message received from vehicle . -
is the gap between the sending slot of vehicle and the sending slot of vehicle . -
is the distance between the two vehicles and , and is the communication range. -
is a weighted value in the interval that gives more weight to either distance or delay. When is high, more weight is given to the delay. Otherwise, when is small, more weight is given to the distance.
We note that the two weight factors
The simulation results reveal that our routing protocol significantly outperforms other protocols in terms of average end-to-end delay, average number of relay vehicles and the average delivery ratio.
CTMAC: a Centralized TDMA for VANETs
Participants : Mohamed Elhadad Or Hadded, Paul Muhlethaler, Anis Laouiti.
We have designed an infrastructure-based TDMA scheduling scheme which exploits the linear feature of VANET topologies. The
vehicles' movements in a highway environment are linear due to the fact that their movements are constrained by the road topology. Our
scheduling mechanism is also based on the assumption that the highway is equipped with some RSUs (i.e. one RSU
for each
The CTMAC scheduling mechanism uses a slot reuse concept
to ensure that vehicles in adjacent areas covered by two RSUs have
a collision-free schedule. The channel time is partitioned into frames and
each frame is further partitioned into two sets of time slots
The simulation results reveal that CTMAC significantly outperforms the VeMAC and ADHOC MAC protocols. in terms of transmission collisions and the overhead required to create and maintain the TDMA schedules, see [28].
A Flooding-Based Location Service in VANETs
Participants : Selma Boumerdassi, Paul Muhlethaler.
This work was done in collaboration with Eric Renault, Telecom Sud Paris.
We have designed and analyzed a location service for VANETs; such a service can be used in Location-based routing protocols for VANETs. Our protocol is a proactive flooding-based location service that drastically reduces the number of update packets sent over the network as compared to traditional flooding-based location services. This goal is achieved by partially forwarding location information at each node. A mathematical model and some simulations are proposed to show the effectiveness of this solution. Cases for 1D, 2D and 3D spaces are studied for both deterministic and probabilistic forwarding decisions. We compare our protocol with the Multi-Point Relay (MPR) technique which is used in the OLSR protocol and determine the best technique according to the network conditions.
Models for Wireless Networks and VANETs
Performance analysis of IEEE 802.11 broadcast schemes with different inter-frame spacings
Participants : Younes Bouchaala, Paul Muhlethaler, Nadjib Achir.
This work has been in collaboration with Oyunchimeg Shagdar (Vedecom).
We have started to build a model which analyzes the performance of IEEE 802.11p managing different classes of priorities. The differentiation of traffic streams is obtained with different inter-frame spacings: AIFSs (for Arbitration Inter Frame Spacings) and with different back-off windows: CWs (for Collision Windows). This model is based on a Markov model where the state is the remaining number of idle slots that a packet of a given class has to wait before transmission. However, in addition to this Markov model for which we compute a steady state we also consider the Markov chain which counts the number of idle slots after the smallest AIFS. As a matter of fact the probability these states are not evenly distributed since with different AIFSs the arrival rate is not constant when the number of idle slots experienced after the smallest AIFS varies. The resolution of the steady state of these two inter-mixed Markov chains lead to non linear and intertwined equations that can be easily solved with a software such as Maple. With the model we have obtained, we can compute the delivery rate of packets of different classes and show the influence of system parameters: AIFSs and CWs. The preliminary results show a a very strong influence of different AIFSs on the performance for each traffic streams.
Model of IEEE 802.11 Broadcast Scheme with Infinite Queue
Participant : Paul Muhlethaler.
This work has been in collaboration with Guy Fayolle (Inria RITS).
We have analyzed the so-called back-off technique of the IEEE 802.11 protocol in broadcast mode with waiting queues. In contrast to existing models, packets arriving when a station (or node) is in back-off state are not discarded, but are stored in a buffer of infinite capacity. As in previous studies, the key point of our analysis hinges on the assumption that the time on the channel is viewed as a random succession of transmission slots (whose duration corresponds to the length of a packet) and mini-slots during which the back-off of the station is decremented. These events occur independently, with given probabilities. The state of a node is represented by a two-dimensional Markov chain in discrete-time, formed by the back-off counter and the number of packets at the station. Two models are proposed both of which are shown to cope reasonably well with the physical principles of the protocol. The stability (ergodicity) conditions are obtained and interpreted in terms of maximum throughput. Several approximations related to these models are also discussed. The results of this study are in [2].
Model and optimization of CSMA
Participants : Younes Bouchaala, Paul Muhlethaler, Nadjib Achir.
This work has been in collaboration with Oyunchimeg Shagdar (Vedecom).
We have studied the maximum throughput of CSMA in scenarios with spatial reuse. The nodes of our network form a Poisson Point Process (PPP) of a one- or two-dimensional space. The one-dimensional PPP well represents VANETs. To model the effect of Carrier Sense Multiple Access (CSMA), we give random marks to our nodes and to elect transmitting nodes in the PPP we choose the nodes with the smallest marks in their neighborhood, this is the Matern hardcore selection process. To describe the signal propagation, we use a signal with power-law decay and we add a random Rayleigh fading. To decide whether or not a transmission is successful, we adopt the Signal-over-Interference Ratio (SIR) model in which a packet is correctly received if its transmission power divided by the interference power is above a capture threshold. We assume that each node in our PPP has a random receiver at a typical distance. We choose the average distance to its closest neighbor. We also assume that all the network nodes always have a pending packet. With these assumptions, we analytically study the density of throughput of successful transmissions and we show that it can be optimized with the carrier-sense threshold. The model makes it possible to analytically compute the performance of a CSMA system and gives interesting results on the network performance such as the capture probability when the throughput is optimized, and the effect on a non-optimization of the carrier sense threshold on the throughput. We can also study the influence of the parameters and see their effects on the overall performance. We observe a significant difference between 2D an 1D networks.
We have built two models to compare the spatial density of successful transmissions of CSMA and Aloha. To carry out a fair comparison, we optimize both schemes by adjusting their parameters. For spatial Aloha, we can adapt the transmission probability, whereas for spatial CSMA we have to find the suitable carrier sense threshold. The results obtained show that CSMA, when optimized, outperforms Aloha for nearly all the parameters of the network model values and we evaluate the gain of CSMA over Aloha. We also find interesting results concerning the effect of the model parameters on the performance of both Aloha and CSMA. The closed formulas we have obtained provide immediate evaluation of performance, whereas simulations may take minutes to give their results. Even if Aloha and CSMA are not recent protocols, this comparison of spatial performance is new and provides interesting and useful results.
For Aloha networks, when we study transmissions over the average distance to the closest
neighbor, the optimization does not depend on the density of nodes,
which is a very interesting property. Thus in Aloha networks, the density of
successful transmissions easily scales linearly in
Adaptive CSMA
Participants : Nadjib Achir, Younes Bouchaala, Paul Muhlethaler.
This work has been in collaboration with Oyunchimeg Shagdar (Vedecom).
Using the model we have built for CSMA, we have shown that when optimized
with the carrier sense detection threshold