On Definition of a Formal Model for IEC 61499 Function Blocks

被引：21

作者：

Dubinin, Victor ^{[1
]}

Vyatkin, Valeriy ^{[2
]}

机构：

[1] Univ Penza, Dept Comp Engn, Penza 440026, Russia

[2] Univ Auckland, Fac Engn, Dept Elect & Comp Engn, Auckland 1142, New Zealand

来源：

EURASIP JOURNAL ON EMBEDDED SYSTEMS | 2008年 / 01期

关键词：

D O I：

10.1155/2008/426713

中图分类号：

TM [电工技术]; TN [电子技术、通信技术];

学科分类号：

0808 ; 0809 ;

摘要：

Formal model of IEC 61499 syntax and its unambiguous execution semantics are important for adoption of this international standard in industry. This paper proposes some elements of such a model. Elements of IEC 61499 architecture are defined in a formal way following set theory notation. Based on this description, formal semantics of IEC 61499 can be defined. An example is shown in this paper for execution of basic function blocks. The paper also provides a solution for flattening hierarchical function block networks. (C) 2008 V.Dubinin and V.Vyatkin.

引用

页数：10

共 13 条

[1]

CENGIC G, 2006, P 11 IEEE INT C EM T

[2]

Dubinin V, 2006, IEEE INT C EMERG, P764

[3]

Faure J.-M., 2002, P IEEE INT C SYST MA, V3, P210

[4] Implementation approaches for the execution model of IEC 61499 applications [J].

Ferrarini, L ;

Veber, C .

2004 2ND IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS: COLLABORATIVE AUTOMATION - ONE KEY FOR INTELLIGENT INDUSTRIAL ENVIRONMENTS, 2004, :612-617

[5]

Ferrarini Luca, 2006, 2006 4th IEEE International Conference on Industrial Informatics, P25, DOI 10.1109/INDIN.2006.275712

[6]

*INT EL COMM, 2005, FUNCT BLOCKS IND P 1

[7]

Martinez Lastra JL, 2005, 2005 3RD IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), P80

[8]

Stanica P., 2004, P INT FED AUT CONTR

[9]

Sunder C., 2006, P 4 IEEE C IND INF I

[10]

Vyatkin V., 1999, 1999 7th IEEE International Conference on Emerging Technologies and Factory Automation. Proceedings ETFA '99 (Cat. No.99TH8467), P261, DOI 10.1109/ETFA.1999.815365

← 1 2 →