### Skapa referens, olika format (klipp och klistra)

**Harvard**

Asl, N., Pathan, R. och Karlsson, J. (2015) *On the Probability of Unsafe Disagreement in Group Formation Algorithms for Vehicular Ad Hoc Networks*.

** BibTeX **

@conference{

Asl2015,

author={Asl, Negin Fathollah Nejad and Pathan, Risat Mahmud and Karlsson, Johan},

title={On the Probability of Unsafe Disagreement in Group Formation Algorithms for Vehicular Ad Hoc Networks},

booktitle={Dependable Computing Conference (EDCC), 2015 Eleventh European},

isbn={978-1-4673-9289-1},

pages={256-267},

abstract={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.},

year={2015},

keywords={Algorithm design and analysis;Automobiles;Automotive engineering;Protocols;Vehicular ad hoc networks;Wireless communication;communication failures;consensus;distributed algorithms;network partitioning;probabilistic analysis},

}

** RefWorks **

RT Conference Proceedings

SR Electronic

ID 231100

A1 Asl, Negin Fathollah Nejad

A1 Pathan, Risat Mahmud

A1 Karlsson, Johan

T1 On the Probability of Unsafe Disagreement in Group Formation Algorithms for Vehicular Ad Hoc Networks

YR 2015

T2 Dependable Computing Conference (EDCC), 2015 Eleventh European

SN 978-1-4673-9289-1

SP 256

OP 267

AB 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.

LA eng

DO 10.1109/EDCC.2015.29

LK http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=7371973

LK http://publications.lib.chalmers.se/records/fulltext/231100/local_231100.pdf

OL 30