Alternatives for execution semantics of IEC61499

IEEE International Conference on Industrial Informatics (INDIN)

Volumn 2, Issue , 2007, Pages 1151-1156

  Vyatkin, Valeriy ^a,b   Dubinin, Victor ^c   Veber, Carlo ^d   Ferrarini, Luca ^a,d  

^a IEEE

^b UNIVERSITY OF AUCKLAND   (New Zealand)

^c PENZA STATE UNIVERSITY   (Russian Federation)

^d POLITECNICO DI MILANO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ADMINISTRATIVE DATA PROCESSING; MATHEMATICAL MODELS; NUMERICAL METHODS;

EXECUTION SEMANTICS; SEQUENTIAL HYPOTHESIS;

SEMANTICS;

EID: 39749090516     PISSN: 19354576     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/INDIN.2007.4384938     Document Type: Conference Paper

References (18)

1. Function blocks for industrial-process measurement and control systems - Part 1: Architecture, International Electrotechnical Commission, Geneva, 2005
2. rd IEEE Conference on Industrial Informatics, Proceedings, Perth, Australia, August 2005
3. G. Čengić, O. Ljungkrantz, and K. Åkesson, "Formal Modeling of Function Block Applications Running in IEC 61499 Execution Runtime," in 11th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Prague, September 2006.
4. V. Vyatkin, V. Dubinin, Execution Model of IEC61499 Function Blocks based on Sequential Hypothesis, paper draft, http://www.ece.auckland.ac.nz/~vyatkin/ o3fb/vd_seqsem.pdf
5. V. Vyatkin, V. Dubinin, Sequential Axiomatic Model for Execution of Basic Function Blocks in IEC61499, INDIN, 2007
6. V. Dubinin, V. Vyatkin, On Definition of a Formal Semantic Model for IEC 61499 Function Blocks, Journal of Embedded Systems, 2007, submitted
7. Function Block Development Kit (FBDK), http://www.holobloc.com/doc/fbdk/ index.htm
8. OOONEIDA Workgroup on Execution Semantic of IEC61499: http://www.oooneida.org/standards_development_Compliance_Profile.html
9. th IEEE Conference on Industrial Informatics (INDIN 2006), Proceedings, Singapore, 2006
10. ndp international Conference on Industrial Informatics INDIN'04, 24-26 June 2004, Berlin, Germany
11. nd IEEE Conference on Industrial Informatics, Proceedings, Berlin, June 2004
12. 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
13. th IEEE Conference on Industrial Informatics (INDIN'2006), Singapore, 2006
14. V. Dubinin, V. Vyatkin, H.-M. Hanisch, "Using Prolog for Modelling and Verification of IEC 61499 Function Blocks and Applications", 11th IEEE Conference on Emerging Technologies and Factory Automation (ETFA 2006), Proceedings, Prague, 2006
15. th IEEE Conference on Industrial Informatics (INDIN 2006), Proceedings, Singapore, 2006
16. L. Ferrarini, C. Veber, F. Ferrari, G. Fogliazza, Applied Meta-modelling to convert IEC61499 Applications into Step7 environment, ECC07, European Control Conference 2007, 2-5 luglio 2007, Kos, Greece, accepted.
17. L. Ferrarini, C. Veber, Control function design and implementation of distributed automation systems for manufacturing applications, IJMR, International Journal of Manufacturing Research, Vol. 1, No. 4, Inderscience Enterprises Ltd, 2006, pp. 442-465
18. rd IEEE Conference on Industrial Informatics, Proceedings, Perth, Australia, August 2005