Formal Certification Methods for Automated Vehicle Safety Assessment
arXiv:2202.02818 · doi:10.1109/TIV.2022.3170517
Abstract
Challenges related to automated driving are no longer focused on just the construction of such automated vehicles (AVs), but in assuring the safety of their operation. Recent advances in Level 3 and Level 4 autonomous driving have motivated more extensive study in safety guarantees of complicated AV maneuvers, which aligns with the goal of ISO 21448 (Safety of the Intended Functions, or SOTIF), i.e. minimizing unsafe scenarios both known and unknown, as well as Vision Zero -- eliminating highway fatalities by 2050. A majority of approaches used in providing safety guarantees for AV motion control originate from formal methods, especially reachability analysis (RA), which relies on mathematical models for the dynamic evolution of the system to provide guarantees. However, to the best of the authors' knowledge, there have been no review papers dedicated to describing and interpreting state-of-the-art of formal methods in the context of AVs. In this work, we provide both an overview of the safety verification, validation and certification process, as well as review formal safety techniques that are best suited to AV applications. We also propose a unified scenario coverage framework that can provide either a formal or sample-based estimate of safety verification for full AVs. Finally, remaining challenges and future opportunities beyond the scope of current published research for assured AV safety are presented.
arXiv comment21 pages, 9 figures, 6 tables
References in corpus (12)
- A Survey of Autonomous Driving: Common Practices and Emerging Technologies
- Deep Neural Network Compression for Aircraft Collision Avoidance Systems
- A Survey of Algorithms for Black-Box Safety Validation of Cyber-Physical Systems
- Tackling Occlusions & Limited Sensor Range with Set-based Safety Verification
- Stochastic Model Predictive Control for Linear Systems using Probabilistic Reachable Sets
- Reachable Set Computation and Safety Verification for Neural Networks with ReLU Activations
- Formalizing and Guaranteeing* Human-Robot Interaction
- Coverage based testing for V&V and Safety Assurance of Self-driving Autonomous Vehicles: A Systematic Literature Review
- Trajectory Planning with Deep Reinforcement Learning in High-Level Action Spaces
- Towards Guaranteed Safety Assurance of Automated Driving Systems with Scenario Sampling: An Invariant Set Perspective (Extended Version)
- Case Study: Verifying the Safety of an Autonomous Racing Car with a Neural Network Controller
- Constrained Feedforward Neural Network Training via Reachability Analysis