中文
相关论文

相关论文: Failure Mode Reasoning in Model Based Safety Analy…

200 篇论文

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…

系统与控制 · 计算机科学 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…

机器人学 · 计算机科学 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…

机器人学 · 计算机科学 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…

信号处理 · 电气工程与系统科学 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…

软件工程 · 计算机科学 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…

软件工程 · 计算机科学 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…

性能 · 计算机科学 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…

人工智能 · 计算机科学 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…

机器学习 · 计算机科学 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…

形式语言与自动机理论 · 计算机科学 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…

统计方法学 · 统计学 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…

软件工程 · 计算机科学 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…

最优化与控制 · 数学 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…

信号处理 · 电气工程与系统科学 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…

应用统计 · 统计学 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…

软件工程 · 计算机科学 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…

机器人学 · 计算机科学 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…

图像与视频处理 · 电气工程与系统科学 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…

软件工程 · 计算机科学 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…

统计方法学 · 统计学 2024-10-29 Christian Capezza , Fabio Centofanti , Davide Forcina , Antonio Lepore , Biagio Palumbo