A Data processing Model of IEC 61499 Function Blocks with Integer-Valued Data Types

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. Since controller interact with the plant not only via boolean values but via integer-valued data as well, a model of the data processing inside the controller is needed. As formal model we will use the known Net Condition/Event Systems (NCES) and it will be shown exemplarily at the basic arithmetical operations adding and subtracting as well as at the comparison of boolean and integer-valued data how the statements inside the algorithms have to be transformed to the formal model. Consequential, rules will be defined for the transformation of statements with boolean and integer-valued data processing. These will be embedded into the approach of transforming IEC 61499 control system but are not limited to this.