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.
Scenario-Oriented Contract Based Design for Safety of Autonomous Vehicles
Smart Innovation, Systems and Technologies
Proceedings of KES-STS International Symposium ; 2022 ; Rhodes, Greece June 20, 2022 - June 22, 2022
2022-05-15
13 pages
Article/Chapter (Book)
Electronic Resource
English
Scenario-Based Risk Quantification Approach for Assuring Safety in Autonomous Vehicles
British Library Conference Proceedings | 2023
|Scenario-Based Risk Quantification Approach for Assuring Safety in Autonomous Vehicles
SAE Technical Papers | 2023
|