Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Synchronous execution of IEC 61499 function blocks using esterel
Department of Electrical and Computer Engineering, University of Auckland.
Department of Electrical and Computer Engineering, University of Auckland.
Department of Electrical and Computer Engineering, University of Auckland.
2007 (English)In: INDIN 2007: 5th IEEE International Conference on Industrial Informatics, [July 23-27 2007, Vienna, Austria], Piscataway, NJ: IEEE Communications Society, 2007, Vol. 2, p. 1189-1194Conference paper, Published paper (Refereed)
Abstract [en]

The IEC 61499 standard proposes a component-oriented approach for specifying industrial-process measurement and control systems using function blocks. Unfortunately, the standard does not provide rigorous semantics for the execution of function blocks, resulting in different behaviours on different implementations. The differences arise mostly as a result of the various event handling and scheduling mechanisms employed. To overcome such ambiguities, this paper proposes synchronous semantics for function block execution by translating function block programs into Esterel, a well-known synchronous language. The mathematical foundation of synchronous languages will not only precisely define the execution semantics, but also open up the pathway for formal verification of function blocks

Place, publisher, year, edition, pages
Piscataway, NJ: IEEE Communications Society, 2007. Vol. 2, p. 1189-1194
Series
I E E E International Conference on Industrial Informatics, ISSN 1935-4576
Identifiers
URN: urn:nbn:se:ltu:diva-37331DOI: 10.1109/INDIN.2007.4384944Local ID: b514615d-191d-4fe2-8c65-570d80dc6390OAI: oai:DiVA.org:ltu-37331DiVA, id: diva2:1010829
Conference
IEEE International Conference on Industrial Informatics : 23/07/2007 - 27/07/2007
Note
Upprättat; 2007; 20130508 (andbra)Available from: 2016-10-03 Created: 2016-10-03 Last updated: 2017-11-25Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full text

Authority records BETA

Vyatkin, Valeriy

Search in DiVA

By author/editor
Vyatkin, Valeriy

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 7 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf