SDDV: scalable data dissemination in vehicular ad hoc networks

An important challenge in the domain of vehicular ad hoc networks (VANET) is the scalability of data dissemination. Under dense traffic conditions, the large number of communicating vehicles can easily result in a congested wireless channel. In that situation, delays and packet losses increase to a level where the VANET cannot be applied for road safety applications anymore. This paper introduces scalable data dissemination in vehicular ad hoc networks (SDDV), a holistic solution to this problem. It is composed of several techniques spread across the different layers of the protocol stack. Simulation results are presented that illustrate the severity of the scalability problem when applying common state-of-the-art techniques and parameters. Starting from such a baseline solution, optimization techniques are gradually added to SDDV until the scalability problem is entirely solved. Besides the performance evaluation based on simulations, the paper ends with an evaluation of the final SDDV configuration on real hardware. Experiments including 110 nodes are performed on the iMinds w-iLab.t wireless lab. The results of these experiments confirm the results obtained in the corresponding simulations

An efficient counter-based broadcast scheme for mobile ad hoc networks

In mobile ad hoc networks (MANETs), broadcasting plays a fundamental role, diffusing a message from a given source node to all the other nodes in the network. Flooding is the simplest and commonly used mechanism for broadcasting in MANETs, where each node retransmits every uniquely received message exactly once. Despite its simplicity, it however generates redundant rebroadcast messages which results in high contention and collision in the network, a phenomenon referred to as broadcast storm problem. Pure probabilistic approaches have been proposed to mitigate this problem inherent with flooding, where mobile nodes rebroadcast a message with a probability p which can be fixed or computed based on the local density. However, these approaches reduce the number of rebroadcasts at the expense of reachability. On the other hand, counter-based approaches inhibit a node from broadcasting a packet based on the number of copies of the broadcast packet received by the node within a random access delay time. These schemes achieve better throughput and reachability, but suffer from relatively longer delay. In this paper, we propose an efficient broadcasting scheme that combines the advantages of pure probabilistic and counter-based schemes to yield a significant performance improvement. Simulation results reveal that the new scheme achieves superior performance in terms of saved-rebroadcast, reachability and latency

Model checking medium access control for sensor networks

We describe verification of S-MAC, a medium access control protocol designed for wireless sensor networks, by means of the PRISM model checker. The S-MAC protocol is built on top of the IEEE 802.11 standard for wireless ad hoc networks and, as such, it uses the same randomised backoff procedure as a means to avoid collision. In order to minimise energy consumption, in S-MAC, nodes are periodically put into a sleep state. Synchronisation of the sleeping schedules is necessary for the nodes to be able to communicate. Intuitively, energy saving obtained through a periodic sleep mechanism will be at the expense of performance. In previous work on S-MAC verification, a combination of analytical techniques and simulation has been used to confirm the correctness of this intuition for a simplified (abstract) version of the protocol in which the initial schedules coordination phase is assumed correct. We show how we have used the PRISM model checker to verify the behaviour of S-MAC and compare it to that of IEEE 802.11

A Comprehensive Performance Analysis of IEEE 802.11p based MAC for Vehicular Communications Under Non-saturated Conditions

Reliable and efficient data broadcasting is essential in vehicular networks to provide safety-critical and commercial service messages on the road. There is still no comprehensive analysis of IEEE 802.11p based MAC that portrays the presence of buffer memory in vehicular networks. Besides, most of the analytical works do not fulfill some of the IEEE 802.11p specifications, such as short retry limit and back-off timer freezing. This paper proposes a 1-D and 2-D Markov model to analyze mathematically IEEE 802.11p based MAC for safety and non-safety messages respectively. The work presented in this paper takes into account the traffic arrival along with the first-order buffer memory and freezing of the back-off timer as well, to utilize the channel efficiently and provide higher accuracy in estimation of channel access, yielding more precise results of the system throughput for non-safety messages and lower delay for safety messages. Furthermore, back-off stages with a short retry limit were applied for non-safety messages in order to meet the IEEE 802.11p specifications, guaranteeing that no packet is served indefinitely, avoiding the overestimation of system throughput. A simulation was carried out to validate the analytical results of our model