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
Model-based Membership Verification in Vehicular Platoons
Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, Faculty of Science & Engineering. (Real-time Systems Laboratory)ORCID iD: 0000-0003-1916-3398
2015 (English)In: Proceedings: 2015 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops , IEEE Computer Society, 2015, 125-132 p.Conference paper, Published paper (Refereed)
Abstract [en]

Cooperative vehicular systems have the potentialto significantly increase traffic efficiency and safety. However,they also raise the question of to what extent information thatis received from other vehicles can be trusted. In this paperwe present a novel approach for increasing the trustworthinessof cooperative driving through a model-based approach forverifying membership views in vehicular platoons. We define aformal model for platoon membership, cooperative awarenessclaims, and membership verification mechanisms. With the helpof a satisfiability solver, we are able to quantitatively analysethe impact of different system parameters on the verifiability ofreceived information. Our results demonstrate the importance ofcross validating received messages, as well as the surprising diffi-culty in establishing correct membership views despite powerfulverification mechanisms.

Place, publisher, year, edition, pages
IEEE Computer Society, 2015. 125-132 p.
National Category
Computer Science
Identifiers
URN: urn:nbn:se:liu:diva-123682DOI: 10.1109/DSN-W.2015.21ISBN: 978-1-4673-8044-7 (print)OAI: oai:DiVA.org:liu-123682DiVA: diva2:891917
Conference
The 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, Rio de Janeiro, Brazil, 22 June 2015
Projects
Verifiable real-time coordination for safe cooperative driving
Available from: 2016-01-08 Created: 2016-01-08 Last updated: 2016-02-02Bibliographically approved

Open Access in DiVA

fulltext(325 kB)72 downloads
File information
File name FULLTEXT02.pdfFile size 325 kBChecksum SHA-512
9156b8fd195993887060d7d3f8ce0f1872b3a93cca9fa47b9be6632e024026f935bc54282c5e91bd2a5473dfe1b69c1dfda5b62fbbd77b3ce97dc86000c3c3f3
Type fulltextMimetype application/pdf

Other links

Publisher's full text

Search in DiVA

By author/editor
Asplund, Mikael
By organisation
Software and SystemsFaculty of Science & Engineering
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 72 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: 128 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