Skip to content

Advertisement

  • Research Article
  • Open Access

On Definition of a Formal Model for IEC 61499 Function Blocks

EURASIP Journal on Embedded Systems20072008:426713

https://doi.org/10.1155/2008/426713

  • Received: 29 January 2007
  • Accepted: 8 October 2007
  • Published:

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.

Keywords

  • Basic Function
  • Formal Model
  • Control Structure
  • Electronic Circuit
  • Full Article

Publisher note

To access the full article, please see PDF.

Authors’ Affiliations

(1)
Department of Computer Engineering, University of Penza, Krasnaya Street 40, Penza, 440026, Russia
(2)
Department of Electrical and Computer Engineering, Faculty of Engineering, University of Auckland, Auckland, 1142, New Zealand

Copyright

Advertisement