By Topic

Verifying 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

2 Author(s)
Li Hsien Yoong ; Dept. of Electr. & Comput. Eng., Univ. of Auckland, Auckland, New Zealand ; Roop, P.S.

IEC 61499 is an international standard that prescribes the use of function blocks for designing industrial-process control systems. Function blocks enable control software to be developed using an intuitive standard's-based graphical framework. The standard, however, lacks the semantic rigour necessary for automated verification of function block programs. Several approaches to fill this lacuna have been proposed, but these have so far focused on the verification of control properties by abstracting data from the program. This letter builds on a recent proposal to translate function blocks to Esterel in order to use the verification tools for Esterel to verify both control and data properties of function block programs. The key extensions to this translation are described herein, and have been implemented in a prototype tool. The viability of this approach is illustrated through several examples using this prototype. This demonstrates how a language with rigorous semantics and associated tools, like Esterel, can be advantageously combined with graphical notations familiar to industrial engineers to produce reliable control software.

Published in:

Embedded Systems Letters, IEEE  (Volume:2 ,  Issue: 1 )