2015 IEEE International Conference on Dependable Systems and Networks Workshops 2015
DOI: 10.1109/dsn-w.2015.21
|View full text |Cite
|
Sign up to set email alerts
|

Model-Based Membership Verification in Vehicular Platoons

Abstract: Abstract-Cooperative vehicular systems have the potential to significantly increase traffic efficiency and safety. However, they also raise the question of to what extent information that is received from other vehicles can be trusted. In this paper we present a novel approach for increasing the trustworthiness of cooperative driving through a model-based approach for verifying membership views in vehicular platoons. We define a formal model for platoon membership, cooperative awareness claims, and membership … Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

1
0
0

Year Published

2018
2018
2023
2023

Publication Types

Select...
3
1

Relationship

0
4

Authors

Journals

citations
Cited by 4 publications
(1 citation statement)
references
References 19 publications
1
0
0
Order By: Relevance
“…Therefore, it would make sense for vehicles in a view to coordinate their movements in such a way that degree of G v is kept above 1. For example, the vehicles in the platoon are only able to sense what is immediately ahead and behind them, the minimum vehicle degree in the sensing graph will be 1, meaning that if the number of faulty vehicles is 2 or larger, it will not be possible to verify view soundness in the general case (this is consistent with what we have observed in earlier work [3] for specific instances). By rearranging the platoon so that the head and tail vehicles are not isolated, this problem would be avoided.…”
Section: Impossibility Of Soundness Verificationsupporting
confidence: 86%
“…Therefore, it would make sense for vehicles in a view to coordinate their movements in such a way that degree of G v is kept above 1. For example, the vehicles in the platoon are only able to sense what is immediately ahead and behind them, the minimum vehicle degree in the sensing graph will be 1, meaning that if the number of faulty vehicles is 2 or larger, it will not be possible to verify view soundness in the general case (this is consistent with what we have observed in earlier work [3] for specific instances). By rearranging the platoon so that the head and tail vehicles are not isolated, this problem would be avoided.…”
Section: Impossibility Of Soundness Verificationsupporting
confidence: 86%