Modeling and checking robustness of communicating autonomous vehicles - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Modeling and checking robustness of communicating autonomous vehicles

Résumé

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.
Fichier principal
Vignette du fichier
dcai.pdf (183.96 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01567627 , version 1 (12-11-2019)

Identifiants

Citer

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⟩
260 Consultations
114 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More