中文
相关论文

相关论文: Towards Guaranteed Safety Assurance of Automated D…

200 篇论文

Extensive simulation-based testing is important for assuring the safety of autonomous driving systems (ADS). However, generating safety-critical traffic scenarios remains challenging because failures often arise from rare, complex…

软件工程 · 计算机科学 2026-03-24 Dmytro Humeniuk , Mohammad Hamdaqa , Houssem Ben Braiek , Amel Bennaceur , Foutse Khomh

Advanced Driver Assistance Systems (ADAS) and Automated Driving Systems (ADS) are expected to improve comfort, productivity and, most importantly, safety for all road users. To ensure that the systems are safe, rules and regulations…

系统与控制 · 电气工程与系统科学 2025-02-18 Pierluigi Olleja , Gustav Markkula , Jonas Bärgman

Automated Driving (AD) systems have the potential to increase safety, comfort and energy efficiency. Recently, major automotive companies have started testing and validating AD systems (ADS) on public roads. Nevertheless, the commercial…

Autonomous driving systems (ADS) have been an active area of research, with the potential to deliver significant benefits to society. However, before large-scale deployment on public roads, extensive testing is necessary to validate their…

软件工程 · 计算机科学 2025-08-28 Qunying Song , He Ye , Mark Harman , Federica Sarro

Autonomous Vehicles (AV)'s wide-scale deployment appears imminent despite many safety challenges yet to be resolved. The modern autonomous vehicles will undoubtedly include machine learning and probabilistic techniques that add significant…

机器人学 · 计算机科学 2022-03-16 Dhanoop Karunakaran , Julie Stephany Berrio , Stewart Worrall , Eduardo Nebot

We present a new approach to automated scenario-based testing of the safety of autonomous vehicles, especially those using advanced artificial intelligence-based components, spanning both simulation-based evaluation as well as testing in…

系统与控制 · 电气工程与系统科学 2020-07-14 Daniel J. Fremont , Edward Kim , Yash Vardhan Pant , Sanjit A. Seshia , Atul Acharya , Xantha Bruso , Paul Wells , Steve Lemke , Qiang Lu , Shalin Mehta

Simulation-based testing has become a standard approach to validating autonomous driving agents prior to real-world deployment. A high-quality validation campaign will exercise an agent in diverse contexts comprised of varying static…

软件工程 · 计算机科学 2026-03-12 Joy Saha , Trey Woodlief , Sebastian Elbaum , Matthew B. Dwyer

Artificial Intelligence (AI) has been on the rise in many domains, including numerous safety-critical applications. However, for complex systems in the real world, defining the underlying environmental conditions in which the AI-based…

人工智能 · 计算机科学 2026-05-07 Johann Maximilian Christensen , Elena Hoemann , Frank Köster , Sven Hallerbach

Scenario-based testing is becoming increasingly important in safety assurance for automated driving. However, comprehensive and sufficiently complete coverage of the scenario space requires significant effort and resources if using only…

软件工程 · 计算机科学 2023-07-24 Christoph Glasmacher , Michael Schuldes , Hendrik Weber , Nicolas Wagener , Lutz Eckstein

Modern Automated Driving (AD) systems rely on safety measures to handle faults and to bring vehicle to a safe state. To eradicate lethal road accidents, car manufacturers are constantly introducing new perception as well as control systems.…

机器人学 · 计算机科学 2022-02-22 Yuting Fu , Andrei Terechko , Jan Friso Groote , Arash Khabbaz Saberi

Recent advances in deep learning have enabled the development of autonomous systems that use deep neural networks for perception. Formal verification of these systems is challenging due to the size and complexity of the perception DNNs as…

机器学习 · 计算机科学 2025-04-30 Christopher Watson , Rajeev Alur , Divya Gopinath , Ravi Mangal , Corina S. Pasareanu

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…

This paper frames recent publications from Waymo within the broader context of the safety readiness determination for an Automated Driving System (ADS). Starting from a brief overview of safety performance outcomes reported by Waymo (i.e.,…

软件工程 · 计算机科学 2023-06-28 Francesca M. Favaro , Trent Victor , Henning Hohnhold , Scott Schnelle

When developing autonomous driving systems (ADS), developers often need to replay previously collected driving recordings to check the correctness of newly introduced changes to the system. However, simply replaying the entire recording is…

软件工程 · 计算机科学 2022-09-07 Yao Deng , Xi Zheng , Mengshi Zhang , Guannan Lou , Tianyi Zhang

Currently, most existing approaches for the design of Automated Driving System (ADS) scenarios focus on the description at one particular abstraction level typically the most detailed one. This practice often removes information at higher…

软件工程 · 计算机科学 2021-09-14 Stefan Klikovits , Paolo Arcaini

Nowadays, the increasing complexity of Advanced Driver Assistance Systems (ADAS) and Automated Driving (AD) means that the industry must move towards a scenario-based approach to validation rather than relying on established…

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

Autonomous driving has shown great potential to reform modern transportation. Yet its reliability and safety have drawn a lot of attention and concerns. Compared with traditional software systems, autonomous driving systems (ADSs) often use…

软件工程 · 计算机科学 2022-09-26 Guannan Lou , Yao Deng , Xi Zheng , Mengshi Zhang , Tianyi Zhang

Providing safety guarantees for autonomous systems is difficult as these systems operate in complex environments that require the use of learning-enabled components, such as deep neural networks (DNNs) for visual perception. DNNs are hard…

人工智能 · 计算机科学 2023-05-31 Corina Pasareanu , Ravi Mangal , Divya Gopinath , Huafeng Yu

The kind of closed-loop verification likely to be required for autonomous vehicle (AV) safety testing is beyond the reach of traditional test methodologies and discrete verification. Validation puts the autonomous vehicle system to the test…

机器学习 · 计算机科学 2020-05-29 Hyun Jae Cho , Madhur Behl