A tool-assisted approach for user-friendly definition of FB constraints

High demands regarding correctness and robustness are placed on control programs. Modern tools can support developers in the creation of programs. The focus of this article is on the explicit modeling of implicit knowledge of developers, as this information is necessary for the automatic validation of programs. In this article, we present a concept for defining constraints at the interface of function modules. These are intended to capture assumptions about the behavior of other components or the physical environment and form the basis for generated monitoring blocks.