Modeling and checking robustness of communicating autonomous vehicles

  • Johan ArcileEmail author
  • Raymond Devillers
  • Hanna Klaudel
  • Witold Klaudel
  • Bożena Woźna-Szcześniak
Conference paper
Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 620)


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.


Timed Automata Model-Checking Communicating Vehicles 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1. R. Alur, C. Courcoubetis, and D. Dill. Model checking in dense real-time. Information and Computation, 104(1):2–34, 1993.Google Scholar
  2. 2. R. Alur and D. Dill. Automata for modelling real-time systems. In Proceedings of the International Colloquium on Automata, Languages and Programming (ICALP’90), volume 443 of LNCS, pages 322–335. Springer-Verlag, 1990.Google Scholar
  3. 3. James M. Anderson, Nidhi Kalra, Karlyn Stanley, Paul Sorensen, Constantine Samaras, and Oluwatobi Oluwatola. Autonomous Vehicle Technology. A Guide for Policymakers. Research Reports. RAND Corporation, 2016. ISBN: 978-0-8330-8398-2.Google Scholar
  4. 4. E. M. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 1999.Google Scholar
  5. 5. Google Car official website., 2016.
  6. 7. Mathew O’Kelly, Houssam Abbas, Sicun Gao, Shin’ichi Shiraishi, Shinpei Kato, and Rahul Mangharam. Apex: Autonomous vehicle plan and execution. Technical report, University of Pennsylvania, also in SAE World Congress, April 2016, 2016.Google Scholar
  7. 8. Uppaal., 2016.
  8. 9. VISLAB Car official website., 2015.
  9. 10. M. Wooldridge. An introduction to multi-agent systems - Second Edition. John Wiley & Sons, 2009.Google Scholar

Copyright information

© Springer International Publishing AG 2018

Authors and Affiliations

  • Johan Arcile
    • 1
    Email author
  • Raymond Devillers
    • 2
  • Hanna Klaudel
    • 1
  • Witold Klaudel
    • 3
  • Bożena Woźna-Szcześniak
    • 4
  1. 1.IBISCUniversity of EvryEvryFrance
  2. 2.ULBBruxellesBelgium
  3. 3.Renault SAGuyancourtFrance
  4. 4.IMCSJan Długosz University in CzȩstochowaCzȩstochowaPoland

Personalised recommendations