DEScMaker: A tool for automated code generation for discrete event systems controllers

The Supervisory Control Theory (SCT ) is a formal approach that allows computing correct-by-construction controllers for Discrete Event Systems (DESs ), having Finite State Machines (FSMs ) as its basic building block. Usually, tools that implement SCT operations over FSMs have resources for the design, processing, simulation, synthesis, and verification, but not for implementation, including code generation resources. Without them, designers still must manually code the control solution, shedding the practical appeal of SCT. This paper claims that SCT can more smoothly meet automated implementation via the proposed DEScMaker tool. It receives an FSM representing the output of the SCT synthesis and converts it into C or $Python$ code that preserves the idea of event controllability, maximum permissiveness within a set of specifications, and non-blockingness. The tool handles both centralized and modular architectures, and its output is a generic implementation structured in layers, with supervisors, an event handler, and the interface between software and hardware, which requires minimal effort to be customized for each target platform. Examples illustrate the approach and allow for quantifying its gains compared with empirical programming.