The Fault Tolerant Černý Finite State Machine: a Concept and VHDL Models

There is a well-known problem named a Finite State Machine (FSM) synchronization in discrete mathematic or the road coloring problem in graph theory. In such area, Černý-Starke conjecture was solved by Trahtman in 2007. Applications of the FSM (herein after in this paper referred to as the Černý FSM) for reliability, safety and dependability can be considered as a new important direction in various domains such as Internet of Things and cyber physical systems, embedded electronics and quantum computing, cyber security and resilience etc. This paper discusses ways of the fault tolerant FSM development using Trahtman theorem. The authors investigate the binary Černý FSM with eight states, simulate logic circuit, and formulate problem of the reset paths conserving for some fault model.