A data processing model of IEC 61499 function blocks with integer-valued data types
Intelligent Manufacturing Systems, Volume # 9 | Part# 1
Gerber, Christian; Ivanova-Vasileva, Ioanna; Hanisch, Hans-Michael
Digital Object Identifier (DOI)
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.
 Becker, B., Drechsler, R., and Molitor, P. (2005). Technische Informatik - Eine 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 IEEE Conference on Emerging Technologies and Factory Automation (ETFA'03), volume vol. II, 253-260. Proceedings, Lisbon, Protugal.  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.  Heiner, M. and Menzel, T. (1998). Instruction list verification using petri net semantics. In IEEE Int. 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. Sofia.  Ivanova-Vasileva, I., Gerber, C., and Hanisch, H.M. (2008). Transformation of the execution control proposed by the iec 61499 to formal models with the focus on integervalued data types. In 9th IFAC Workshop on Intelligent Manufacturing Systems. unpublished.  Pinzon, L., Jafari, M.A., Hanisch, H.M., and Zhao, P. (2004). Modelling admissible behavior using event signals. In IEEE Transactions on Systems, Man, and Cybernetics Part B: Cybernetics, volume 34, 1435-1448.  Schiffmann, W. and Schmitz, R. (2001). Technische Informatik 1. Springer Verlag.  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). 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 IEEE International Conference on Industrial Informatics(INDIN), 31-37.  Vyatkin, V. and Hanisch, H.M. (2000). Modelling of iec61499 function blocks as a clue to their verification. In Design and optimization of intelligent machine tools. Proceedings, Karpacz, Poland.