SBE configurator: A model generation tool for synthesis of ship lock supervisors

A large number of ship locks in the Netherlands require renovation. This paper focuses on the application of the synthesis-based engineering (SBE) in the design of supervisory controllers for ship locks, to achieve correct-by-construction control software. A configurator for SBE models for supervisor synthesis is proposed, based on parameters describing the mechanical composition. The accompanying tool, which supports model simulation, demonstrates improvement in time, quality and human error avoidance, and is already being used in the design of ship lock supervisors in Lelystad and Maasbracht. The tool was designed for ship locks but the structure of the tool allows adaptation for other families of systems.