Abstract

Fault detection is an important task in the design of fault-tolerant state machines. Structural models of Moore finite-state machines are proposed to detect multiple faults in various elements of the finite-state machine and prevent their negative impact on the controlled object. The structural models under consideration make it possible to detect invalid input and output vectors both in each state and for the entire automaton, invalid code of the current and next state of the automaton, and invalid transitions between states. The costs of implementing the proposed structures by area range on average from 3 to 26%, and the speed of the machine either does not change or even increases by an average of 24–30%. Estimates of the area and performance of the proposed structural models of finite-state machines are given, and recommendations for their practical use are given. It is shown that the choice of a suitable structure allows us not to increase the area, and in some cases even leads to an increase in the performance of the finite-state machine.

中文翻译：

---

摩尔有限状态机故障检测的结构模型

摘要

故障检测是容错状态机设计中的一项重要任务。提出了摩尔有限状态机的结构模型来检测有限状态机各个元件中的多重故障并防止其对受控对象产生负面影响。所考虑的结构模型使得能够检测每个状态和整个自动机的无效输入和输出向量、自动机的当前和下一个状态的无效代码以及状态之间的无效转换。按面积实施拟议结构的成本平均为 3% 至 26%，而机器的速度要么没有改变，甚至平均增加 24% 至 30%。给出了所提出的有限状态机结构模型的面积和性能的估计，并给出了其实际使用的建议。结果表明，选择合适的结构可以使我们在不增加面积的情况下，在某些情况下甚至可以提高有限状态机的性能。