中文
相关论文

相关论文: Safety of the Intended Functionality Concept Integ…

200 篇论文

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…

计算机视觉与模式识别 · 计算机科学 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.…

机器人学 · 计算机科学 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…

软件工程 · 计算机科学 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,…

软件工程 · 计算机科学 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+,…

机器人学 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

机器学习 · 计算机科学 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…

机器人学 · 计算机科学 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…

计算机科学中的逻辑 · 计算机科学 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…

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…

系统与控制 · 电气工程与系统科学 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…

软件工程 · 计算机科学 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…

机器人学 · 计算机科学 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…

机器人学 · 计算机科学 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…

计算机科学中的逻辑 · 计算机科学 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…

信号处理 · 电气工程与系统科学 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…

计算机科学中的逻辑 · 计算机科学 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…

软件工程 · 计算机科学 2020-08-12 Umair Siddique