English
Related papers

Related papers: Safety of the Intended Functionality Concept Integ…

200 papers

The advancement in Autonomous Vehicles (AVs) has created an enormous market for the development of self-driving functionalities,raising the question of how it will transform the traditional vehicle development process. One adventurous…

Systems and Control · Computer Science 2017-03-29 Yunhan Jack Jia , Ding Zhao , Qi Alfred Chen , Z. Morley Mao

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

Connected vehicles are becoming commonplace. A constant connection between vehicles and a central server enables new features and services. This added connectivity raises the likelihood of exposure to attackers and risks unauthorized…

Cryptography and Security · Computer Science 2020-05-08 Valentin Zieglmeier , Severin Kacianka , Thomas Hutzelmann , Alexander Pretschner

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

The widescale deployment of Autonomous Vehicles (AV) appears 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…

Robotics · Computer Science 2020-11-17 Dhanoop Karunakaran , Stewart Worrall , Eduardo Nebot

The rapid advancements in autonomous vehicle software present both opportunities and challenges, especially in enhancing road safety. The primary objective of autonomous vehicles is to reduce accident rates through improved safety measures.…

Robotics · Computer Science 2024-10-22 Carlos Conejo , Vicenç Puig , Bernardo Morcego , Francisco Navas , Vicente Milanés

Recent changes in standards and regulations, driven by the increasing importance of software systems in meeting societal needs, mandate increased security testing of software systems. Penetration testing has been shown to be a reliable…

Cryptography and Security · Computer Science 2024-12-18 Charilaos Skandylas , Mikael Asplund

Embedding artificial intelligence into systems introduces significant challenges to modern engineering practices. Hazard analysis tools and processes have not yet been adequately adapted to the new paradigm. This paper describes initial…

Software Engineering · Computer Science 2022-03-30 Nikolas Martelaro , Carol J. Smith , Tamara Zilovic

A major challenge in testing software product lines is efficiency. In particular, testing a product line should take less effort than testing each and every product individually. We address this issue in the context of input-output…

Software Engineering · Computer Science 2014-03-31 Harsh Beohar , Mohammad Reza Mousavi

SIL (Safety Integrity Level) allocation plays a pivotal role in evaluating the significance of Safety Functions (SFs) within high-risk industries. The outcomes of a SIL allocation study determine the design specifications necessary to…

Systems and Control · Electrical Eng. & Systems 2025-08-13 Hamid Jahanian

This study underscores the vital importance of intelligent driving functions in enhancing road safety and driving comfort. Central to our research is the challenge of obtaining sufficient test data for evaluating these functions, especially…

Robotics · Computer Science 2024-02-06 Nico Schick , Franjo Čičak

Runtime assurance (RTA) addresses the problem of keeping an autonomous system safe while using an untrusted (or experimental) controller. This can be done via logic that explicitly switches between the untrusted controller and a safety…

Logic in Computer Science · Computer Science 2023-06-08 Kristina Miller , Christopher K. Zeitler , William Shen , Mahesh Viswanathan , Sayan Mitra

With growing complexity and responsibility of automated driving functions in road traffic and growing scope of their operational design domains, there is increasing demand for covering significant parts of development, validation, and…

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

Formal verification provides strong safety guarantees but only for models of cyber-physical systems. Hybrid system models describe the required interplay of computation and physical dynamics, which is crucial to guarantee what computations…

Logic in Computer Science · Computer Science 2019-02-26 Stefan Mitsch , André Platzer

Highly automated, cooperative driving vehicles will allow for a more fluid flow of traffic, resulting in more efficient, eco-friendly and safe traffic situations. The automotive industry however, is safety critical and current safety…

Systems and Control · Electrical Eng. & Systems 2019-12-05 Joakim Oscarsson , Max Stolz-Sundnes , Naveen Mohan , Viacheslav Izosimov

Scenario-based testing is envisioned as a key approach for the safety assurance of autonomous vehicles. In scenario-based testing, relevant (driving) scenarios are the basis of tests. Many recent works focus on specification, variation,…

Software Engineering · Computer Science 2023-07-12 Till Schallau , Stefan Naujokat , Fiona Kullmann , Falk Howar

As industrial autonomous ground vehicles are increasingly deployed in safety-critical environments, ensuring their safe operation under diverse conditions is paramount. This paper presents a novel approach for their safety verification…

Robotics · Computer Science 2025-07-17 Nawshin Mannan Proma , Gricel Vázquez , Sepeedeh Shahbeigi , Arjun Badyal , Victoria Hodge

Automated Driving Systems (ADS), including Advanced Driver Assistance Systems (ADAS), must fulfill not only high functional expectations but also stringent timing constraints mandated by international regulations and standards. Regulatory…

Software Engineering · Computer Science 2026-05-05 Sebastian Dingler , Philip Rehkop , Florian Mayer , Ralf Muenzenberger

The Robot Operating System (ROS) is a widely used framework for building robotic systems. It offers a wide variety of reusable packages and a pattern for new developments. It is up to developers how to combine these elements and integrate…

Multiagent Systems · Computer Science 2022-09-29 Yi Yang , Tom Holvoet