English
Related papers

Related papers: A Roadmap for Simulation-Based Testing of Autonomo…

200 papers

While there was great progress regarding the technology and its implementation for vehicles equipped with automated driving systems (ADS), the problem of how to proof their safety as a necessary precondition prior to market launch remains…

Software Engineering · Computer Science 2021-09-09 Nico Weber , Christoph Thiem , Ulrich Konigorski

Control systems on unmanned vehicles are safety-critical systems whose requirements on reliability and safety are ever-increasing. Currently, testing a complex autonomous control system is an expensive and time-consuming process, which…

Systems and Control · Electrical Eng. & Systems 2019-08-08 Xunhua Dai , Chenxu Ke , Quan Quan , Kai-Yuan Cai

Autonomous driving systems (ADS) are increasingly deployed in real traffic, yet testing remains fundamentally challenging due to open environments, complex scenarios, and the lack of established processes and metrics. Despite extensive…

Software Engineering · Computer Science 2026-05-04 Qunying Song , Ali Nouri , Håkan Sivencrona , Federica Sarro

Autonomous racing demands safe control of vehicles at their physical limits for extended periods of time, providing insights into advanced vehicle safety systems which increasingly rely on intervention provided by vehicle autonomy.…

Robotics · Computer Science 2025-09-09 James Bockman , Matthew Howe , Adrian Orenstein , Feras Dayoub

Development of Cyber Physical Systems (CPSs) requires close interaction between developers with expertise in many domains to achieve ever-increasing demands for improved performance, reduced cost, and more system autonomy. Each engineering…

Software Engineering · Computer Science 2020-04-14 Charles Hartsell , Nagabhushan Mahadevan , Harmon Nine , Ted Bapty , Abhishek Dubey , Gabor Karsai

In order to ensure autonomous vehicles are safe for on-road deployment, simulation-based testing has become an integral complement to on-road testing. The rise in simulation testing and validation reflects a growing need to verify that AV…

Formal Languages and Automata Theory · Computer Science 2024-06-26 Devan Shanker

Robotic systems are complex and safety-critical software systems. As such, they need to be tested thoroughly. Unfortunately, robot software is intrinsically hard to test compared to traditional software, mainly since the software needs to…

Software Engineering · Computer Science 2026-02-03 Nils Chur , Thiago Santos de Moura , Argentina Ortega , Sven Peldszus , Thorsten Berger , Nico Hochgeschwender , Yannic Noller

Recent advances in foundation models (FMs), including large language models (LLMs), vision-language models (VLMs), and world models, have opened new opportunities for autonomous driving systems (ADSs) in perception, reasoning,…

Software Engineering · Computer Science 2026-04-03 Xiongfei Wu , Mingfei Cheng , Xiaoning Ren , Qiang Hu , Jianlang Chen , Yuheng Huang , Maxime Cordy , Yao Zhang , Xiaofei Xie , Lei Ma , Yves Le Traon

The aim of this study is to present an overview of current research on modelling, evaluation, and optimization methods for improving the reliability of Cyber-Physical System (CPS). Three major modelling approaches, namely analytical,…

Systems and Control · Electrical Eng. & Systems 2025-03-17 Moslem Uddin , Huadong Mo , Daoyi Dong

Ensuring the safety and efficacy of Cyber-Physical Systems (CPSs) is challenging due to the large variability of their operating environment. Model checking has been proposed for validation of CPSs, but the models of the environment are…

Formal Languages and Automata Theory · Computer Science 2021-05-05 Guangyao Chen , Zhihao Jiang

With the increasing complexity of software permeating critical domains such as autonomous driving, new challenges are emerging in the ways the engineering of these systems needs to be rethought. Autonomous driving is expected to continue…

Software Engineering · Computer Science 2023-03-17 Dasa Kusnirakova , Barbora Buhnova

Cyber-Physical Systems (CPS) revolutionize various application domains with integration and interoperability of networking, computing systems, and mechanical devices. Due to its scale and variety, CPS faces a number of challenges and opens…

Networking and Internet Architecture · Computer Science 2017-01-09 Pradeeban Kathiravelu , Luís Veiga

Testing autonomous driving systems for safety and reliability is extremely complex. A primary challenge is identifying the relevant test scenarios, especially the critical ones that may expose hazards or risks of harm to autonomous vehicles…

Software Engineering · Computer Science 2023-05-24 Qunying Song , Emelie Engström , Per Runeson

A Cyber-Physical System (CPS) testbed serves as a powerful platform for testing and validating cyber intrusion detection and mitigation strategies in substations. This study presents the design and development of a CPS testbed that can…

Cryptography and Security · Computer Science 2025-06-02 Akila Herath , Chen-Ching Liu , Junho Hong , Mansi Girdhar

An appropriate system model gives developers a better overview, and the ability to fix more inconsistencies more effectively and earlier in system development, reducing overall effort and cost. However, modelling assumes abstraction of…

Software Engineering · Computer Science 2014-05-01 Maria Spichkova , Heinrich Schmidt , Ian Peake

Scenario-based testing has emerged as a common method for autonomous vehicles (AVs) safety assessment, offering a more efficient alternative to mile-based testing by focusing on high-risk scenarios. However, fundamental questions persist…

Software Engineering · Computer Science 2025-07-17 Xingyu Zhao , Robab Aghazadeh-Chakherlou , Chih-Hong Cheng , Peter Popov , Lorenzo Strigini

The rapid evolution of Cyber-Physical Systems (CPS) across various domains like mobility systems, networked control systems, sustainable manufacturing, smart power grids, and the Internet of Things necessitates innovative solutions that…

Optimization and Control · Mathematics 2024-06-25 Andreas A. Malikopoulos

Automated driving systems (ADSs) promise a safe, comfortable and efficient driving experience. However, fatalities involving vehicles equipped with ADSs are on the rise. The full potential of ADSs cannot be realized unless the robustness of…

Robotics · Computer Science 2020-04-06 Ekim Yurtsever , Jacob Lambert , Alexander Carballo , Kazuya Takeda

The potential benefits of autonomous systems have been driving intensive development of such systems, and of supporting tools and methodologies. However, there are still major issues to be dealt with before such development becomes…

Software Engineering · Computer Science 2022-05-25 David Harel , Assaf Marron , Joseph Sifakis

The overarching, broad topic of my research are advancements in the area of safety-critical, cyber-physical systems (CPS) development with emphasis on validation and verification. The particular focus of my research is the early validation…

Logic in Computer Science · Computer Science 2025-02-14 Ondřej Vašíček