Change search
ReferencesLink to record
Permanent link

Direct link
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 (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
URN: urn:nbn:se:liu:diva-123682DOI: 10.1109/DSN-W.2015.21ISBN: 978-1-4673-8044-7OAI: diva2:891917
The 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, Rio de Janeiro, Brazil, 22 June 2015
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)34 downloads
File information
File name FULLTEXT02.pdfFile size 325 kBChecksum SHA-512
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: 34 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

Altmetric score

Total: 93 hits
ReferencesLink to record
Permanent link

Direct link