Basics of Modelling IEC 61499 Function Blocks with Integer-Valued Data Types

The best way to prove the correct behaviour of a distributed control system in any case is to do a closed-loop verification of the control system connected with the plant. As formal model we will use the known Net Condition/Event Systems (NCES) and extend the rule-based transformation of the IEC 61499 control system from former publications to the use of complex function blocks interfaces and integer-valued data types. To use variables of these data types at the condition of ECTransitions, the connecting rules between the interface and the Execution Control Chart are expanded. The modelling of the plant as well as the analysis of the reachability graph are presented using a real manufacturing system.