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.

翻译：致歉模式(FMR)是正式分析系统相关缺陷的一种方法,最初是根据其程序分析确定安全临界系统故障模式的方法。在本文中,我们概括了该方法,并提出了一个数学框架,用于模型系统和安全分析。我们解释这些概念,正式确定该方法,制定模型,例如系统,并讨论方法的实际应用。