Finite State Machines (FSMs) are fundamental in both hardware design and software development. However, the reliability of FSM computations remains poorly understood. Existing reliability analyses are mainly designed for generic computations and are unaware of the special error tolerance characteristics in FSM computations. This work introduces RelyFSM -- a state-level reliability analysis framework for FSM computations. By modeling the behaviors of unreliable FSM executions and qualitatively reasoning about the transition structures, RelyFSM can precisely capture the inherent error tolerance in FSM computations. Our evaluation with real-world FSM benchmarks confirms both the accuracy and efficiency of RelyFSM.

中文翻译：

---

不可靠 FSM 计算的可靠性分析

有限状态机 (FSM) 是硬件设计和软件开发的基础。然而，FSM 计算的可靠性仍然知之甚少。现有的可靠性分析主要是为通用计算设计的，并没有意识到 FSM 计算中特殊的容错特性。这项工作介绍了 RelyFSM——一种用于 FSM 计算的状态级可靠性分析框架。通过对不可靠的 FSM 执行行为进行建模并对转换结构进行定性推理，RelyFSM 可以精确地捕获 FSM 计算中固有的容错性。我们对真实世界 FSM 基准的评估证实了 RelyFSM 的准确性和效率。