Theoretical analysis of beaconless geocast protocols in 1D

TL;DR

This paper provides a formal analysis of six beaconless geocast protocols in 1D scenarios, quantifying network load and confirming behaviors previously observed only through simulations.

Contribution

It offers the first structured probabilistic analysis of maximum message reception in beaconless geocast protocols in 1D, validating simulation-based observations.

Findings

Confirmed protocol behaviors through formal probabilistic analysis

Quantified maximum message reception per node for each protocol

Provided insights into network load in 1D scenarios

Abstract

Beaconless geocast protocols are routing protocols used to send messages in mobile ad-hoc wireless networks, in which the only information available to each node is its own location. Messages get routed in a distributed manner: each node uses local decision rules based on the message source and destination, and its own location. In this paper we analyze six different beaconless geocast protocols, focusing on two relevant 1D scenarios. The selection of protocols reflects the most relevant types of protocols proposed in the literature, including those evaluated in previous computer simulations. We present a formal and structured analysis of the maximum number of messages that a node can receive, for each protocol, in each of the two scenarios. This is a measure of the network load incurred by each protocol. Our analysis, that for some of the protocols requires an involved probabilistic analysis, confirms behaviors that had been observed only through simulations before.