English
Related papers

Related papers: Safety integrity framework for automated driving

200 papers

Deep neural network controllers for autonomous driving have recently benefited from significant performance improvements, and have begun deployment in the real world. Prior to their widespread adoption, safety guarantees are needed on the…

Machine Learning · Computer Science 2019-09-24 Rhiannon Michelmore , Matthew Wicker , Luca Laurenti , Luca Cardelli , Yarin Gal , Marta Kwiatkowska

Safety is an important element of dependability. It is defined as the absence of accidents. Most accidents involving software-intensive systems have been system accidents, which are caused by unsafe inter-system or inter-component…

Software Engineering · Computer Science 2016-11-17 Zhe Chen , Gilles Motet

In the current landscape of autonomous vehicle (AV) safety and security research, there are multiple isolated problems being tackled by the community at large. Due to the lack of common evaluation criteria, several important research…

Recently significant progress has been made in vehicle prediction and planning algorithms for autonomous driving. However, it remains quite challenging for an autonomous vehicle to plan its trajectory in complex scenarios when it is…

Robotics · Computer Science 2023-07-25 Xiangguo Liu , Ruochen Jiao , Yixuan Wang , Yimin Han , Bowen Zheng , Qi Zhu

We present a practical verification method for safety analysis of the autonomous driving system (ADS). The main idea is to build a surrogate model that quantitatively depicts the behaviour of an ADS in the specified traffic scenario. The…

Artificial Intelligence · Computer Science 2022-11-24 Renjue Li , Tianhang Qin , Pengfei Yang , Cheng-Chao Huang , Youcheng Sun , Lijun Zhang

The intersection of Safety of Intended Functionality (SOTIF) and Functional Safety (FuSa) analysis of driving automation features has traditionally excluded Quality Management (QM) components (components that has no ASIL requirements…

Software Engineering · Computer Science 2026-04-01 Alireza Abbaspour , Shabin Mahadevan , Kilian Zwirglmaier , Jeff Stafford

Continued adoption of agricultural robots postulates the farmer's trust in the reliability, robustness and safety of the new technology. This motivates our work on safety assurance of agricultural robots, particularly their ability to…

Robotics · Computer Science 2025-06-25 Mustafa Adam , Kangfeng Ye , David A. Anisi , Ana Cavalcanti , Jim Woodcock , Robert Morris

Identifying and mitigating safety risks is paramount in a number of industries. In addition to guidelines and best practices, many industries already have safety management systems (SMSs) designed to monitor and reinforce good safety…

Applications · Statistics 2022-05-03 Ashutosh Tewari , Antonio R. Paiva

Testing and evaluation is an important step before the large-scale application of the autonomous driving systems (ADSs). Based on the three level of scenario abstraction theory, a testing can be performed within a logical scenario, followed…

Artificial Intelligence · Computer Science 2025-10-24 Xinzheng Wu , Junyi Chen , Jianfeng Wu , Longgao Zhang , Tian Xia , Yong Shen

Securing safe driving for connected and autonomous vehicles (CAVs) continues to be a widespread concern, despite various sophisticated functions delivered by artificial intelligence for in-vehicle devices. Diverse malicious network attacks…

Networking and Internet Architecture · Computer Science 2024-10-28 Le Xia , Yao Sun , Rafiq Swash , Lina Mohjazi , Lei Zhang , Muhammad Ali Imran

This paper describes how to proficiently prevent software defects in autonomous vehicles, discover and correct defects if they are encountered, and create a higher level of assurance in the software product development phase. It also…

Software Engineering · Computer Science 2024-11-22 Sneha Sudhir Shetiya , Vikas Vyas , Shreyas Renukuntla

This paper presents a systematic verification and validation (V\&V) framework for the Evasive Minimum Risk Maneuver (EMRM) feature in autonomous vehicles, addressing a critical gap in existing safety assessment methods. We introduce the…

Systems and Control · Electrical Eng. & Systems 2026-04-30 Aliasghar Arab , Milad Khaleghi , Koorosh Aslansefat

The autonomous car technology promises to replace human drivers with safer driving systems. But although autonomous cars can become safer than human drivers this is a long process that is going to be refined over time. Before these vehicles…

Artificial Intelligence · Computer Science 2018-05-09 Thomio Watanabe , Denis Wolf

We address the security of a network of Connected and Automated Vehicles (CAVs) cooperating to safely navigate through a conflict area (e.g., traffic intersections, merging roadways, roundabouts). Previous studies have shown that such a…

Systems and Control · Electrical Eng. & Systems 2024-03-26 H M Sabbir Ahmad , Ehsan Sabouni , Akua Dickson , Wei Xiao , Christos G. Cassandras , Wenchao Li

Context: Demonstrating high reliability and safety for safety-critical systems (SCSs) remains a hard problem. Diverse evidence needs to be combined in a rigorous way: in particular, results of operational testing with other evidence from…

Artificial Intelligence · Computer Science 2020-08-24 Xingyu Zhao , Kizito Salako , Lorenzo Strigini , Valentin Robu , David Flynn

Recently, autonomous driving development ignited competition among car makers and technical corporations. Low-level automation cars are already commercially available. But high automated vehicles where the vehicle drives by itself without…

Robotics · Computer Science 2019-05-24 Hengyu Zhao , Yubo Zhang , Pingfan Meng , Hui Shi , Li Erran Li , Tiancheng Lou , Jishen Zhao

For autonomous vehicles, safe navigation in complex environments depends on handling a broad range of diverse and rare driving scenarios. Simulation- and scenario-based testing have emerged as key approaches to development and validation of…

As vehicles transition toward higher levels of automation, Driver Monitoring Systems (DMS) have become essential for ensuring human oversight, safety, and regulatory compliance in a vehicle. These systems rely on multimodal sensing and…

Computers and Society · Computer Science 2026-05-08 Bilal Khana , Waseem Shariff , Rory Coyne , Muhammad Ali Farooq , Peter Corcoran

Safety is a long-standing and the final pursuit in the development of autonomous driving systems, with a significant portion of safety challenge arising from perception. How to effectively evaluate the safety as well as the reliability of…

Security of (semi)-autonomous vehicles is a growing concern, first, due to the increased exposure of the functionality to the potential attackers; second, due to the reliance of car functionalities on diverse (semi)-autonomous systems;…

Cryptography and Security · Computer Science 2018-10-02 Anupam Chattopadhyay , Kwok-Yan Lam