Using Vehicular Protection Mechanisms to Enable Fault-Aware Safety Verification of Autonomous Vehicles
Authors: 
José Luis Conradi Hoffmann, Antônio Augusto Fröhlich, Marcus Völp, Paolo MilazzoAuthors Info & Claims
José Luis Conradi Hoffmann, Antônio Augusto Fröhlich, Marcus Völp, Paolo MilazzoAuthors Info & ClaimsPages 55 - 64
Abstract
Responsibility-Sensitive Safety (RSS) became a widespread solution for online verification of autonomous vehicle (AV) safety. Nevertheless, RSS is built on strong premises concerning the capabilities of AVs. In this paper, we explore the Data-Centric Design of AVs using the SmartData method, which supports the automatic derivation of safety-property monitors from design documents, thus promoting online verification of sensitivity to potential faults in the system components described by vehicular protection mechanisms. The proposed solution explores knowledge from vehicular protection mechanism to promote adaptability to RSS in face of potential faults. The adaptability is enabled by exploring predictors of protection mechanisms to promote a time-to-triggering metric that adjusts the RSS parameters, thereby providing awareness of potential faults. Furthermore, we propose an adaptation to proper responses to a dangerous longitudinal situation in the face of a near-future loss of the brake actuation. We prove that the proposed solution complies with the original RSS proposal by extending its original inductive proof for safety.
References
[1]
Matthias Althoff, Daniel Althoff, Dirk Wollherr, and Martin Buss. 2010. Safety verification of autonomous vehicles for coordinated evasive maneuvers. In 2010 IEEE Intelligent Vehicles Symposium. IEEE, La Jolla, CA, USA, 1078–1083.
[2]
Matthias Althoff and Silvia Magdici. 2016. Set-Based Prediction of Traffic Participants on Arbitrary Road Networks. IEEE Transactions on Intelligent Vehicles 1, 2 (2016), 187–202.
[3]
Tomáš Bartoň and Petr Musilek. 2016. Derivative based prediction with look ahead. In 2016 International Joint Conference on Neural Networks (IJCNN). IEEE, Vancouver, BC, Canada, 2118–2123.
[4]
Jin Cui, Giedre Sabaliauskaite, Lin Shen Liew, Fengjun Zhou, and Biao Zhang. 2019. Collaborative Analysis Framework of Safety and Security for Autonomous Vehicles. IEEE Access 7 (2019), 148672–148683.
[5]
Mateus Martínez de Lucena and Antônio Augusto Fröhlich. 2022. Modeling Misbehavior Detection Timeliness in VANETs. In 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA). IEEE, Stuttgart, Germany, 1–8.
[6]
Josafat Leal Filho, Matheus Wagner, and Antônio Augusto Frohlich. 2023. Physics-Informed Neural Networks for Monitoring Dynamic Systems: Wind Turbine Study Case. In 2023 XIII Brazilian Symposium on Computing Systems Engineering (SBESC). IEEE, Porto Alegre, Brazil, 1–6.
[7]
Antônio Augusto Fröhlich. 2018. SmartData: an IoT-ready API for sensor networks. International Journal of Sensor Networks 28, 3 (2018), 202.
[8]
Felix Gruber and Matthias Althoff. 2018. Anytime Safety Verification of Autonomous Vehicles. In 2018 21st International Conference on Intelligent Transportation Systems (ITSC). IEEE, Maui, HI, USA, 1708–1714.
[9]
José Luis Conradi Hoffmann and Antônio Augusto Fröhlich. 2022. SmartData Safety: Online Safety Models for Data-Driven Cyber-Physical Systems. In 48th Annual Conference of the IEEE Industrial Electronics Society. IEEE, Brussels, Belgium, 1–6.
[10]
José Luis Conradi Hoffmann, Leonardo Passig Horstmann, Matheus Wagner, Felipe Vieira, Mateus Martínez de Lucena, and Antônio Augusto Fröhlich. 2022. Using Formal Methods to Specify Data-Driven Cyber-Physical Systems. In 2022 IEEE 31st International Symposium on Industrial Electronics (ISIE). IEEE, Anchorage, AK, USA, 643–648.
[11]
Jihua Huang and Han-Shue Tan. 2016. Control System Design of an Automated Bus in Revenue Service. IEEE Transactions on Intelligent Transportation Systems 17, 10 (Oct. 2016), 2868–2878.
[12]
SAE International. 2021. Taxonomy and Definitions for Terms Related to Driving Automation Systems for On-Road Motor Vehicles.
[13]
International Organization for Standardization. 2018. ISO 2626: Road vehicles – Functional Safety. https://www.iso.org/obp/ui/#iso:std:iso:26262:-1:ed-2:v1:en
[14]
Seong-Woo Kim, Baoxing Qin, Zhuang Jie Chong, Xiaotong Shen, Wei Liu, Marcelo H. Ang, Emilio Frazzoli, and Daniela Rus. 2015. Multivehicle Cooperative Driving Using Cooperative Perception: Design and Experimental Validation. IEEE Transactions on Intelligent Transportation Systems 16, 2 (2015), 663–680.
[15]
Weiwei Kong, Yugong Luo, Zhaobo Qin, Yunlong Qi, and Xiaomin Lian. 2019. Comprehensive Fault Diagnosis and Fault-Tolerant Protection of In-Vehicle Intelligent Electric Power Supply Network. IEEE Transactions on Vehicular Technology 68, 11 (2019), 10453–10464.
[16]
Philip Koopman and Michael Wagner. 2016. Challenges in Autonomous Vehicle Testing and Validation. SAE International Journal of Transportation Safety 4, 1 (April 2016), 15–24.
[17]
Federico Lucchetti, Rafal Graczyk, and Marcus Völp. 2023. Toward resilient autonomous driving—An experience report on integrating resilience mechanisms into the Apollo autonomous driving software stack. Frontiers in Computer Science 5 (April 2023), 1–11.
[18]
Oded Maler and Dejan Nickovic. 2004. Monitoring Temporal Properties of Continuous Signals. In Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Yassine Lakhnech and Sergio Yovine (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 152–166.
[19]
Khan Muhammad, Amin Ullah, Jaime Lloret, Javier Del Ser, and Victor Hugo C. de Albuquerque. 2021. Deep Learning for Safe Autonomous Driving: Current Challenges and Future Directions. IEEE Transactions on Intelligent Transportation Systems 22, 7 (2021), 4316–4336.
[20]
Piotr F. Orzechowski, Kun Li, and Martin Lauer. 2019. Towards Responsibility-Sensitive Safety of Automated Vehicles with Reachable Set Analysis. In 2019 IEEE International Conference on Connected Vehicles and Expo (ICCVE). IEEE, Graz, Austria, 1–6.
[21]
Christian Pek, Stefanie Manzinger, Markus Koschi, and Matthias Althoff. 2020. Using online verification to prevent autonomous vehicles from causing accidents. Nature Machine Intelligence 2, 9 (Sept. 2020), 518–528.
[22]
Usman Raza, Alessandro Camerra, Amy L. Murphy, Themis Palpanas, and Gian Pietro Picco. 2015. Practical Data Prediction for Real-World Wireless Sensor Networks. IEEE Transactions on Knowledge and Data Engineering 27, 8 (2015), 2231–2244.
[23]
M.S. Sangha, J.B. Gomm, D.L. Yu, and G.F. Page. 2005. FAULT DETECTION AND IDENTIFICATION OF AUTOMOTIVE ENGINES USING NEURAL NETWORKS. IFAC Proceedings Volumes 38, 1 (2005), 272–277. 16th IFAC World Congress.
[24]
Shai Shalev-Shwartz, Shaked Shammah, and Amnon Shashua. 2017. On a Formal Model of Safe and Scalable Self-driving Cars. CoRR abs/1708.06374 (2017), 1–37. arXiv:https://arXiv.org/abs/1708.06374http://arxiv.org/abs/1708.06374
[25]
Galina Sidorenko, Aleksei Fedorov, Johan Thunberg, and Alexey Vinel. 2022. Towards a Complete Safety Framework for Longitudinal Driving. IEEE Transactions on Intelligent Vehicles 7, 4 (2022), 809–814.
[26]
Anirudh Sivakumar and Pratik Mohanty. 2020. Electronic System Design of a Formula Student Electric Car. In 2020 IEEE International Conference on Distributed Computing, VLSI, Electrical Circuits and Robotics (DISCOVER). IEEE, Udupi, India, 115–120.
[27]
J.T. Spooner and K.M. Passino. 1997. Fault-tolerant control for automated highway systems. IEEE Transactions on Vehicular Technology 46, 3 (1997), 770–785.
Index Terms
- Using Vehicular Protection Mechanisms to Enable Fault-Aware Safety Verification of Autonomous Vehicles
Recommendations
Autonomous vehicular overtaking maneuver: A survey and taxonomy
AbstractAutonomous vehicles (AVs) are the next-generation driver-less vehicular entities with advanced technologies. Overtaking is an important and challenging maneuver that needs to be frequently performed in diverse environments during the ...
Increasing Pedestrian Safety Using External Communication of Autonomous Vehicles for Signalling Hazards
MobileHCI '21: Proceedings of the 23rd International Conference on Mobile Human-Computer InteractionPedestrians are very vulnerable road users. Autonomous vehicles driving on the street are expected to reduce the risks for pedestrians. However, traffic will include manually driven vehicles for the next decades; therefore, the risk remains and can ...
Motion planning of autonomous vehicles in a non-autonomous vehicle environment without speed lanes
Planning is one of the key problems for autonomous vehicles operating in road scenarios. Present planning algorithms operate with the assumption that traffic is organised in predefined speed lanes, which makes it impossible to allow autonomous vehicles ...
Comments
Information & Contributors
Information
Published In
November 2024
283 pages
ISBN:9798400717406
DOI:10.1145/3697090
Copyright © 2024 Copyright held by the owner/author(s). Publication rights licensed to ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 10 December 2024
Check for updates
Author Tags
Qualifiers
- Research-article
Funding Sources
- FUNDEP Rota 2030/Linha VI project AutoDL
Conference
LADC 2024
LADC 2024: 13th Latin-American Symposium on Dependable and Secure Computing
November 26 - 29, 2024
Recife, Brazil
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 12Total Downloads
- Downloads (Last 12 months)12
- Downloads (Last 6 weeks)12
Reflects downloads up to 17 Jan 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign inFull Access
View options
View or Download as a PDF file.
PDFeReader
View online with eReader.
eReaderFull Text
View this article in Full Text.
Full TextHTML Format
View this article in HTML Format.
HTML Format