On definition of a formal model for IEC 61499 function blocks

Eurasip Journal on Embedded Systems

Volumn 2008, Issue 1, 2008, Pages

  Dubinin, Victor ^a   Vyatkin, Valeriy ^b  

^a PENZA STATE UNIVERSITY   (Russian Federation)

^b UNIVERSITY OF AUCKLAND   (New Zealand)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 41149153833     PISSN: 16873955     EISSN: 16873963     Source Type: Journal    
DOI: 10.1155/2008/426713     Document Type: Article

References (15)

1. A. Zoitl zoitl@acin.tuwien.ac.at G. Grabmair gu.grabmair@fh-wels.at F. Auinger f.auinger@fh-wels.at C. Sünder suender@acin.tuwien.ac.at Executing real-time constrained control applications modelled in IEC 61499 with respect to dynamic reconfiguration. Proceedings of the 3rd IEEE International Conference on Industrial Informatics (INDIN '05) 2005 2005 Perth, Australia 62 67
2. C. Sünder A. Zoitl J. H. Christensen Usability and interoperability of IEC 61499 based distributed automation systems. Proceedings of the 4th IEEE Conference on Industrial Informatics (INDIN '06) Singapore 2006
3. L. Ferrarini ferrarin@elet.polimi.it C. Veber veber@elet.polimi.it Implementation approaches for the execution model of IEC 61499 applications. Proceedings of the 2nd IEEE International Conference on Industrial Informatics (INDIN '04) Berlin, Germany 2004 612 617
4. Function block development kit (FBDK). http://www.holobloc.com/doc/fbdk/ index.htm
5. G. Čengić O. Ljungkrantz K. kesson Formal modeling of function block applications running in IEC 61499 execution runtime. Proceedings of the 11th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA '06) Prague, Czech Republic 2006
6. 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
7. L. Ferrarini M. Romanò C. Veber Automatic generation of AWL code from IEC 61499 applications. Proceedings of the 4th IEEE Conference on Industrial Informatics (INDIN '06) Singapore 2006 25 30
8. J. L. M. Lastra L. Godinho A. Lobov R. Tuokko An IEC 61499 application generator for scan-based industrial controllers. Proceedings of the 3rd IEEE Conference on Industrial Informatics (INDIN '05) Perth, Australia 2005 80 85
9. V. Vyatkin H.-M. Hanisch Modeling approach for verification of IEC1499 function blocks using net condition/event systems. Proceedings of the IEEE Symposium on Emerging Technologies and Factory Automation, (ETFA '09) 1 1999 Barcelona, Spain 261 270
10. H. Wurmus B. Wagner IEC 61499 konforme beschreibung verteilter steuerungen mit petri-netzen. Proceedings of the Conference on Verteilte Automatisierung Magdeburg, Germany 2000
11. P. Stanica H. Gueguen Using timed automata for the verification of IEC 61499 applications. Proceedings of the International Federation of Automatic Control Workshop on Discrete Event Systems (WODES '04) Reims, France 2004
12. J.-M. Faure faure@lurpa.ens-cachan.fr J.-J. Lesage lesage@lurpa.ens- cachan.fr C. Schnakenbourg schnakenbourg@lurpa.ens-cachan.fr Towards IEC 61499 function blocks diagrams verification. Proceedings of the IEEE International Conference on Systems, Man and Cybernetics (SMC '02) 3 2002 Hammamet, Tunisia 210 215
13. O'neida workgroup on execution semantic of IEC61499. http://www.oooneida. org/standards_development_Compliance_Profile.html
14. V. Dubinin V. Vyatkin Using prolog for modelling and verification of IEC 61499 function blocks and applications. Proceedings of the11th IEEE Conference On Emerging Technologies and Factory Automation (ETFA '06) Prague, Czech Republic 2006 774 781
15. Function blocks for industrial-process measurement and control systems - part 1: architecture. International Electrotechnical Commission, Geneva, Switzerland, 2005