Automatic error correction based on discrete controller synthesis
Résumé
The Discrete Controller Synthesis technique is used for automatic correction of design bugs in discrete event systems. A design method is proposed and illustrated extensively on a simple yet realistic example, modelling a serial to parallel converter. Simulation results show that this automatic error correction method can effectively mask errors without human intervention inside the design code. This automatic approach is more efficient and reliable than the traditional manual bug correction.