Model-based Membership Verification in Vehicular Platoons
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)
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.
IdentifiersURN: urn:nbn:se:liu:diva-123682DOI: 10.1109/DSN-W.2015.21ISBN: 978-1-4673-8044-7OAI: oai:DiVA.org:liu-123682DiVA: diva2:891917
The 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, Rio de Janeiro, Brazil, 22 June 2015
ProjectsVerifiable real-time coordination for safe cooperative driving