A large number of ship locks in the Netherlands require renovation as they reach their end of life-cycle or do not adhere to the changing environment. These renovations imply the redesign of their control software. This paper explores the use of synthesis-based engineering (SBE) to achieve correct-by-construction supervisory controllers for these systems. To address the complexity and scale of this task, a configurator for SBE models is proposed, enabling the automated generation of controllers and model simulation based on mechanical parameters. The accompanying tool improves efficiency, quality, and reduces human error and is already in use for ship lock supervisors in Lelystad and Maasbracht. Although developed for ship locks, the structure of the tool is adaptable to support other families of systems.
Baubekova et al. (Wed,) studied this question.