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

Fathollahnejad, Negin; Pathan, Risat Mahmud; Karlsson, Johan

doi:10.1109/edcc.2015.29

Cited by 5 publications

(5 citation statements)

References 30 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We know from earlier work [11] that increasing the group size can have drastically negative effect on the ability to agree on a view. Therefore, we study how the view performance is affected by group size as well as by node churn.…”

Section: B Impact Of Group Size and Dynamicsmentioning

confidence: 98%

See 1 more Smart Citation

Specification, Implementation and Verification of Dynamic Group Membership for Vehicle Coordination

Asplund

Lövhall

Villani

2017

2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing (PRDC)

View full text Add to dashboard Cite

Abstract-New advanced traffic management solutions with fully or semi-autonomous vehicles that communicate over a wireless interface to coordinate their driving decisions create new challenges in distributed computing. In this paper we address the problem of dynamic group membership in three stages. First, we propose three criteria to specify correctness and performance of the group views created by such algorithms in terms of soundness, completeness and freshness. Second, we develop a group membership protocol tailored for vehicular coordination. Finally, we show through simulation and model-based verification that the protocol does indeed meet the criteria and provide at least 95% perfect group membership views under as adverse conditions as 70% packet loss or very high churn rate.

show abstract

Section: B Impact Of Group Size and Dynamicsmentioning

confidence: 98%

“…Fathollahnejad et al [11] analyse the problem of group formation algorithm in vehicular networks. The authors make a distinction between safe and unsafe disagreement where unsafe disagreement occurs if nodes decide on different nonempty views.…”

Section: Related Workmentioning

confidence: 99%

Specification, Implementation and Verification of Dynamic Group Membership for Vehicle Coordination

Asplund

Lövhall

Villani

2017

2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing (PRDC)

View full text Add to dashboard Cite

show abstract

“…Fathollahnejad et al [24] Bhoi et al [25] Elhadef et al [26] Almeida et al [27] Medani et al [28] Devangavi et al [29] Younes et al [30]…”

Section: Temporal Spatial Informationmentioning

confidence: 99%

“…In [24], Fathollahnejad et al propose a synchronous group formation (GF) algorithm to enhance self-organizing vehicular applications under the presence of an unbounded number of asymmetric communication failures. The main goal of the GF algorithm is to achieve agreement, or at least to reduce the probability of unsafe disagreement, on the membership of a cooperative ITS application, e.g., virtual traffic light (VTL) systems.…”

Section: Spatial Redundancymentioning

confidence: 99%

A Survey on Fault Tolerance Techniques for Wireless Vehicular Networks

et al. 2019

View full text Add to dashboard Cite

Future intelligent transportation systems (ITS) hold the promise of supporting the operation of safety-critical applications, such as cooperative self-driving cars. For that purpose, the communications among vehicles and with the road-side infrastructure will need to fulfil the strict real-time guarantees and challenging dependability requirements. These safety requisites are particularly important in wireless vehicular networks, where road traffic presents several threats to human life. This paper presents a systematic survey on fault tolerance techniques in the area of vehicular communications. The work provides a literature review of publications in journals and conferences proceedings, available through a set of different search databases (IEEE Xplore, Web of Science, Scopus and ScienceDirect). A systematic method, based on the preferred reporting items for systematic reviews and meta-analyses (PRISMA) Statement was conducted in order to identify the relevant papers for this survey. After that, the selected articles were analysed and categorised according to the type of redundancy, corresponding to three main groups (temporal, spatial and information redundancy). Finally, a comparison of the core features among the different solutions is presented, together with a brief discussion regarding the main drawbacks of the existing solutions, as well as the necessary steps to provide an integrated fault-tolerant approach to the future vehicular communications systems.

show abstract

“…More recently Lim and Conan [24] thoroughly address the problem of group membership in mobile ad-hoc networks. Fathollahnejad et al [15] analyse the problem of group formation algorithm in vehicular networks. The authors make a distinction between safe and unsafe disagreement where unsafe disagreement occurs if vehicles decide on different non-empty views.…”

Section: Related Workmentioning

confidence: 99%

Untitled

2019

ACM Trans. Cyber-Phys. Syst.

View full text Add to dashboard Cite

Coordinated vehicles for intelligent traffic management are instances of cyber-physical systems with strict correctness requirements. A key building block for these systems is the ability to establish a group membership view that accurately captures the locations of all vehicles in a particular area of interest. In this article, we formally define view correctness in terms of soundness and completeness and establish theoretical bounds for the ability to verify view correctness. Moreover, we present an architecture for an online view detection and verification process that uses the information available locally to a vehicle. This architecture uses an SMT solver to automatically prove view correctness (if possible). We evaluate this architecture using both synthetic and trace-based scenarios and demonstrate that the ability to verify view correctness is on par with the ability to detect view violations.

show abstract

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

Cited by 5 publications

References 30 publications

Specification, Implementation and Verification of Dynamic Group Membership for Vehicle Coordination

Specification, Implementation and Verification of Dynamic Group Membership for Vehicle Coordination

A Survey on Fault Tolerance Techniques for Wireless Vehicular Networks

Untitled

Contact Info

Product

Resources

About