- Research Article
- Open Access
- Published:
On Definition of a Formal Model for IEC 61499 Function Blocks
EURASIP Journal on Embedded Systems volume 2008, Article number: 426713 (2007)
Abstract
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.
Publisher note
To access the full article, please see PDF.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Dubinin, V., Vyatkin, V. On Definition of a Formal Model for IEC 61499 Function Blocks. J Embedded Systems 2008, 426713 (2007). https://doi.org/10.1155/2008/426713
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1155/2008/426713
Keywords
- Basic Function
- Formal Model
- Control Structure
- Electronic Circuit
- Full Article