English
Related papers

Related papers: Navigating Dimensionality through State Machines i…

200 papers

Due to the increasing complexity of distributed systems, security testing is becoming increasingly critical in insuring reliability of such systems in relation to their security requirements. . To challenge this issue, we rely in this…

Cryptography and Security · Computer Science 2014-10-22 Mohamed H. E. Aouadi , Khalifa Toumi , Ana Cavalli

There have been major developments in Automated Driving (AD) and Driving Assist Systems (ADAS) in recent years. However, their safety assurance, thus methodologies for testing, verification and validation AD/ADAS safety-critical…

Software Engineering · Computer Science 2023-11-08 Hasan Esen , Brian Hsuan-Cheng Liao

This paper explores the state of the art on to methods to verify and validate navigation algorithms for autonomous surface ships. We perform a systematic mapping study to find research works published in the last 10 years proposing new…

Artificial Intelligence · Computer Science 2021-01-18 Ivan Porres , Sepinoud Azimi , Sébastien Lafond , Johan Lilius , Johanna Salokannel , Mirva Salokorpi

Simulation is a crucial step in ensuring accurate, efficient, and realistic Connected and Autonomous Vehicles (CAVs) testing and validation. As the adoption of CAV accelerates, the integration of real-world data into simulation environments…

Robotics · Computer Science 2024-09-27 Junwei You , Pei Li , Yang Cheng , Keshu Wu , Rui Gan , Steven T. Parker , Bin Ran

Unfortunately, many people die in car accidents. To reduce these accidents, cars are equipped with driving safety systems. With autonomous vehicles, the driver's behavior becomes irrelevant as the car drives autonomously. All autonomous…

Robotics · Computer Science 2023-06-01 Nico Schick

In the automobile industry, ensuring the safety of automated vehicles equipped with the Automated Driving System (ADS) is becoming a significant focus due to the increasing development and deployment of automated driving. Automated driving…

Systems and Control · Electrical Eng. & Systems 2025-05-06 Milin Patel , Rolf Jung , Marzana Khatun

This paper studies the class of scenario-based safety testing algorithms in the black-box safety testing configuration. For algorithms sharing the same state-action set coverage with different sampling distributions, it is commonly believed…

Robotics · Computer Science 2023-05-30 Bowen Weng , Guillermo A. Castillo , Wei Zhang , Ayonga Hereid

Self-driving cars have the potential to revolutionize transportation, but ensuring their safety remains a significant challenge. These systems must navigate a variety of unexpected scenarios on the road, and their complexity poses…

Software Engineering · Computer Science 2025-07-09 Tony Zhang , Burak Kantarci , Umair Siddique

Autonomous vehicles have the potential to lower the accident rate when compared to human driving. Moreover, it is the driving force of the automated vehicles' rapid development over the last few years. In the higher Society of Automotive…

Robotics · Computer Science 2022-08-30 Dhanoop Karunakaran , Julie Stephany Berrio , Stewart Worrall , Eduardo Nebot

To test automated driving systems, we present a case study for finding critical scenarios in driving environments guided by formal specifications. To that aim, we devise a framework for critical scenario identification, which we base on…

Optimization and Control · Mathematics 2023-03-10 Adam Molin , Edgar A. Aguilar , Dejan Ničković , Mengjia Zhu , Alberto Bemporad , Hasan Esen

The development of new assessment methods for the performance of automated vehicles is essential to enable the deployment of automated driving technologies, due to the complex operational domain of automated vehicles. One contributing…

Artificial Intelligence · Computer Science 2024-08-28 E. de Gelder , J. -P. Paardekooper , A. Khabbaz Saberi , H. Elrofai , O. Op den Camp. , S. Kraines , J. Ploeg , B. De Schutter

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

Automobiles have become the main means of transportation for human beings, and their failures in the process of operation are directly related to the life and property safety of drivers. Therefore, real-time operational status evaluation…

Numerical Analysis · Mathematics 2024-08-19 Zuo Yanhong , Xia Shilong , Zhou Chao , Yang Kun

In the past two decades, autonomous driving has been catalyzed into reality by the growing capabilities of machine learning. This paradigm shift possesses significant potential to transform the future of mobility and reshape our society as…

Robotics · Computer Science 2022-10-21 Richard Chakra

Autonomous vehicle platforms of varying spatial scales are employed within the research and development spectrum based on space, safety and monetary constraints. However, deploying and validating autonomy algorithms across varying…

Robotics · Computer Science 2024-10-22 Tanmay Vilas Samak , Chinmay Vilas Samak , Venkat Narayan Krovi

Driving is a daily routine for many individuals across the globe. This paper presents the configuration and methodologies used to transform a vehicle into a connected ecosystem capable of assessing driver physiology. We integrated an array…

Human-Computer Interaction · Computer Science 2023-09-11 Rodrigo Ordonez-Hurtado , Bo Wen , Nicholas Barra , Ryan Vimba , Sergio Cabrero-Barros , Sergiy Zhuk , Jeffrey L. Rogers

The emergence of Connected, Cooperative, and Automated Mobility (CCAM) systems has significantly transformed the safety assessment landscape. Because they integrate automated vehicle functions beyond those managed by a human driver, new…

Software Engineering · Computer Science 2025-09-03 Martin Skoglund , Fredrik Warg , Anders Thoren , Sasikumar Punnekkat , Hans Hansson

Ensuring a car's internal systems are free from security vulnerabilities is of utmost importance, especially due to the relationship between security and other properties, such as safety and reliability. We provide the starting point for a…

Cryptography and Security · Computer Science 2018-05-16 Eduardo dos Santos , Andrew Simpson , Dominik Schoop

Autonomous systems such as self-driving cars rely on sensors to perceive the surrounding world. Measures must be taken against attacks on sensors, which have been a hot topic in the last few years. For that goal one must first evaluate how…

Cryptography and Security · Computer Science 2021-03-15 Koichi Shimizu , Daisuke Suzuki , Ryo Muramatsu , Hisashi Mori , Tomoyuki Nagatsuka , Tsutomu Matsumoto

Autonomous Driving (AD) systems demand the high levels of safety assurance. Despite significant advancements in AD demonstrated on open-source benchmarks like Longest6 and Bench2Drive, existing datasets still lack regulatory-compliant…

Robotics · Computer Science 2025-05-21 Jingzheng Li , Tiancheng Wang , Xingyu Peng , Jiacheng Chen , Zhijun Chen , Bing Li , Xianglong Liu