Skip to main content
SpringerLink
Log in
Book cover

International Symposium on Distributed Computing and Artificial Intelligence

DCAI 2017: Distributed Computing and Artificial Intelligence, 14th International Conference pp 173–180Cite as

Modeling and checking robustness of communicating autonomous vehicles

  • Conference paper
  • First Online:

Part of the book series: Advances in Intelligent Systems and Computing ((AISC,volume 620))

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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • 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. 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. 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. E. M. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 1999.

    Google Scholar 

  • 5. Google Car official website. https://www.google.com/selfdrivingcar/, 2016.

  • 6. Bertha Benz Drive. http://vra-net.eu/wiki/index.php?title=Bertha_Benz_Drive, 2015.

  • 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 

  • 8. Uppaal. http://www.uppaal.org/, 2016.

  • 9. VISLAB Car official website. http://vislab.it/automotive/, 2015.

  • 10. M. Wooldridge. An introduction to multi-agent systems - Second Edition. John Wiley & Sons, 2009.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. IBISC, University of Evry, 23 bd de France, 91037, Evry, France

    Johan Arcile & Hanna Klaudel

  2. ULB, Bruxelles, Belgium

    Raymond Devillers

  3. Renault SA, 1 av. du Golf, 78084, Guyancourt, France

    Witold Klaudel

  4. IMCS, Jan Długosz University in Czȩstochowa, Al. Armii Krajowej 13/15, 42-200, Czȩstochowa, Poland

    Bożena Woźna-Szcześniak

Authors
  1. Johan Arcile
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Raymond Devillers
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Hanna Klaudel
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Witold Klaudel
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Bożena Woźna-Szcześniak
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Johan Arcile .

Editor information

Editors and Affiliations

  1. Faculty of Engineering, Department of Electronics, Information and Communication Engineering , Osaka Institute of Technology, Osaka, Osaka, Japan

    Sigeru Omatu

  2. Departamento de Informática y Automática, Facultad de Ciencias, Universidad de Salamanca , Salamanca, Spain

    Sara Rodríguez

  3. Departamento de Informática y Automática, Facultad de Ciencias, Universidad de Salamanca, Salamanca, Spain

    Gabriel Villarrubia

  4. GECAD - Instituto Superior de Engenharia, Porto, Portugal

    Pedro Faria

  5. Department of Control and Management Systems, Kielce University of Technology, Faculty of Electrical Engineering and Computer Science, Kielce, Poland

    Paweł Sitek

  6. Departamento de Informática y Automática, Universidad de Salamanca, Salamanca, Spain

    Javier Prieto

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG

About this paper

Cite this paper

Arcile, J., Devillers, R., Klaudel, H., Klaudel, W., Woźna-Szcześniak, B. (2018). Modeling and checking robustness of communicating autonomous vehicles. In: Omatu, S., Rodríguez, S., Villarrubia, G., Faria, P., Sitek, P., Prieto, J. (eds) Distributed Computing and Artificial Intelligence, 14th International Conference. DCAI 2017. Advances in Intelligent Systems and Computing, vol 620. Springer, Cham. https://doi.org/10.1007/978-3-319-62410-5_21

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-62410-5_21

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-62409-9

  • Online ISBN: 978-3-319-62410-5

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation