The development and advances in the domain of Autonomous Vehicles (AVs) provide disparate benefits including improved safety, enhanced reliability, and reduction in accidents (which saves thousands of human lives). However, the guarantee of safety is crucial for the successful deployment of AVs on the road. The safety-related issues of AVs are disparate in nature and are not solvable with a single technological solution, but require interaction and distributed responsibility across numerous interactive components, rendering the evaluation of safety concerns a challenge. We have presented an Assume/Guarantee (A/G) based contract for solving the safety-related concerns of AVs. Our preeminent focus is on the collision avoidance of AVs. Our approach is based on 1. the formal specification of A/G based contracts 2. creation of collision-based scenarios, 3. implementation of scenario-oriented controller implementing A/G contracts, 4. testing of controller implementing A/G contracts (allows the verification of contracts in terms of minimizing collision risks) based on the simulation performed in CARLA Scenic while considering the different (collision oriented) scenarios. Each contract is based on the extended assumption considering a specific scenario, referred as scenario-oriented contracts. The proposed methodology shows adequate results and proves that the Contract-Based Design (CBD) can provide a propitious road map for solving the safety-related concerns of AV.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Scenario-Oriented Contract Based Design for Safety of Autonomous Vehicles


    Weitere Titelangaben:

    Smart Innovation, Systems and Technologies


    Beteiligte:
    Bie, Yiming (Herausgeber:in) / Qu, Bob X. (Herausgeber:in) / Howlett, Robert J. (Herausgeber:in) / Jain, Lakhmi C. (Herausgeber:in) / Tabassam, Nadra (Autor:in) / Fränzle, Martin Georg (Autor:in)

    Kongress:

    Proceedings of KES-STS International Symposium ; 2022 ; Rhodes, Greece June 20, 2022 - June 22, 2022



    Erscheinungsdatum :

    15.05.2022


    Format / Umfang :

    13 pages





    Medientyp :

    Aufsatz/Kapitel (Buch)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    Scenario-Oriented Contract Based Design for Safety of Autonomous Vehicles

    Tabassam, Nadra / Fränzle, Martin Georg | TIBKAT | 2022


    A Contract-Based Design Methodology for Safety in Autonomous Vehicles

    Tabassam, Nadra / Fränzle, Martin / Ansari, Muhammad Waleed | Springer Verlag | 2024


    Scenario-Based Risk Quantification Approach for Assuring Safety in Autonomous Vehicles

    Madala, Kaushik / Solmaz, Mert | SAE Technical Papers | 2023


    Scenario-Based Risk Quantification Approach for Assuring Safety in Autonomous Vehicles

    Madala, Kaushik / Solmaz, Mert | British Library Conference Proceedings | 2023


    Scenario based audible warnings for autonomous vehicles

    FAIRFIELD NATHANIEL / CHARROW BENJAMIN W | Europäisches Patentamt | 2019

    Freier Zugriff