Formal modelling of IEC 61499 function blocks with integer-valued data types

• Autorzy: Gerber C. , Ivanova-Vasileva I. , Hanisch H. M.
• Języki publikacji: EN

Abstrakty

EN

During the last couple of years a lot of component- or object-oriented approaches have been presented to ease the implementation and reconfiguration of distributed control systems. Using these frameworks, the structure of the control objects follows the configuration of the mechanical components, and each object is instantiated as often as the corresponding device occurs in a plant. Having an object library, a control engineer will glue objects together, which means, in the context of the IEC 61499, connecting function blocks by event and data connections. This rapid way of implementation and reconfiguration makes also high demands on the verification process, which has to be done after each change. This means that the model of the plant has to be updated and the model of the distributed controllers have to be automatically generated to connect both in a closed loop. Both formal models should be modular to manage even large systems. Furthermore, the controller must be able to interact with the plant not only via Boolean data but via integer-valued data as well. Thus, the existing verification approaches have to be extended and an execution and a data processing model defined. The execution model includes the function block interface and the Execution Control Chart as well as their interconnections. For the arithmetical operations of adding and subtracting as well as the comparison of Boolean and integer-valued data it is shown how the data processing inside the function blocks has to be transformed to the formal model. Consequently, rules are defined for the transformation of the execution and data processing of function blocks with Boolean and integer-valued data. Due to the proposed separation, the resulting data processing model is not limited to IEC 61499 Basic Function Blocks. As formal model, Net Condition/Event modules (NCEM) and structures are used. Modelling of the plant and the analysis of the resulting closed-loop behaviour are presented using a small, but realistic manufacturing system.

Słowa kluczowe

EN

modelling; verification; net condition/event systems; IEC 61499; closed-loop behaviour

• Wydawca: Systems Research Institute, Polish Academy of Sciences
• Czasopismo: Control and Cybernetics
• Rocznik: 2010
• Tom: Vol. 39, no 1
• Strony: 197--231
• Opis fizyczny: Bibliogr. 30 poz., rys., wykr.

Twórcy

autor

Gerber C.

autor

Ivanova-Vasileva I.

autor

Hanisch H. M.

• Chair of Automation Technology, Institute of Computer Science Martin Luther University of Halle-Wittenberg, Kurth-Mothes-Str. 1, D-06120 Halle/Saale, Germany

Bibliografia

