English
Related papers

Related papers: ADIOSS Automatic Diagnostic Of System Simulations

200 papers

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…

Software Engineering · Computer Science 2023-01-24 Changwen Li , Joseph Sifakis , Qiang Wang , Rongjie Yan , Jian Zhang

In the modern world, we are permanently using, leveraging, interacting with, and relying upon systems of ever higher sophistication, ranging from our cars, recommender systems in e-commerce, and networks when we go online, to integrated…

Artificial Intelligence · Computer Science 2023-06-23 Patrick Rodler

Automated Driving Systems (ADS) have made great achievements in recent years thanks to the efforts from both academia and industry. A typical ADS is composed of multiple modules, including sensing, perception, planning, and control, which…

Software Engineering · Computer Science 2023-01-18 Shuncheng Tang , Zhenya Zhang , Yi Zhang , Jixiang Zhou , Yan Guo , Shuang Liu , Shengjian Guo , Yan-Fu Li , Lei Ma , Yinxing Xue , Yang Liu

As Autonomous Driving Systems (ADS) progress towards commercial deployment, there is an increasing focus on ensuring their safety and reliability. While considerable research has been conducted on testing methods for detecting faults in…

Software Engineering · Computer Science 2026-01-09 Nathan Shaw , Sanjeetha Pennada , Robert M Hierons , Donghwan Shin

With the rapid development of more complex robots, Fault Detection and Diagnosis (FDD) becomes increasingly harder. Especially the need for predetermined models and historic data is problematic because they do not encompass the dynamic and…

Robotics · Computer Science 2025-07-03 Johannes Kohl , Georg Muck , Georg Jäger , Sebastian Zug

Scenario-based testing with driving simulators is extensively used to identify failing conditions of automated driving assistance systems (ADAS). However, existing studies have shown that repeated test execution in the same as well as in…

Software Engineering · Computer Science 2025-11-11 Lev Sorokin , Matteo Biagiola , Andrea Stocco

An open question in autonomous driving is how best to use simulation to validate the safety of autonomous vehicles. Existing techniques rely on simulated rollouts, which can be inefficient for finding rare failure events, while other…

Robotics · Computer Science 2020-06-29 Anthony Corso , Ritchie Lee , Mykel J. Kochenderfer

Simulation-based testing is widely used to assess the reliability of Autonomous Driving Systems (ADS), but its effectiveness is limited by the operational design domain (ODD) conditions available in such simulators. To address this…

Software Engineering · Computer Science 2025-03-19 Luciano Baresi , Davide Yi Xian Hu , Andrea Stocco , Paolo Tonella

Perception is a critical component of high-integrity applications of robotics and autonomous systems, such as self-driving vehicles. In these applications, failure of perception systems may put human life at risk, and a broad adoption of…

Robotics · Computer Science 2021-10-19 Pasquale Antonante , David I. Spivak , Luca Carlone

Modern automotive software is highly complex and consists of millions lines of code. For safety-relevant automotive software, it is recommended to use sound static program analysis to prove the absence of runtime errors. However, the…

Software Engineering · Computer Science 2023-10-26 Jesko Hecking-Harbusch , Jochen Quante , Maximilian Schlund

Automated Driving Systems (ADSs) have seen rapid progress in recent years. To ensure the safety and reliability of these systems, extensive testings are being conducted before their future mass deployment. Testing the system on the road is…

Software Engineering · Computer Science 2021-12-03 Ziyuan Zhong , Yun Tang , Yuan Zhou , Vania de Oliveira Neves , Yang Liu , Baishakhi Ray

Automated driving functions (ADFs) have become increasingly popular in recent years. However, their safety must be assured. Thus, the verification and validation of these functions is still an important open issue in research and…

Software Engineering · Computer Science 2023-08-10 Daniel Becker , Guido Küppers , Lutz Eckstein

Fault diagnosis is crucial for complex autonomous mobile systems, especially for modern-day autonomous driving (AD). Different actors, numerous use cases, and complex heterogeneous components motivate a fault diagnosis of the system and…

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…

Robotics · Computer Science 2025-06-11 Juanran Wang , Marc R. Schlichting , Harrison Delecki , Mykel J. Kochenderfer

Perception is a critical component of high-integrity applications of robotics and autonomous systems, such as self-driving cars. In these applications, failure of perception systems may put human life at risk, and a broad adoption of these…

Robotics · Computer Science 2020-11-17 Pasquale Antonante , David I. Spivak , Luca Carlone

Efficiently estimating system dynamics from data is essential for minimizing data collection costs and improving model performance. This work addresses the challenge of designing future control inputs to maximize information gain, thereby…

Systems and Control · Electrical Eng. & Systems 2025-04-29 Joshua Ott , Mykel J. Kochenderfer , Stephen Boyd

A substantial fraction of the time that computational modellers dedicate to developing their models is actually spent trouble-shooting and debugging their code. However, how this process unfolds is seldom spoken about, maybe because it is…

Computational Engineering, Finance, and Science · Computer Science 2022-11-04 Ester Comellas , Jean-Paul Pelteret , Wolfgang Bangerth

The risen complexity of automotive systems requires new development strategies and methods to master the upcoming challenges. Traditional methods need thus to be changed by an increased level of automation, and a faster continuous…

Software Engineering · Computer Science 2024-04-04 Romina Eramo , Hamzeh Eyal Salman , Matteo Spezialetti , Darko Stern , Pierre Quinton , Antonio Cicchetti

This paper introduces an automatic debugging framework that relies on model-based reasoning techniques to locate faults in programs. In particular, model-based diagnosis, together with an abstract interpretation based conflict detection…

Software Engineering · Computer Science 2007-05-23 Wolfgang Mayer , Markus Stumptner

The implementation of strategies for fault detection and diagnosis on rotating electrical machines is crucial for the reliability and safety of modern industrial systems. The contribution of this work is a methodology that combines…

Systems and Control · Electrical Eng. & Systems 2023-06-19 María Barroso , José M. Bossio , Carlos M. Alaíz , Ángela Fernández
‹ Prev 1 2 3 10 Next ›