On Definition of a Formal Model for IEC 61499 Function Blocks

On Definition of a Formal Model for IEC 61499 Function Blocks

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 th...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:EURASIP journal on embedded systems 2008, Vol.2008, p.1-10
Hauptverfasser: Dubinin, Victor, Vyatkin, Valeriy
Format: Artikel
Sprache:eng
Schlagworte:
Architectural engineering
Colleges & universities
Computer engineering
Embedded systems
Syntax
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
ISSN:1687-3955
1687-3963
1687-3963
DOI:10.1155/2008/426713