• Citer

Modeling and checking robustness of communicating autonomous vehicles

par Arcile, Johan;Devillers, Raymond ;Klaudel, Hanna;Klaudel, Witold;Woźna-Szcześniak, Bożena
Référence Advances in intelligent systems and computing, 620, page (173-180)
Publication Publié, 2018

Article révisé par les pairs

• Détails
• Contenu

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.