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

Asplund, Mikael,1981-Linköpings universitet,Programvara och system,Tekniska fakulteten,Real-time Systems Laboratory (författare)

Funding agencies: Centrum for industriell informationsteknologi (CENIIT) [14.04]
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.

Lövhall, JakobLinköpings universitet,Programvara och system,Tekniska fakulteten,Real-time Systems Laboratory(Swepub:liu)jaklo13 (författare)
Villani, EmiliaAuronatics Institute of Technology, Brazil (författare)
Linköpings universitetProgramvara och system (creator_code:org_t)

Ingår i:Dependable Computing (PRDC), 2017 IEEE 22nd Pacific Rim International Symposium on: IEEE, s. 321-32897815090565219781509056538

Om ämnet

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.