中文
相关论文

相关论文: Software Reliability Growth Models Predict Autonom…

200 篇论文

The aviation industry has a market driven need to maintain and develop enhanced simulation capabilities for a wide range of application domains. In particular, the future growth and disruptive ability of smart cities, autonomous vehicles…

计算机与社会 · 计算机科学 2019-10-15 Joshua Fadaie

Extracting interesting scenarios from real-world data as well as generating failure cases is important for the development and testing of autonomous systems. We propose efficient mechanisms to both characterize and generate testing…

This paper consider the problem of determining the reliability of a software system which can be decomposed in a number of modules. We have derived the expression of the reliability of a system using the Markovian model for the transfer of…

应用统计 · 统计学 2009-08-21 Rudrani Banerjee , Angshuman Sarkar

Accurate and robust trajectory predictions of road users are needed to enable safe automated driving. To do this, machine learning models are often used, which can show erratic behavior when presented with previously unseen inputs. In this…

人工智能 · 计算机科学 2023-04-05 Manuel Muñoz Sánchez , Emilia Silvas , Jos Elfring , René van de Molengraft

A self-adaptive software system modifies its behavior at runtime in response to changes within the system or in its execution environment. The fulfillment of the system requirements needs to be guaranteed even in the presence of adverse…

This research paper delves into the field of autonomous vehicle technology, examining the vulnerabilities inherent in each component of these transformative vehicles. Autonomous vehicles (AVs) are revolutionizing transportation by…

密码学与安全 · 计算机科学 2025-05-06 Ian Alexis Wong Paz , Anuvinda Balan , Sebastian Campos , Ehud Orenstain , Sudip Dhakal

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…

人工智能 · 计算机科学 2022-11-24 Renjue Li , Tianhang Qin , Pengfei Yang , Cheng-Chao Huang , Youcheng Sun , Lijun Zhang

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…

软件工程 · 计算机科学 2024-05-28 Changwen Li , Joseph Sifakis , Rongjie Yan , Jian Zhang

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…

Autonomous driving systems with self-evolution capabilities have the potential to independently evolve in complex and open environments, allowing to handle more unknown scenarios. However, as a result of the safety-performance trade-off…

人工智能 · 计算机科学 2024-08-26 Shuo Yang , Shizhen Li , Yanjun Huang , Hong Chen

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…

人工智能 · 计算机科学 2020-08-24 Xingyu Zhao , Kizito Salako , Lorenzo Strigini , Valentin Robu , David Flynn

Simulation is essential to validate autonomous driving systems. However, a simple simulation, even for an extremely high number of simulated miles or hours, is not sufficient. We need well-founded criteria showing that simulation does…

软件工程 · 计算机科学 2023-01-24 Changwen Li , Joseph Sifakis , Qiang Wang , Rongjie Yan , Jian Zhang

Safety validation of autonomous driving systems is extremely challenging due to the high risks and costs of real-world testing as well as the rarity and diversity of potential failures. To address these challenges, we train a denoising…

机器人学 · 计算机科学 2025-06-11 Juanran Wang , Marc R. Schlichting , Harrison Delecki , Mykel J. Kochenderfer

Autonomous systems have gained an important role in many industry domains and are beginning to change everyday life. However, due to dynamically emerging applications and often proprietary constraints, there is a lack of information about…

软件工程 · 计算机科学 2025-06-06 Katerina Goseva-Popstojanova , Denny Hood , Johann Schumann , Noble Nkwocha

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…

To safely and efficiently navigate through complex traffic scenarios, autonomous vehicles need to have the ability to predict the future motion of surrounding vehicles. Multiple interacting agents, the multi-modal nature of driver behavior,…

计算机视觉与模式识别 · 计算机科学 2018-10-31 Nachiket Deo , Mohan M. Trivedi

This article summarizes the research progress of scenario-based testing and development technology for autonomous vehicles. We systematically analyzed previous research works and proposed the definition of scenario, the elements of the…

分布式、并行与集群计算 · 计算机科学 2020-11-09 Xiaoyi Li

Autonomous shuttles (AS) are fully autonomous transit vehicles with operating characteristics distinct from conventional autonomous vehicles (AV). Developing dedicated car-following models for AS is critical to understanding their traffic…

新兴技术 · 计算机科学 2026-02-13 Renan Favero , Lily Elefteriadou

The widescale deployment of Autonomous Vehicles (AV) seems to be imminent despite many safety challenges that are yet to be resolved. It is well known that there are no universally agreed Verification and Validation (VV) methodologies to…

机器人学 · 计算机科学 2020-03-05 Dhanoop Karunakaran , Stewart Worrall , Eduardo Nebot

We present an overview of recently developed data-driven tools for safety analysis of autonomous vehicles and advanced driver assist systems. The core algorithms combine model-based, hybrid system reachability analysis with sensitivity…

系统与控制 · 计算机科学 2017-04-24 Chuchu Fan , Bolun Qi , Sayan Mitra