Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Specification, Implementation and Verification of Dynamic Group Membership for Vehicle Coordination
Linköping University, Department of Computer and Information Science. Linköping University, Faculty of Science & Engineering. (Real-time Systems Laboratory)ORCID iD: 0000-0003-1916-3398
Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, Faculty of Science & Engineering. (Real-time Systems Laboratory)
Auronatics Institute of Technology, Brazil.
2017 (English)In: Dependable Computing (PRDC), 2017 IEEE 22nd Pacific Rim International Symposium on, IEEE, 2017, p. 321-328Conference paper, Published paper (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
IEEE, 2017. p. 321-328
Series
IEEE Pacific Rim International Symposium on Dependable Computing, ISSN 1555-094X
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:liu:diva-139092DOI: 10.1109/PRDC.2017.57ISI: 000403396000047ISBN: 978-1-5090-5652-1 (electronic)ISBN: 978-1-5090-5653-8 (print)OAI: oai:DiVA.org:liu-139092DiVA, id: diva2:1118475
Conference
2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing (PRDC),
Note

Funding agencies: Centrum for industriell informationsteknologi (CENIIT) [14.04]

Available from: 2017-06-30 Created: 2017-06-30 Last updated: 2018-01-13

Open Access in DiVA

fulltext(245 kB)23 downloads
File information
File name FULLTEXT01.pdfFile size 245 kBChecksum SHA-512
05537576066378f81e833bc53950aba7879ac1aeea493dace88157ad029abde8d9f49796a91ac6c4d4e91184048890cceb1c4ebe066c0c82503ae88597f32694
Type fulltextMimetype application/pdf

Other links

Publisher's full text

Search in DiVA

By author/editor
Asplund, MikaelLövhall, Jakob
By organisation
Department of Computer and Information ScienceFaculty of Science & EngineeringSoftware and Systems
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar
Total: 23 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 56 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf