English
Related papers

Related papers: Failure Mode Reasoning in Model Based Safety Analy…

200 papers

The paper addresses the issue of reliability of complex embedded control systems in the safety-critical environment. In this paper, we propose a novel approach to design controller that (i) guarantees the safety of nonlinear physical…

Systems and Control · Computer Science 2018-12-11 Pushpak Jagtap , Fardin Abdi , Matthias Rungger , Majid Zamani , Marco Caccamo

This paper introduces a Fault Diagnosis (Detection, Isolation, and Estimation) method using Set-Membership Estimation (SME) designed for a class of nonlinear systems that are linear to the fault parameters. The methodology advances fault…

Robotics · Computer Science 2024-11-06 A. Tsolakis , L. Ferranti , V. Reppa

To enable highly automated vehicles where the driver is no longer a safety backup, the vehicle must deal with various Functional Insufficiencies (FIs). Thus-far, there is no widely accepted functional architecture that maximizes the…

Robotics · Computer Science 2024-01-17 C. A. J. Hanselaar , E. Silvas , A. Terechko , W. P. M. H. Heemels

The Functional Failure Rate analysis of today's complex circuits is a difficult task and requires a significant investment in terms of human efforts, processing resources and tool licenses. Thereby, de-rating or vulnerability factors are a…

Signal Processing · Electrical Eng. & Systems 2020-02-27 Thomas Lange , Aneesh Balakrishnan , Maximilien Glorieux , Dan Alexandrescu , Luca Sterpone

This research article presents a methodical data-based approach to systematically identify key factors in safety-related failure scenarios, with a focus on complex product-environmental systems in the era of Industry 4.0. The study…

Software Engineering · Computer Science 2024-02-29 Tim Maurice Julitz , Nadine Schlüter , Manuel Löwer

Stateflow models are complex software models, often used as part of industrial safety-critical software solutions designed with Matlab Simulink. Being part of safety-critical solutions, these models require the application of rigorous…

Software Engineering · Computer Science 2022-09-29 Predrag Filipovikj , Gustav Ung , Dilian Gurov , Mattias Nyberg

SRAM-based FPGAs are increasingly popular in the aerospace industry due to their field programmability and low cost. However, they suffer from cosmic radiation induced Single Event Upsets (SEUs). In safety-critical applications, the…

Performance · Computer Science 2017-03-07 Khaza Anuarul Hoque , Otmane Ait Mohamed , Yvon Savaria

Dependability modeling and evaluation is aimed at investigating that a system performs its function correctly in time. A usual way to achieve a high reliability, is to design redundant systems that contain several replicas of the same…

Artificial Intelligence · Computer Science 2012-12-12 Andrea Bobbio , Stefania Montani , Luigi Portinale

Machine Learning (ML) models, such as deep neural networks, are widely applied in autonomous systems to perform complex perception tasks. New dependability challenges arise when ML predictions are used in safety-critical applications, like…

Machine Learning · Computer Science 2024-12-11 Raul Sena Ferreira , Joris Guérin , Kevin Delmas , Jérémie Guiochet , Hélène Waeselynck

Cause-consequence Diagram (CCD) is widely used as a deductive safety analysis technique for decision-making at the critical-system design stage. This approach models the causes of subsystem failures in a highly-critical system and their…

Formal Languages and Automata Theory · Computer Science 2021-01-21 Mohamed Abdelghany , Sofiene Tahar

We propose a set of goodness-of-fit tests for the semiparametric accelerated failure time (AFT) model, including an omnibus test, a link function test, and a functional form test. This set of tests is derived from a multi-parameter…

Methodology · Statistics 2023-05-22 Dongrak Choi , Woojung Bae , Jun Yan , Sangwook Kang

The failure of hardware or software in a critical system can lead to loss of lives. The design errors can be main source of the failures that can be introduced during system development process. Formal techniques are an alternative approach…

Software Engineering · Computer Science 2014-07-04 Dominique Méry , Neeraj Kumar Singh

With increased developments and interest in cooperative driving and higher levels of automation (SAE level 3+), the need for safety systems that are capable to monitor system health and maintain safe operations in faulty scenarios is…

Optimization and Control · Mathematics 2023-04-03 Niels Lodder , Chris van der Ploeg , Laura Ferranti , Emilia Silvas

The fundamental frequency is one of the parameters that define power quality. Correctly determining this parameter under the conditions that prevail in modern power grids is crucial. Diagnostic purposes often require an efficient estimation…

Signal Processing · Electrical Eng. & Systems 2026-01-26 Antonio Bracale , Pasquale De Falco , Piotr Kuwałek , Grzegorz Wiczyński

Safety assessment plays a fundamental role in developing a new drug via clinical trials for ethical considerations. Due to complexity, manual review is typically conducted on the totality of data to draw safety conclusions. There are some…

Applications · Statistics 2026-05-06 Tianyu Zhan , Yabing Mai , Yihua Gu , Thao Doan , Xun Chen

If a Micro Processor Unit (MPU) receives an external electric signal as noise, the system function will freeze or malfunction easily. A new resilience strategy is implemented in order to reset the MPU automatically and stop the MPU from…

Software Engineering · Computer Science 2014-05-08 Ling Fang , Yoriyuki Yamagata , Yutaka Oiwa

Before autonomous systems can be deployed in safety-critical applications, we must be able to understand and verify the safety of these systems. For cases where the risk or cost of real-world testing is prohibitive, we propose a…

Robotics · Computer Science 2023-09-18 Charles Dawson , Chuchu Fan

Surgical phase recognition (SPR) is crucial for applications in workflow optimization, performance evaluation, and real-time intervention guidance. However, current deep learning models often struggle with fragmented predictions, failing to…

Image and Video Processing · Electrical Eng. & Systems 2025-03-04 Hao Ding , Zhongpai Gao , Benjamin Planche , Tianyu Luan , Abhishek Sharma , Meng Zheng , Ange Lou , Terrence Chen , Mathias Unberath , Ziyan Wu

This paper considers the design-phase safety analysis of vehicle guidance systems. The proposed approach constructs dynamic fault trees (DFTs) to model a variety of safety concepts and E/E architectures for drive automation. The fault trees…

Software Engineering · Computer Science 2019-03-14 Majdi Ghadhab , Sebastian Junges , Joost-Pieter Katoen , Matthias Kuntz , Matthias Volk

Industrial applications often exhibit multiple in-control patterns due to varying operating conditions, which makes a single functional linear model (FLM) inadequate to capture the complexity of the true relationship between a functional…

Methodology · Statistics 2024-10-29 Christian Capezza , Fabio Centofanti , Davide Forcina , Antonio Lepore , Biagio Palumbo