On the Probability of Unsafe Disagreement in Group Formation Algorithms for Vehicular Ad Hoc Networks
Paper in proceedings, 2016

We address the problem of group formation in automotive cooperative applications using wireless vehicle-to-vehicle communication. Group formation (GF) is an essential step in bootstrapping self-organizing distributed applications such as virtual traffic lights. We propose a synchronous GF algorithm and investigate its behaviour in the presence of an unbounded number of asymmetric communication failures (receive omissions). Given that GF is an agreement problem, we know from previous research that it is impossible to design a GF algorithm that can guarantee agreement on the group membership in the presence of an unbounded number of messages losses. Thus, under this assumption, disagreement is an unavoidable outcome of a GF algorithm. We consider two types of disagreement(failure modes): safe and unsafe disagreement. To reduce the probability of unsafe disagreement, our algorithm uses a localoracle to estimate the number of nodes that are attempting to participate in the GF process. (Such estimates can be provided by roadside sensors or local sensors in a vehicle such as cameras.)For the proposed algorithm, we show how the probability of unsafe and safe disagreement varies for different system settings as a function of the probability of message loss. We also show how these probabilities vary depending on the correctness of the local oracles. More specifically, our results show that unsafe disagreement occurs only if the local oracles underestimates the number of participating nodes.

distributed algorithms

Protocols

probabilistic analysis

network partitioning

Wireless communication

Automobiles

communication failures

Automotive engineering

Vehicular ad hoc networks

consensus

Algorithm design and analysis

Author

Negin Fathollah Nejad Asl

Chalmers, Computer Science and Engineering (Chalmers), Computer Engineering (Chalmers)

Risat Pathan

Chalmers, Computer Science and Engineering (Chalmers), Computer Engineering (Chalmers)

Johan Karlsson

Chalmers, Computer Science and Engineering (Chalmers), Computer Engineering (Chalmers)

Dependable Computing Conference (EDCC), 2015 Eleventh European

256-267

Subject Categories

Computer Engineering

DOI

10.1109/EDCC.2015.29

More information

Latest update

11/12/2019