English
Related papers

Related papers: Rigorous Safety Analysis and Design of ADAS and AD…

200 papers

The automotive domain is shifting to software-centric development to meet regulation, market pressure, and feature velocity. This shift increases embedded systems' complexity and strains testing capacity. Despite relevant standards, a…

Software Engineering · Computer Science 2026-01-09 Denesa Zyberaj , Pascal Hirmer , Marco Aiello , Stefan Wagner

Driver models play a vital role in developing and verifying autonomous vehicles (AVs). Previously, they are mainly applied in traffic flow simulation to model driver behavior. With the development of AVs, driver models attract much…

Robotics · Computer Science 2023-11-16 Cheng Wang , Fengwei Guo , Ruilin Yu , Luyao Wang , Yuxin Zhang

This report provides an overview of the workshop titled Autonomy and Safety Assurance in the Early Development of Robotics and Autonomous Systems, hosted by the Centre for Robotic Autonomy in Demanding and Long-Lasting Environments (CRADLE)…

Robotics · Computer Science 2025-01-31 Dhaminda B. Abeywickrama , Michael Fisher , Frederic Wheeler , Louise Dennis

Autonomous Driving (AD) encounters significant safety hurdles in long-tail unforeseen driving scenarios, largely stemming from the non-interpretability and poor generalization of the deep neural networks within the AD system, particularly…

Artificial Intelligence · Computer Science 2024-03-25 Yixuan Wang , Ruochen Jiao , Sinong Simon Zhan , Chengtian Lang , Chao Huang , Zhaoran Wang , Zhuoran Yang , Qi Zhu

Due to the growing awareness of driving safety and the development of sophisticated technologies, advanced driving assistance system (ADAS) has been equipped in more and more vehicles with higher accuracy and lower price. The latest…

Artificial Intelligence · Computer Science 2021-06-24 Xinran Li , Kuo-Yi Lin , Min Meng , Xiuxian Li , Li Li , Yiguang Hong , Jie Chen

Widespread adoption of autonomous cars will require greater confidence in their safety than is currently possible. Certified control is a new safety architecture whose goal is two-fold: to achieve a very high level of safety, and to provide…

The need for a systematic approach to risk assessment has increased in recent years due to the ubiquity of autonomous systems that alter our day-to-day experiences and their need for safety, e.g., for self-driving vehicles, mobile service…

Automated driving technologies promise substantial improvements in transportation safety, efficiency, and accessibility. However, ensuring the reliability and safety of Autonomous Vehicles in complex, real-world environments remains a…

Software Engineering · Computer Science 2025-03-03 João-Vitor Zacchi , Edoardo Clementi , Núria Mata

The explosion in the performance of Machine Learning (ML) and the potential of its applications are strongly encouraging us to consider its use in industrial systems, including for critical functions such as decision-making in autonomous…

Computers and Society · Computer Science 2023-11-14 François Terrier

For future application of automated vehicles in public traffic, ensuring functional safety is essential. In this context, a hazard analysis and risk assessment is an important input for designing functionally vehicle automation systems. In…

Robotics · Computer Science 2018-05-08 Torben Stolte , Gerrit Bagschik , Andreas Reschka , Markus Maurer

Simulation-based testing remains the main approach for validating Autonomous Driving Systems. We propose a rigorous test method based on breaking down scenarios into simple ones, taking into account the fact that autopilots make decisions…

Software Engineering · Computer Science 2024-05-28 Changwen Li , Joseph Sifakis , Rongjie Yan , Jian Zhang

A system is said to be fail-secure, sometimes confused with fail-safe, if it maintains its security requirements even in the event of some faults. Fail-secure analyses are required by some validation schemes, such as some Common Criteria or…

Cryptography and Security · Computer Science 2014-05-07 Gurvan Le Guernic

Specifying an Operational Design Domain (ODD) is crucial for safeguarding automated vehicle systems against conditions that exceed their capabilities. Yet, prior definitions of ODD have relied on ambiguous and unclear terms, resulting in…

Robotics · Computer Science 2024-08-28 Ali Shakeri

Ensuring the functional safety of Autonomous Vehicles (AVs) requires motion planning modules that not only operate within strict real-time constraints but also maintain controllability in case of system faults. Existing safeguarding…

Robotics · Computer Science 2026-01-08 Korbinian Moller , Glenn Johannes Tungka , Lucas Jürgens , Johannes Betz

Autonomous Driving Systems (ADS) are critical dynamic reconfigurable agent systems whose specification and validation raises extremely challenging problems. The paper presents a multilevel semantic framework for the specification of ADS and…

Multiagent Systems · Computer Science 2021-09-15 Marius Bozga , Joseph Sifakis

Background/Context. The use of automated driving systems (ADSs) in the real world requires rigorous testing to ensure safety. To increase trust, ADSs should be tested on a large set of diverse road scenarios. Literature suggests that if a…

Software Engineering · Computer Science 2022-09-14 Stefan Klikovits , Vincenzo Riccio , Ezequiel Castellano , Ahmet Cetinkaya , Alessio Gambi , Paolo Arcaini

Autonomous racing demands safe control of vehicles at their physical limits for extended periods of time, providing insights into advanced vehicle safety systems which increasingly rely on intervention provided by vehicle autonomy.…

Robotics · Computer Science 2025-09-09 James Bockman , Matthew Howe , Adrian Orenstein , Feras Dayoub

Automotive companies increasingly adopt scaled agile methods to allow them to deal with their organisational and product complexity. Suitable methods are needed to ensure safety when developing automotive systems. On a small scale, R-Scrum…

Software Engineering · Computer Science 2019-12-02 Jan-Philipp Steghöfer , Eric Knauss , Jennifer Horkoff , Rebekka Wohlrab

The advent of Autonomous Driving Systems (ADS) has marked a significant shift towards intelligent transportation, with implications for public safety and traffic efficiency. While these systems integrate a variety of technologies and offer…

Software Engineering · Computer Science 2025-02-28 Wenyuan Cheng , Zengyang Li , Peng Liang , Ran Mo , Hui Liu

Autonomous Vehicles (AVs) redefine transportation with sophisticated technology, integrating sensors, cameras, and intricate algorithms. Implementing machine learning in AV perception demands robust hardware accelerators to achieve…

Hardware Architecture · Computer Science 2024-05-02 Ruba Islayem , Fatima Alhosani , Raghad Hashem , Afra Alzaabi , Mahmoud Meribout