Automatic IEC 61499 Function Block Translation into a formal Model
The task controller of the gripper station of the EnAS testbed presented at the following pictures can be automatically transformed to the formal NCE module shown at the last figure. The translation is done according to the publications of the chair with the software tool TNCES-Workbench implemented at the expert system SWI-Prolog.
The fomal NCE model incorporates event in- and outputs as well as the sampling and publishing of associated data. At the middle the model of the ECC can be found with the model of the ECStates consisting of the the places $_Run, $_sched_Algs and $_Finished and transitions connecting them. Each conjuctive term of the condition at an ECTransition is modeled by a seperate transition connecting the places §_Finished of the previous and $_Run of the succesor ECState. At the top the models of all algorithms are shown. The connection to the output buffer is done by event arcs.
To get a detailed description have a look to the following articles:
- C. Gerber, I. Ivanova-Vasileva, H.-M. Hanisch: "A Data processing Model of IEC 61499 Function Blocks with Integer-Valued Data Types", Proceedings of the 9th IFAC Workshop on Intelligent Manufacturing Systems, pp. 239-244, Szczecin, Poland, 2008 - [PDF]
- I. Ivanova-Vasileva, C. Gerber, H.-M. Hanisch: "Basics of Modelling IEC 61499 Function Blocks with Integer-Valued Data Types", Proceedings of the 9th IFAC Workshop on Intelligent Manufacturing Systems, pp. 233-238, Szczecin, Poland, 2008 - [PDF]
- I. Ivanova-Vasileva, C. Gerber, H.-M. Hanisch: "TRANSFORMATION OF IEC 61499 CONTROL SYSTEMS TO FORMAL MODELS", Proceedings of the International Conference AUTOMATICS AND INFORMATICS’ (CAI`07) proceedings pp. V-5-V-10, Sofia 2007 - [PDF]
The red colored places and transition show the ECC model triggered by the action deposite, at the ECC above marked red also. The same is done for the action performed by recieving the event hold (blue) and close (green).