English
Related papers

Related papers: Safety of the Intended Functionality Concept Integ…

200 papers

We present a novel method for testing the safety of self-driving vehicles in simulation. We propose an alternative to sensor simulation, as sensor simulation is expensive and has large domain gaps. Instead, we directly simulate the outputs…

Computer Vision and Pattern Recognition · Computer Science 2020-08-14 Kelvin Wong , Qiang Zhang , Ming Liang , Bin Yang , Renjie Liao , Abbas Sadat , Raquel Urtasun

The recent drive towards achieving greater autonomy and intelligence in robotics has led to high levels of complexity. Autonomous robots increasingly depend on third party off-the-shelf components and complex machine-learning techniques.…

Robotics · Computer Science 2019-04-23 Ankush Desai , Shromona Ghosh , Sanjit A. Seshia , Natarajan Shankar , Ashish Tiwari

Scenario-based testing is a promising method to develop, verify and validate automated driving systems (ADS) since pure on-road testing seems inefficient for complex traffic environments. A major challenge for this approach is the provision…

Software Engineering · Computer Science 2024-04-22 Michael Schuldes , Christoph Glasmacher , Lutz Eckstein

Automated Vehicles (AVs) are rapidly maturing in the transportation domain. However, the complexity of the AV design problem is such that no single technique is sufficient to provide adequate validation of key properties such as safety,…

Software Engineering · Computer Science 2022-08-11 Maike Schwammberger , Christopher Harper , Gleifer Vaz Alves , Greg Chance , Tony Pipe , Kerstin Eder

Classical approaches and procedures for testing of automated vehicles of SAE levels 1 and 2 were based on defined scenarios with specific maneuvers, depending on the function under test. For automated driving systems (ADS) of SAE level 3+,…

Robotics · Computer Science 2021-05-24 Demin Nalic , Hexuan Li , Arno Eichberger , Christoph Wellershaus , Aleksa Pandurevic , Branko Rogic

With the rise of software-defined vehicles (SDVs), where software governs most vehicle functions alongside enhanced connectivity, the need for secure software updates has become increasingly critical. Software vulnerabilities can severely…

Cryptography and Security · Computer Science 2025-11-21 Martin Slind Hagen , Emil Lundqvist , Alex Phu , Yenan Wang , Kim Strandberg , Elad Michael Schiller

Autonomous driving vehicles (ADVs) are implemented with rich software functions and equipped with many sensors, which in turn brings broad attack surface. Moreover, the execution environment of ADVs is often open and complex. Hence, ADVs…

Cryptography and Security · Computer Science 2020-04-28 Kun Cheng , Yuebin Bai , Yuan Zhou , Chao Yu , Yang Liu

Autonomous cyber-physical systems (CPS) can improve safety and efficiency for safety-critical applications, but require rigorous testing before deployment. The complexity of these systems often precludes the use of formal verification and…

Machine Learning · Computer Science 2021-10-15 Anthony Corso , Robert J. Moss , Mark Koren , Ritchie Lee , Mykel J. Kochenderfer

Scenario-based testing using simulations is a cornerstone of Autonomous Vehicles (AVs) software validation. So far, developers needed to choose between low-fidelity 2D simulators to explore the scenario space efficiently, and high-fidelity…

Robotics · Computer Science 2025-05-21 Marc Kaufeld , Korbinian Moller , Alessio Gambi , Paolo Arcaini , Johannes Betz

Our lives become increasingly dependent on safety- and security-critical systems, so formal techniques are advocated for engineering such systems. One of such techniques is validation obligations that enable formalizing requirements early…

Logic in Computer Science · Computer Science 2022-07-08 Sebastian Stock , Atif Mashkoor , Alexander Egyed

A fail-operational system for highly automated driving must complete the driving task even in the presence of a failure. This requires redundant architectures and a mechanism to reconfigure the system in case of a failure. Therefore, an…

Software Engineering · Computer Science 2021-02-10 Tobias Schmid , Stefanie Schraufstetter , Jonas Fritzsch , Dominik Hellhake , Greta Koelln , Stefan Wagner

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…

Systems and Control · Electrical Eng. & Systems 2020-05-19 Tim Stahl , Matthis Eicher , Johannes Betz , Frank Diermeyer

As Automated Driving Systems (ADS) technology advances, ensuring safety and public trust requires robust assurance frameworks, with safety cases emerging as a critical tool toward such a goal. This paper explores an approach to assess how a…

Software Engineering · Computer Science 2025-06-12 Scott Schnelle , Francesca Favaro , Laura Fraade-Blanar , David Wichner , Holland Broce , Justin Miranda

Autonomous driving systems continue to face safety-critical failures, often triggered by rare and unpredictable corner cases that evade conventional testing. We present the Autonomous Driving Digital Twin (ADDT) framework, a high-fidelity…

Robotics · Computer Science 2025-04-15 Bo Yu , Chaoran Yuan , Zishen Wan , Jie Tang , Fadi Kurdahi , Shaoshan Liu

Modern-day autonomous vehicles are increasingly becoming complex multidisciplinary systems composed of mechanical, electrical, electronic, computing and information sub-systems. Furthermore, the individual constituent technologies employed…

Robotics · Computer Science 2024-10-22 Chinmay Vilas Samak , Tanmay Vilas Samak , Venkat Krovi

Scenario-based testing for automated driving systems (ADS) must be able to simulate traffic scenarios that rely on interactions with other vehicles. Although many languages for high-level scenario modelling have been proposed, they lack the…

Autonomous driving functions (ADFs) in public traffic have to comply with complex system requirements that are based on knowledge of experts from different disciplines, e.g., lawyers, safety experts, psychologists. In this paper, we present…

Logic in Computer Science · Computer Science 2022-09-29 Dominik Grundt , Anna Köhne , Ishan Saxena , Ralf Stemmer , Bernd Westphal , Eike Möhlmann

Autonomous vehicle (AV) technology is rapidly becoming a reality on U.S. roads, offering the promise of improvements in traffic management, safety, and the comfort and efficiency of vehicular travel. With this increasing popularity and…

Signal Processing · Electrical Eng. & Systems 2019-08-15 Saurabh Jha , Subho S. Banerjee , James Cyriac , Zbigniew T. Kalbarczyk , Ravishankar K. Iyer

The development and deployment of Autonomous Vehicles (AVs) on our roads is not only realistic in the near future but can also bring significant benefits. In particular, it can potentially solve several problems relating to vehicles and…

Logic in Computer Science · Computer Science 2017-09-11 Lucas E. R. Fernandes , Vinicius Custodio , Gleifer V. Alves , Michael Fisher

Safety assurance is a paramount factor in the large-scale deployment of various autonomous systems (e.g., self-driving vehicles). However, the execution of safety engineering practices and processes have been challenged by an increasing…

Software Engineering · Computer Science 2020-08-12 Umair Siddique
‹ Prev 1 3 4 5 6 7 10 Next ›