We present a new approach to automated scenario-based testing of the safety of autonomous vehicles, especially those using advanced artificial intelligence-based components, spanning both simulation-based evaluation as well as testing in the real world. Our approach is based on formal methods, combining formal specification of scenarios and safety properties, algorithmic test case generation using formal simulation, test case selection for track testing, executing test cases on the track, and analyzing the resulting data. Experiments with a real autonomous vehicle at an industrial testing facility support our hypotheses that (i) formal simulation can be effective at identifying test cases to run on the track, and (ii) the gap between simulated and real worlds can be systematically evaluated and bridged.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World


    Contributors:


    Publication date :

    2020-09-20


    Size :

    1939851 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    HYBRID SCENARIO CLOSED COURSE TESTING FOR AUTONOMOUS VEHICLES

    GRACE NESTOR / RICO JAVIER FERNANDEZ / GIDON DOGAN et al. | European Patent Office | 2023

    Free access

    A Review on Scenario Generation for Testing Autonomous Vehicles

    Cai, Jinkang / Yang, Shichun / Guang, Haoran | IEEE | 2024


    Autonomous Vehicles Scenario Testing Framework and Model of Computation

    Alnaser, Ala Jamil / Sargolzaei, Arman / Akbas, Mustafa Ilhan et al. | SAE Technical Papers | 2019


    Automated scenario generation for regression testing of autonomous vehicles

    Rocklage, Elias / Kraft, Heiko / Karatas, Abdullah et al. | IEEE | 2017


    UAV-based Scenario Builder and Physical Testing platform for Autonomous Vehicles

    Chilkunda, Adarsh / Nakama, Sarah / Chilkunda, Vikram et al. | IEEE | 2023