Abstract:Addressing decision safety in the unpredictable arena of complex traffic scenarios represents a significant hurdle for autonomous driving systems. Considering the inherent spatial-temporal uncertainties associated with the future actions of surrounding traffic participants, real-time safety verification of autonomous driving decisions is crucial to maintaining vehicular safety. Existing online verification methodologies, such as Responsibility Sensitive Safety (RSS) and Safety Force Field (SFF), ensure driving safety by formalizing human safe-driving rules and constraining the vehicle to maintain safe lateral and longitudinal distances in real-time. While these methods effectively prevent collisions instigated by the autonomous vehicle itself, they lack sufficient foresight and often result in less smooth driving trajectories. To address these limitations, we propose an innovative, interpretable, formal safety verification framework. This approach integrates both explicit and implicit traffic rules to anticipate all legally acceptable transitions of traffic scenarios. It builds the lawful, short-term reachable region for each vehicle, and verifies the safety of autonomous vehicle decisions by assessing whether the regions these vehicles inhabit, in accordance with the expected trajectory, overlap with the accessible zones of other vehicles. Furthermore, in scenarios presenting potential danger, a backup smooth safety trajectory is derived from the autonomous vehicle's legal reachability domain as a preventive measure to degrade safety threats. As a cornerstone of safety for autonomous vehicles, our proposed method ensures a continual safe trajectory in all traffic scenarios, provided that other participants adhere to traffic rules. Experimental outcomes, grounded in the ISO 34502 standard and real-world critical safety scenarios, demonstrate the method's efficacy in identifying potentially dangerous decisions and mitigating aut- nomous vehicle-induced traffic accidents.

Safety Oriented State Transitions in Level 3 Automated Driving Systems: A General Framework.

Safety assessment of highly automated driving systems in test tracks: A new framework.

A formal framework for the safe design of the Autonomous Driving supervision

Operational safety hazard identification methodology for automated driving systems fleets

Hierarchical Assessment of Safety Requirements for Configurations of Autonomous Driving Systems

Analysis of Key Issues on Man-Control to System-Control Leap in Autonomous Driving

Integrated Modular Safety System Design for Intelligent Autonomous Vehicles

A Holistic Safe Planner for Automated Driving Considering Interaction with Human Drivers

Longitudinal Functional Safety Analysis and Algorithm Design of Traffic Jam Pilot

Lateral Driver‐Automation Driver Authority Decision Considering Safety of the Intended Functionality

Effects of Control Transition Strategies and Human-Machine Interface Designs on Driver Performance in Automated Driving Systems

Connected Dependability Cage Approach for Safe Automated Driving

Takeover Safety Analysis with Driver Monitoring Systems and Driver–Vehicle Interfaces in Highly Automated Vehicles

Towards Safety-Aware Computing System Design in Autonomous Vehicles

Planning Automated Driving with Accident Experience Referencing and Common-sense Inferencing

Development and classification of autonomous vehicle's ambiguous driving scenario

Traffic Conflict Forecasting and Avoidance System Under Automated Driving System Disengagement: A Non-Intrusive Prototype Design

Online Safety Verification of Autonomous Driving Decision-Making Based on Dynamic Reachability Analysis

A Gradual Takeover Strategy of the Active Safety System

Design and evaluation of cooperative human-machine interface for changing lanes in conditional driving automation