Combination of simulation and model-checking for the analysis of autonomous vehicles’ behaviors: A case study

Abstract : Autonomous vehicles’ behavioural analysis represents a major challenge in the automotive world. In order to ensure safety and fluidity of driving, various methods are available, in particular, simulation and formal verification. The analysis, however, has to cope with very complex environments depending on many parameters evolving in real time. In this context, none of the aforementioned approaches is fully satisfactory, which lead us to propose a combined methodology in order to point out suspicious behaviours more efficiently. We illustrate this approach by studying a non deterministic scenario involving a vehicle, which has to react to some perilous situation.
Complete list of metadatas

Cited literature [19 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01918518
Contributor : Frédéric Davesne <>
Submitted on : Tuesday, November 12, 2019 - 4:20:46 PM
Last modification on : Wednesday, November 13, 2019 - 11:28:08 AM
Long-term archiving on: Thursday, February 13, 2020 - 8:10:45 PM

File

eumas2017_IDM.pdf
Files produced by the author(s)

Identifiers

Citation

Johan Arcile,, Jérémy Sobieraj, Hanna Klaudel, Guillaume Hutzler. Combination of simulation and model-checking for the analysis of autonomous vehicles’ behaviors: A case study. 15th European Conference on Multi-Agent Systems (EUMAS 2017) and the 5th International Conference on Agreement Technologies (AT 2017), Dec 2017, Evry, France. pp.292--304, ⟨10.1007/978-3-030-01713-2_21⟩. ⟨hal-01918518⟩

Share

Metrics

Record views

64

Files downloads

54