Towards a formal semantic model of IEC 61499 function blocks

2006 IEEE International Conference on Industrial Informatics, INDIN'06

Volumn , Issue , 2006, Pages 6-11

  Dubinin, V ^a   Vyatkin, V ^b  

^a PENZA STATE UNIVERSITY   (Russian Federation)

^b UNIVERSITY OF AUCKLAND   (New Zealand)

Author keywords

[No Author keywords available]

Indexed keywords

FUNCTIONAL ANALYSIS; INFORMATION SYSTEMS; MATHEMATICAL MODELS;

FUNCTION BLOCKS; SEMANTIC MODELS;

SEMANTICS;

EID: 38949103373     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/INDIN.2006.275709     Document Type: Conference Paper

References (16)

1. Function blocks for industrial-process measurement and control systems - Part 1: Architecture, International Electrotechnical Commission, Geneva, 2005
2. Function Block Development Kit (FBDK), http://www.holobloc.com/doc/fbdk/ index.htm
3. Vyatkin V., Hanisch H.-M. A modelling approach for verification of IEC1499 function blocks using Net Condition/Event Systems, Proc. IEEE conference onEmerging Technologies in Factory Automation (ETFA'99), Barcelona, Spain, 1999, pp. 261-270
4. H. Wurmus, B. Wagner, IEC 61499 konforme Beschreibung verteilter Steuerungen mit Petri-Netzen, Conference Verteilte Automatisierung Proceedings, Magdeburg, 2000
5. Stanica P., Oueguen H. Using Timed Automata for the Verification of IEC 61499 Applications, IFAC Workshop on Discrete Event Systems (WODES'04), Reims, France, 2004
6. Faure J.M., Lesage J.J., Schnakenbourg C., Towards IEC 61499 function blocks diagrams verification, IEEE Int. Conference on Systems, Man and Cybernetics (SMC02), October 6-9, Hammamet, Tunisia, 2002
7. Lueder, C. Schwab, M. Tangermann, and J. Peschke. Formal models for the verification of IEC 61499 function block based control applications. IEEE Conference on Emerging Technologies and Factory Automation (ETFA'2005), Proceedings, Catania, Italy, September 2005.
8. V. Dubinin, V. Vyatkin "Formalized definition and modelling of IEC 61499 function block systems", Letters of Tertiary Education Institutions, Volga region, Russia, Penza State University Publishers, 2005, N 5, pp.76-89
9. K. Thramboulidis, O. Doukas, A. Frantzis. Towards an Implementation Model for FB-based Reconfigurable Distributed Control Applications, 7th IEEE International Symposium on Object-oriented Real-time distributed Computing, ISORC 2004
10. rd IEEE Conference on Industrial Informatics, Proceedings, Perth, Australia, August 2005.
11. nd IEEE Conference on Industrial Informatics, Proceedings, Berlin, June 2004.
12. th IEEE Conference on Industrial Informatics, Singapore, 2006, Proceedings
13. J. Christensen, remark on the execution semantic in the new version of FBDK 2006, March, - private communication.
14. th IEEE Conference on Industrial Informatics (INDIN 2006), Proceedings, Berlin, June 2004
15. Handbook of Graph Grammars and Computing by Graph Transformation, World Scientific Publishing, 1997-99, vol. 1 (ed. Grzegorz Rozenberg)
16. th IEEE Conference on Industrial Informatics (INDIN 2006), Proceedings, Singapore, 2006