论文标题
从功能到失败
From Function to Failure
论文作者
论文摘要
故障模式推理（FMR）是对系统相关故障进行正式分析的一种方法。该方法最初是为了基于对程序的分析而开发的，用于识别安全 - 关键系统的故障模式。在本文中，我们概括了该方法，并为其在基于模型的系统和安全分析中使用的数学框架提供了一个数学框架。我们解释了这些概念，正式化了该方法，制定了例如系统模型，并讨论了该方法的实际应用。
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.
