Reconfigurable logic control using modular FSMs: Design, verification, implementation, and integrated error handling

This paper describes the design and implementation of logic controllers on a small-scale machining line testbed using modular finite state machines. The logic is verified to be internally correct before being implemented on the testbed. Reconfiguration of the controller for a new manufacturing scenario is demonstrated, as is the integration of error handling. The ease of use of this modular finite state machine design methodology is discussed, as is the complexity of the resulting designs. Algorithms are presented for design, reconfiguration, and error handling integration.