• BECKER, B., DRECHSLER, R. and MOLITOR, P. (2005) Technische Informatik - Sine Einführung. Pearson Studium, München.
• BONFE, M. and FANTUZZI, C. (2003) Design and verification of mechatronic object-oriented models for industrial control systems. In: International Conference on Emerging Technologies and Factory Automation (ETFA’03), II, 253-260. Proceedings, Lisbon, Portugal.
• BRENNAN, R., VRBA, P., TICHY, P., ZOITL, A., SUENDER, C., STRASSER, T. and MARIK, V. (2008) Developments in dynamic and intelligent reconfiguration of industrial automation. Computers in Industry 59 (6), 533-547. 10.1016/j.compind.2008.02.001.
• DIMITROVA, D., FREY, G. and BATCHKOVA, I. (2007) Sequential control at the supervisory level of batch plant using signal interpreted Petri nets. In: International Conference Automatics and Informatics (CAI’07), V-17-V-20. Proceedings, Sofia, Bulgaria.
• DUBININ, V. and VYATKIN, V. (2008) On definition of a formal model for IEC 61499 function blocks. EURASIP Journal of Embedded Systems 2008, 1-10. 10.1155/2008/426713.
• FISLER, K. (1999) Timing diagrams: Formalization and algorithmic verification. Journal of Logic, Language, and Information 8 (3), 323-361. 10.1023/A:1008345113376.
• FREY, G. and HUSSAIN, T. (2006) Modeling techniques for distributed control systems based on the IEC 61499 standard - current approaches and open problems. In: 8th International Workshop for Discrete Event Systems (WODES 2006), 176-181. Ann Arbor, Michigan, USA.
• GERBER, C. (2008a) Enas project demonstrator. http://aut. informatik.uni-halle.de/forschung/enas_demo.
• GERBER, C. (2008b) Verification of the gripper station. http://aut.informa-tik.uni-halle.de/forschung/enasjdemo/gripper.
• GERBER, C., HIRSCH, M. and HANISCH, H.M. (2009) Automatisierungeiner energieautarken Fertigungsanlage nach IEC 61499. Automatisierungstechnische Praxis, 03/09, 44-52. München, Germany.
• HANISCH, H.M., KEMPER, P. and LUEDER, A. (1999) A modular and compositional approach to modeling and controller verification of manufacturing system. In: 14th IFAC World Congress, 187-192. Proceedings, Beijing, P.R. China.
• HEINER, M. and MENZEL, T. (1998) Instruction list verification using Petri net semantics. In: International Conference on Systems, Man, and Cybernetics, 716-721. Proceedings, San Diego.
• IVANOVA-VASILEVA, I., GERBER, C. and HANISCH, H.M. (2007) Transformation of IEC 61499 control systems to formal models. In: International Conference Automatics and Informatics (CAI’07), V-5-V-10. Proceedings, Sofia, Bulgaria.
• KAMADA, T. and KAWAI, S. (1989) An algorithm for drawing general undirected graphs. Information Processing Letters 31 (1), 7-15. 10.1016/0020-0190(89)90102-6.
• MAFFEZZONI, C., FERRARINI, L. and CARPANZANO, E. (1999) Object-oriented models for advanced automation engineering. Control Engineering Practice, 7 (8), 957-968. 10.1016/S0967-0661(99)00074-X.
• MISSAL, D., HIRSCH, M. and HANISCH, H.M. (2007) Hierarchical distributed controllers - design and verification. In: International Conference on Emerging Technologies and Factory Automation (ETFA’07), 657-664. Proceedings, Patras, Greece.
• PINZON, L., JAFARI, M.A., HANISCH, H.M. and ZHAO, P. (2004) Modeling admissible behavior using event signals. IEEE Transactions on Systems, Man, and Cybernetics Part B: Cybernetics, 34, 1435-1448. 10.1109/ TSMCB.2004.825915.
• PREUSSE, S. and HANISCH, H.M. (2008) Specification and verification of technical plant behavior with symbolic timing diagrams. In: 3rd International Design and Test Workshop (IDT’08), 313-318. Proceedings, Monastir, Tunisia.
• READMAN, M. (2005) Servo Control Systems 2: Digital Servomechanisms. TQ Education and Training Ltd. http://control-systems-principles.co.uk/ whitepapers/servo-control-systems2.pdf.
• SCHIFFMANN, W. and SCHMITZ, R. (2001) Technische Informatik 1. Springer Verlag.
• SCHLOER, R., JOSKO, B. and WERTH, D. (1998) Using a visual formalism for design verification in industrial environments. In: Lecture Notes in Computer Science, 1385, 208-221. Springer-Verlag. 10.1007/BFb0053491.
• STANICA, M. and GUEGUEN, H. (2003) A timed automata model of IEC 61499 basic function blocks semantic. In: Euromicro European Conference on Real-Time Systems (ECRTS’03), 385-390. Proceedings, Porto, Portugal.
• SUENDER, C., ZOITL, A., CHRISTENSEN, J.H., VYATKIN, V., BRENNAN, R.W., VALENTINI, A., FERRARINI, L., STRASSER, T., MARTINEZ-LASTRA, J.L. and AUINGER, F. (2006) Usability and interoperability of IEC 61499 based distributed automation systems. In: International Conference on Industrial Informatics (INDIN’06), 31-37. Procedings, Singapore.
• VYATKIN, V. and BOUZON, G. (2008) Using visual specifications in verification of industrial automation controllers. EURASIP Journal on Embedded Systems. 10.1155/2008/251957.
• VYATKIN, V. and HANISCH, H.M. (1999) A modeling approach for verification of IEC 1499 function blocks using net condition / event systems. In: Proc. Int. Conf. on Emerging Technologies and Factory Automation (ETFA ‘99), Catalonia, Spain, 261-269.
• VYATKIN, V. and HANISCH, H.M. (2000) Modelling of IEC 61499 function blocks as a clue to their verification. In: Design and optimization of intelligent machine tools, 59-68. Proceedings, Karpacz, Poland.
• VYATKIN, V. and HANISCH, H.M. (2003) Verification of distributed control systems in intelligent manufacturing. Journal of Intelligent Manufacturing 14 (1), 123-136. 10.1023/A:1022295414523.
• VYATKIN, V. and HANISCH, H.M. (2005) Reuse of components in formal modelling and verification of distributed control systems. In: International Conference on Emerging Technologies and Factory Automation (ETFA ‘05), 129-134. Proceedings. Catania, Italy.
• VYATKIN, V., KARRAS, S. and PFEIFFER, T. (2005) An architecture for automation system development based on IEC 61499 standard. In: International Conference on Industrial Informatics (INDIN’05), 13-18. Proceedings, Perth (Piscataway - Western Australia).
• ZHANG, J., GU, J., LI, P. and DUAN, Z. (1999) Object-oriented modeling of control system for agile manufacturing cells. International Journal of Production Economics 62 (1-2), 145-153. 10.1016/80925-5273(98)00227-8.