English
Related papers

Related papers: From Function to Failure

200 papers

The safety of automated driving systems must be justified by convincing arguments and supported by compelling evidence to persuade certification agencies, regulatory entities, and the general public to allow the systems on public roads.…

Software Engineering · Computer Science 2024-10-28 Jonas Krook , Yuvaraj Selvaraj , Wolfgang Ahrendt , Martin Fabian

In today's world, critical infrastructure is often controlled by computing systems. This introduces new risks for cyber attacks, which can compromise the security and disrupt the functionality of these systems. It is therefore necessary to…

Formal Languages and Automata Theory · Computer Science 2021-09-06 Tomas Kulik , Brijesh Dongol , Peter Gorm Larsen , Hugo Daniel Macedo , Steve Schneider , Peter Würtz Vinther Tran-Jørgensen , Jim Woodcock

Machine learning models commonly exhibit unexpected failures post-deployment due to either data shifts or uncommon situations in the training environment. Domain experts typically go through the tedious process of inspecting the failure…

The field of Machine Learning has changed significantly since the 1970s. However, its most basic principle, Empirical Risk Minimization (ERM), remains unchanged. We propose Functional Risk Minimization~(FRM), a general framework where…

Hazard radiation can lead the system fault therefore Fault Tolerance is required. Fault Tolerant is a system, which is designed to keep operations running, despite the degradation in the specific module is happening. Many fault tolerances…

Hardware Architecture · Computer Science 2014-03-11 Haryono , Jazi Eko Istiyanto , Agus Harjoko , Agfianto Eko Putra

The contribution of this paper is threefold: first, it defines a framework for modelling component-based systems, as well as a formalization of integration rules to combine their behavior. This is based on finite state machines (FSM).…

Software Engineering · Computer Science 2014-06-12 Bilal Kanso , Omar Chebaro

As systems become increasingly complex, conducting effective safety analysis in the earlier phases of a system's lifecycle is essential to identify and mitigate risks before they escalate. To that end, this paper investigates the…

Software Engineering · Computer Science 2025-11-06 Jannatul Shefa , Taylan G. Topcu

A fail-operational system for highly automated driving must complete the driving task even in the presence of a failure. This requires redundant architectures and a mechanism to reconfigure the system in case of a failure. Therefore, an…

Software Engineering · Computer Science 2021-02-10 Tobias Schmid , Stefanie Schraufstetter , Jonas Fritzsch , Dominik Hellhake , Greta Koelln , Stefan Wagner

Systems that rely on Machine Learning (ML systems) have differing demands on system quality compared to traditional systems. Such quality demands, known as non-functional requirements (NFRs), may differ in their definition, scope, and…

Software Engineering · Computer Science 2022-03-22 Khan Mohammad Habibullah , Gregory Gay , Jennifer Horkoff

Anomalies are often indicators of malfunction or inefficiency in various systems such as manufacturing, healthcare, finance, surveillance, to name a few. While the literature is abundant in effective detection algorithms due to this…

Machine Learning · Computer Science 2023-04-10 Xueying Ding , Nikita Seleznev , Senthil Kumar , C. Bayan Bruss , Leman Akoglu

Reasoning has long been understood as a pathway between stages of understanding. Proper reasoning leads to understanding of a given subject. This reasoning was conceptualized as a process of understanding in a particular way, i.e.,…

Artificial Intelligence · Computer Science 2026-01-06 Hendrik Kempt , Alon Lavie

Modelling the logical architecture of an automotive system as one central step in the development process leads to an early understanding of the fundamental functional properties of the system under design. This supports developers in…

Software Engineering · Computer Science 2014-09-24 Hans Grönninger , Jochen Hartmann , Holger Krahn , Stefan Kriebel , Lutz Rothhart , Bernhard Rumpe

While recent Vision-Language Models (VLMs) have achieved impressive progress, it remains difficult to determine why they succeed or fail on complex reasoning tasks. Traditional benchmarks evaluate what models can answer correctly, not why…

Computer Vision and Pattern Recognition · Computer Science 2025-11-18 Ieva Bagdonaviciute , Vibhav Vineet

Machine Learning (ML) is an application of Artificial Intelligence (AI) that uses big data to produce complex predictions and decision-making systems, which would be challenging to obtain otherwise. To ensure the success of ML-enabled…

Software Engineering · Computer Science 2021-09-03 Khan Mohammad Habibullah , Jennifer Horkoff

In manufacturing systems, identifying the causes of failures is crucial for maintaining and improving production efficiency. In knowledge-based failure-cause inference, it is important that the knowledge base (1) explicitly structures…

Artificial Intelligence · Computer Science 2025-10-14 Takuma Fujiu , Sho Okazaki , Kohei Kaminishi , Yuji Nakata , Shota Hamamoto , Kenshin Yokose , Tatsunori Hara , Yasushi Umeda , Jun Ota

Global variance-based reliability sensitivity indices arise from a variance decomposition of the indicator function describing the failure event. The first-order indices reflect the main effect of each variable on the variance of the…

Methodology · Statistics 2024-03-20 Iason Papaioannou , Daniel Straub

Measurement error is an important problem that has not been very well studied in the context of Functional Data Analysis. To the best of our knowledge, there are no existing methods that address the presence of functional measurement errors…

Statistics Theory · Mathematics 2018-09-19 Sneha Jadhav , Shuangge Ma

Fault analysis and resolution of faults should be part of any end-to-end system development process. This paper is concerned with developing a formal transformation method that maps control flows modeled in UML Activities to semantically…

Software Engineering · Computer Science 2018-07-25 Charles Dickerson , Rosmira Roslan , Siyuan Ji

We propose an interactive system using foundation models and user-provided technical documents to generate Failure Mode and Effects Analyses (FMEA) for industrial equipment. Our system aggregates unstructured content across documents to…

Databases · Computer Science 2025-09-23 Duygu Kabakci-Zorlu , Fabio Lorenzi , John Sheehan , Karol Lynch , Bradley Eck

Vision-Language Models (VLMs) are increasingly used in safety-critical applications because of their broad reasoning capabilities and ability to generalize with minimal task-specific engineering. Despite these advantages, they can exhibit…

Artificial Intelligence · Computer Science 2026-05-14 Isha Chaudhary , Vedaant V Jain , Kavya Sachdeva , Sayan Ranu , Gagandeep Singh