AI Chat AI Image Generator AI Video Text to Speech

From Function to Failure

10/17/2022

∙

by Hamid Jahanian, et al.

∙

∙

Failure Mode Reasoning (FMR) is a method for formal analysis of system-related faults. The method was originally developed for identifying failure modes of safety-critical systems based on an analysis of their programs. In this paper, we generalize the method and present a mathematical framework for its use in model-based system and safety analyses. We explain the concepts, formalize the method, formulate models for example systems, and discuss the practical application of the method.

page 1

page 2

page 3

page 4

research

∙ 07/20/2020

Reasoning with failures

Safety Instrumented Systems (SIS) protect major hazard facilities, e.g. ...

0 Hamid Jahanian, et al. ∙

research

∙ 05/11/2020

Failure Mode Reasoning in Model Based Safety Analysis

Failure Mode Reasoning (FMR) is a novel approach for analyzing failure i...

0 Hamid Jahanian, et al. ∙

research

∙ 09/15/2020

Modeling Hierarchical System with Operads

This paper applies operads and functorial semantics to address the probl...

0 Spencer Breiner, et al. ∙

research

∙ 07/05/2023

Jailbroken: How Does LLM Safety Training Fail?

Large language models trained for safety and harmlessness remain suscept...

0 Alexander Wei, et al. ∙

research

∙ 11/22/2018

Oversight of Unsafe Systems via Dynamic Safety Envelopes

This paper reviews the reasons that Human-in-the-Loop is both critical f...

0 David Manheim, et al. ∙

research

∙ 09/26/2022

Hazard Analysis of Collaborative Automation Systems: A Two-layer Approach based on Supervisory Control and Simulation

Safety critical systems are typically subjected to hazard analysis befor...

0 Tom P. Huck, et al. ∙

research

∙ 10/10/2017

Causality and Temporal Dependencies in the Design of Fault Management Systems

Reasoning about causes and effects naturally arises in the engineering o...

0 Marco Bozzano, et al. ∙