Sökning: onr:"swepub:oai:DiVA.org:liu-139092" >
Specification, Impl...
-
Asplund, Mikael,1981-Linköpings universitet,Programvara och system,Tekniska fakulteten,Real-time Systems Laboratory
(författare)
Specification, Implementation and Verification of Dynamic Group Membership for Vehicle Coordination
- Artikel/kapitelEngelska2017
Förlag, utgivningsår, omfång ...
-
IEEE,2017
-
electronicrdacarrier
Nummerbeteckningar
-
LIBRIS-ID:oai:DiVA.org:liu-139092
-
https://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-139092URI
-
https://doi.org/10.1109/PRDC.2017.57DOI
Kompletterande språkuppgifter
-
Språk:engelska
-
Sammanfattning på:engelska
Ingår i deldatabas
Klassifikation
-
Ämneskategori:ref swepub-contenttype
-
Ämneskategori:kon swepub-publicationtype
Anmärkningar
-
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.
Ämnesord och genrebeteckningar
Biuppslag (personer, institutioner, konferenser, titlar ...)
-
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)
Sammanhörande titlar
-
Ingår i:Dependable Computing (PRDC), 2017 IEEE 22nd Pacific Rim International Symposium on: IEEE, s. 321-32897815090565219781509056538
Internetlänk
Hitta via bibliotek
Till lärosätets databas