Online Verification Concept for Autonomous Vehicles – Illustrative Study for a Trajectory Planning Module

Regulatory approval and safety guarantees for autonomous vehicles facing frequent functional updates and complex software stacks, including artificial intelligence, are a challenging topic. This paper proposes a concept and guideline for the development of an online verification module – the Supervisor – capable of handling the aforementioned challenges. The concept presented for the establishment of a Supervisor is designed in a way to identify and monitor an extensive list of features contributing to safe operation. As a result, a safe overall (sub)system is attained. Safeguarding a motion planner of an autonomous race vehicle is used to illustrate the procedure and practicability of the framework at hand. The capabilities of the proposed method are evaluated in a scenario-based test environment and on full-scale vehicle data.

[1]  Matthias Althoff,et al.  Ensuring drivability of planned motions using formal methods , 2017, 2017 IEEE 20th International Conference on Intelligent Transportation Systems (ITSC).

[2]  Rohan Chauhan,et al.  Advanced Driver Assistance Systems , 2016 .

[3]  Patrik Feth,et al.  A Conceptual Safety Supervisor Definition and Evaluation Framework for Autonomous Systems , 2017, SAFECOMP.

[4]  Philip Koopman,et al.  A Case Study on Runtime Monitoring of an Autonomous Research Vehicle (ARV) System , 2015, RV.

[5]  Emilio Frazzoli,et al.  A Survey of Motion Planning and Control Techniques for Self-Driving Urban Vehicles , 2016, IEEE Transactions on Intelligent Vehicles.

[6]  Matthias Althoff,et al.  An Online Verification Framework for Motion Planning of Self-driving Vehicles with Safety Guarantees , 2019 .

[7]  Johannes Betz,et al.  An Open-Source Scenario Architect for Autonomous Vehicles , 2020, 2020 Fifteenth International Conference on Ecological Vehicles and Renewable Energies (EVER).

[8]  Markus Lienkamp,et al.  Multilayer Graph-Based Trajectory Planning for Race Vehicles in Dynamic Scenarios , 2019, 2019 IEEE Intelligent Transportation Systems Conference (ITSC).

[9]  Philip Koopman,et al.  Challenges in Autonomous Vehicle Testing and Validation , 2016 .

[10]  Clare Dixon,et al.  Formal Specification and Verification of Autonomous Robotic Systems , 2018, ACM Comput. Surv..

[11]  Markus Maurer,et al.  Ontology based Scene Creation for the Development of Automated Vehicles , 2017, 2018 IEEE Intelligent Vehicles Symposium (IV).

[12]  Markus Maurer,et al.  A surveillance and safety system based on performance criteria and functional degradation for an autonomous vehicle , 2012, 2012 15th International IEEE Conference on Intelligent Transportation Systems.

[13]  Emilio Frazzoli,et al.  Liability, Ethics, and Culture-Aware Behavior Specification using Rulebooks , 2019, 2019 International Conference on Robotics and Automation (ICRA).

[14]  Prof Arun S Tigadi.  ADVANCED DRIVER ASSISTANCE SYSTEMS , 2022 .

[15]  Dizan Vasquez,et al.  A survey on motion prediction and risk assessment for intelligent vehicles , 2014, ROBOMECH Journal.

[16]  Lars Svensson,et al.  Probabilistic collision estimation system for autonomous vehicles , 2016, 2016 IEEE 19th International Conference on Intelligent Transportation Systems (ITSC).

[17]  Amnon Shashua,et al.  On a Formal Model of Safe and Scalable Self-driving Cars , 2017, ArXiv.

[18]  Hermann Winner,et al.  Introducing autonomous driving: an overview of safety challenges and market introduction strategies , 2018, Autom..

[19]  Kwanwoo Park,et al.  Probabilistic Threat Assessment with Environment Description and Rule-based Multi-Traffic Prediction for Integrated Risk Management System , 2017, IEEE Intelligent Transportation Systems Magazine.

[20]  Alexander Koenig,et al.  Overview of HAD validation and passive HAD as a concept for validating highly automated cars , 2018, Autom..

[21]  Matthias Althoff,et al.  Online Verification of Automated Road Vehicles Using Reachability Analysis , 2014, IEEE Transactions on Robotics.

[22]  Markus Lienkamp,et al.  A Software Architecture for an Autonomous Racecar , 2019, 2019 IEEE 89th Vehicular Technology Conference (VTC2019-Spring).

[23]  Karl-Heinz Siedersberger,et al.  Strategy and architecture of a safety concept for fully automatic and autonomous driving assistance systems , 2010, 2010 IEEE Intelligent Vehicles Symposium.

[24]  Mayank Bansal,et al.  ChauffeurNet: Learning to Drive by Imitating the Best and Synthesizing the Worst , 2018, Robotics: Science and Systems.

[25]  Rick Salay,et al.  An Analysis of ISO 26262: Using Machine Learning Safely in Automotive Software , 2017, ArXiv.

[26]  Dominique Gruyer,et al.  Collision Probability Assessment for Speed Control , 2008, 2008 11th International IEEE Conference on Intelligent Transportation Systems.

[27]  Thomas Ponn,et al.  Systematic Analysis of the Sensor Coverage of Automated Vehicles Using Phenomenological Sensor Models* , 2019, 2019 IEEE Intelligent Vehicles Symposium (IV).