Scenario-based testing has been used for validation and verification of autonomous vehicles in various settings. In these efforts, simulation platforms are extensively utilized to run and analyze test scenarios, which is crucial for the validation of perception, decision-making and action in different traffic situations. Providing formal specification for scenarios used in these simulations is also critical for standardization, repeatability and verification. In this paper, we propose an approach which integrates an open-source network-based traffic simulator with an open-source formal scenario description language designed for formal scenario specification of autonomous vehicle validation scenarios. This approach provides the capability to describe, generate, and share abstract traffic scenarios for validation. It also allows integration with higher fidelity or physical testing methods as it utilizes a widely used scenario specification methodology. We provide an integration of formal specification and traffic simulation and also show the potential of such an integration through simulation examples.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Integration of Formal Specification and Traffic Simulation for Scenario-Based Validation


    Contributors:


    Publication date :

    2023-05-01


    Size :

    1321398 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Scenario-based behavior specification and validation

    TEBBENS RADBOUD DUINTJER / COLLIN ANNE / BELTA CALIN et al. | European Patent Office | 2023

    Free access

    Scenario-based behavior specification and validation

    TICHAKORN WONGPIROMSARN / RADBOUD DUINTJER TEBBENS / ANNE COLLIN et al. | European Patent Office | 2023

    Free access

    SCENARIO-BASED BEHAVIOR SPECIFICATION AND VALIDATION

    TEBBENS RADBOUD DUINTJER / COLLIN ANNE / BELTA CALIN et al. | European Patent Office | 2022

    Free access

    SCENARIO-BASED BEHAVIOR SPECIFICATION AND VALIDATION

    WONGPIROMSARN TICHAKORN / TEBBENS RADBOUD DUINTJER / COLLIN ANNE et al. | European Patent Office | 2022

    Free access

    SCENARIO-BASED BEHAVIOR SPECIFICATION AND VALIDATION

    European Patent Office | 2023

    Free access