Systematic Closed-Loop Modelling in IEC 61499 Function Blocks: A Case Study

In industrial automation, verification and validation using closed-loop plant-controller models is getting recognized as the way to verify the controller's logic and the resulting controlled object's behaviour. To tackle the issues preventing wide adoption of closed-loop verification, a model-integrated design framework supporting structural model development and verification has been recently proposed. This work presents a follow-up case study of the proposed model design methodology following the Model-View-Control design pattern to develop closed-loop models using IEC 61499 function blocks. In particular, this paper tries to identify and address the generic issues of closed-loop modelling and the issues specific to IEC 61499 function block model development.