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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:


    Erscheinungsdatum :

    01.05.2023


    Format / Umfang :

    1321398 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    SCENARIO-BASED BEHAVIOR SPECIFICATION AND VALIDATION

    WONGPIROMSARN TICHAKORN / TEBBENS RADBOUD DUINTJER / COLLIN ANNE et al. | Europäisches Patentamt | 2022

    Freier Zugriff

    Scenario-based behavior specification and validation

    TICHAKORN WONGPIROMSARN / RADBOUD DUINTJER TEBBENS / ANNE COLLIN et al. | Europäisches Patentamt | 2023

    Freier Zugriff

    SCENARIO-BASED BEHAVIOR SPECIFICATION AND VALIDATION

    TEBBENS RADBOUD DUINTJER / COLLIN ANNE / BELTA CALIN et al. | Europäisches Patentamt | 2022

    Freier Zugriff

    SCENARIO-BASED BEHAVIOR SPECIFICATION AND VALIDATION

    Europäisches Patentamt | 2023

    Freier Zugriff

    Scenario-based behavior specification and validation

    TEBBENS RADBOUD DUINTJER / COLLIN ANNE / BELTA CALIN et al. | Europäisches Patentamt | 2023

    Freier Zugriff