By Topic

Synchronous Execution of IEC 61499 Function Blocks Using Esterel

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

4 Author(s)
Li Hsien Yoong ; Univ. of Auckland, Auckland ; Roop, P. ; Vyatkin, V. ; Salcic, Z.

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.

Published in:

Industrial Informatics, 2007 5th IEEE International Conference on  (Volume:2 )

Date of Conference:

23-27 June 2007