On reliability analysis of leader election protocols for virtual traffic lights
Paper i proceeding, 2013

This paper addresses the problem of leader election in virtual traffic lights. A virtual traffic light (VTL) is a self-organizing traffic control system that allows road vehicles equipped with vehicle-to-vehicle communication facilities to implement the function of a traffic light without the support of a roadside installation. Previous research has shown that it is impossible to construct a leader election protocol that guarantees agreement among the participating vehicles in the presence of massive communication failures. The paper addresses the problem of calculating the probability of disagreement in situations where a large number of protocol messages are lost due to communication interference, so-called communication greyouts. To this end, we present a probabilistic analysis of a family of simple round-based consensus algorithms that solve the 1- of-n selection problem. We propose to use these algorithms for the core logic of a VTL leader election protocol (LEP). Our analysis shows that the probability of disagreement depends on: i) the number of vehicles involved in the leader election, ii) the number of rounds of message exchange, iii) the probability of message loss, and iv) the decision criterion used by the LEP. We propose an optimistic and a pessimistic decision criteria for the proposed 1-of-n selection algorithms. The analysis encompass two probabilistic failure models, one for symmetric communication failures and one for asymmetric communication failures.

reliability analysis

consensus protocols

Virtual traffic lights

autonomous driving


Negin Fathollah Nejad Asl

Chalmers, Data- och informationsteknik, Datorteknik

Emilia Villani

Instituto Tecnológico de Aeronáutica (ITA)

Risat Pathan

Göteborgs universitet

Raul Barbosa

Universidade de Coimbra

Johan Karlsson

Chalmers, Data- och informationsteknik, Datorteknik

Dependable Systems and Networks Workshop (DSN-W), 2013 43rd Annual IEEE/IFIP Conference on

2325-6648 (ISSN)

978-147990181-4 (ISBN)

Kernel-based ARchitecture for safetY-critical cONtrol (Karyon)

Europeiska kommissionen (EU) (EC/FP7/288195), 2011-10-01 -- 2014-12-31.


Informations- och kommunikationsteknik



Elektroteknik och elektronik





Mer information

Senast uppdaterat