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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Scenario-Oriented Contract Based Design for Safety of Autonomous Vehicles


    Additional title:

    Smart Innovation, Systems and Technologies


    Contributors:

    Conference:

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



    Publication date :

    2022-05-15


    Size :

    13 pages





    Type of media :

    Article/Chapter (Book)


    Type of material :

    Electronic Resource


    Language :

    English




    Scenario-Oriented Contract Based Design for Safety of Autonomous Vehicles

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


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

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


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

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


    Scenario based audible warnings for autonomous vehicles

    FAIRFIELD NATHANIEL / CHARROW BENJAMIN | European Patent Office | 2018

    Free access

    Scenario based audible warnings for autonomous vehicles

    FAIRFIELD NATHANIEL / CHARROW BENJAMIN W | European Patent Office | 2019

    Free access