Skip to Main content Skip to Navigation
Conference papers

Modeling and checking robustness of communicating autonomous vehicles

Abstract : This paper presents a method for the validation of communicating autonomous vehicles (CAVs) systems. The approach focuses on the formal modeling of CAVs by means of timed automata, to allow the formal analysis through model-checkers of the vehicle behavior, including their fault tolerance due to various kinds of injected faults. We also present our case studies results, based on implementations of our CAVs’ model in UPPAAL.
Complete list of metadata

Cited literature [6 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01567627
Contributor : Frédéric Davesne <>
Submitted on : Tuesday, November 12, 2019 - 4:19:34 PM
Last modification on : Saturday, May 1, 2021 - 3:51:13 AM
Long-term archiving on: : Thursday, February 13, 2020 - 6:28:23 PM

File

dcai.pdf
Files produced by the author(s)

Identifiers

Citation

Johan Arcile, Raymond Devillers, Hanna Klaudel, Witold Klaudel, Bożena Woźna-Szcześniak. Modeling and checking robustness of communicating autonomous vehicles. 14th International Symposium on Distributed Computing and Artificial Intelligence (DCAI 2017), Jun 2017, Porto, Portugal. pp.173--180, ⟨10.1007/978-3-319-62410-5_21⟩. ⟨hal-01567627⟩

Share

Metrics

Record views

627

Files downloads

238