EURASIP Journal on Embedded Systems

, 2008:426713 | Cite as

On Definition of a Formal Model for IEC 61499 Function Blocks

  • Victor Dubinin
  • Valeriy Vyatkin
Open Access
Research Article
Part of the following topical collections:
  1. Embedded System Design in Intelligent Industrial Automation


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.


Basic Function Formal Model Control Structure Electronic Circuit Full Article 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Publisher note

To access the full article, please see PDF.

Copyright information

© V. Dubinin and V. Vyatkin. 2008

This article is published under license to BioMed Central Ltd. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Authors and Affiliations

  1. 1.Department of Computer EngineeringUniversity of PenzaPenzaRussia
  2. 2.Department of Electrical and Computer Engineering, Faculty of EngineeringUniversity of AucklandAucklandNew Zealand

Personalised recommendations