English
Related papers

Related papers: Safety of the Intended Functionality Concept Integ…

200 papers

Industrial Safety deals with the physical integrity of humans, machines and the environment when they interact during production scenarios. Industrial Safety is subject to a rigorous certification process that leads to inflexible settings,…

Discovering potential failures of an autonomous system is important prior to deployment. Falsification-based methods are often used to assess the safety of such systems, but the cost of running many accurate simulation can be high. The…

Robotics · Computer Science 2023-10-03 Marc R. Schlichting , Nina V. Boord , Anthony L. Corso , Mykel J. Kochenderfer

Autonomous vehicles (AV) look set to become common on our roads within the next few years. However, to achieve the final breakthrough, not only functional progress is required, but also satisfactory safety assurance must be provided. Among…

Robotics · Computer Science 2025-06-04 Peter Popov , Lorenzo Strigini , Cornelius Buerkle , Fabian Oboril , Michael Paulitsch

With growing complexity and criticality of automated driving functions in road traffic and their operational design domains (ODD), there is increasing demand for covering significant proportions of development, validation, and verification…

Due to the growing awareness of driving safety and the development of sophisticated technologies, advanced driving assistance system (ADAS) has been equipped in more and more vehicles with higher accuracy and lower price. The latest…

Artificial Intelligence · Computer Science 2021-06-24 Xinran Li , Kuo-Yi Lin , Min Meng , Xiuxian Li , Li Li , Yiguang Hong , Jie Chen

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…

Robotics · Computer Science 2020-03-05 Dhanoop Karunakaran , Stewart Worrall , Eduardo Nebot

Ensuring the safety of autonomous vehicles (AVs) is of utmost importance and testing them in simulated environments is a safer option than conducting in-field operational tests. However, generating an exhaustive test suite to identify…

Software Engineering · Computer Science 2023-11-30 Neelofar , Aldeida Aleti

Safety analysis is used to identify hazards and build knowledge during the design phase of safety-relevant functions. This is especially true for complex AI-enabled and software intensive systems such as Autonomous Drive (AD).…

Software Engineering · Computer Science 2024-03-20 Ali Nouri , Christian Berger , Fredrik Törner

Automated Driving Systems (ADS) hold great potential to increase safety, mobility, and equity. However, without public acceptance, none of these promises can be fulfilled. To engender public trust, many entities in the ADS community…

Computers and Society · Computer Science 2023-07-03 Scott Schnelle , Francesca M. Favaro

The increasing levels of software- and data-intensive driving automation call for an evolution of automotive software testing. As a recommended practice of the Verification and Validation (V&V) process of ISO/PAS 21448, a candidate standard…

Software Engineering · Computer Science 2021-01-29 Markus Borg , Raja Ben Abdessalem , Shiva Nejati , Francois-Xavier Jegeden , Donghwan Shin

Safety validation is important during the development of safety-critical autonomous systems but can require significant computational effort. Existing algorithms often start from scratch each time the system under test changes. We apply…

Machine Learning · Computer Science 2020-12-11 Anthony Corso , Mykel J. Kochenderfer

Autonomous driving systems (ADSs) have undergone remarkable development and are increasingly employed in safety-critical applications. However, recently reported data on fatal accidents involving ADSs suggests that the desired level of…

Software Engineering · Computer Science 2024-09-13 An Guo , Yuan Zhou , Haoxiang Tian , Chunrong Fang , Yunjian Sun , Weisong Sun , Xinyu Gao , Anh Tuan Luu , Yang Liu , Zhenyu Chen

Safety-critical software systems are those whose failure or malfunction could result in casualty and/or serious financial loss. In such systems, safety assurance cases (SACs) are an emerging approach that adopts a proactive strategy to…

Software Engineering · Computer Science 2018-03-23 Jinghui Cheng , Micayla Goodrum , Ronald Metoyer , Jane Cleland-Huang

Autonomous Systems (AS) are increasingly proposed, or used, in Safety Critical (SC) applications. Many such systems make use of sophisticated sensor suites and processing to provide scene understanding which informs the AS' decision-making.…

Systems and Control · Electrical Eng. & Systems 2022-08-19 John Molloy , John McDermid

Safety verification for autonomous vehicles (AVs) and ground robots is crucial for ensuring reliable operation given their uncertain environments. Formal language tools provide a robust and sound method to verify safety rules for such…

Robotics · Computer Science 2025-01-24 Aditya Parameshwaran , Yue Wang

Vehicle safety depends on (a) the range of identified hazards and (b) the operational situations for which mitigations of these hazards are acceptably decreasing risk. Moreover, with an increasing degree of autonomy, risk ownership is…

Software Engineering · Computer Science 2018-02-26 Mario Gleirscher , Stefan Kugele

The complex functional structure of driverless vehicles induces a multitude of potential malfunctions. Established approaches for a systematic hazard identification generate individual potentially hazardous scenarios for each identified…

Systems and Control · Electrical Eng. & Systems 2024-02-15 Robert Graubohm , Torben Stolte , Gerrit Bagschik , Markus Maurer

Safety Case has become an integral component for safety-certification in various Cyber Physical System domains including automotive, aviation, medical devices, and military. The certification processes for these systems are stringent and…

Robotics · Computer Science 2020-03-12 Shreyas Ramakrishna , Charles Hartsell , Abhishek Dubey , Partha Pal , Gabor Karsai

In the realm of autonomous driving, the development and integration of highly complex and heterogeneous systems are standard practice. Modern vehicles are not monolithic systems; instead, they are composed of diverse hardware components,…

Software Engineering · Computer Science 2024-11-25 Paolo Burgio , Angelo Ferrando , Marco Villani

Virtual testing of automated driving systems (ADS) has become an essential part of testing procedures for all automation levels. As ADS from automation level 3 and up are very complex, virtual testing for such systems is inevitable. The…

Software Engineering · Computer Science 2021-03-26 Demin Nalic , Aleksa Pandurevic , Arno Eichberger , Branko Rogic