By Topic

Observer based verification of IEC 61499 function blocks

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

3 Author(s)
Bhatti, Z.E. ; Dept. of Electr. & Comput. Eng., Univ. of Auckland, Auckland, New Zealand ; Sinha, R. ; Roop, P.S.

IEC 61499 is an international standard for designing Industrial Process Control Systems using artefacts such as Function Blocks and Execution Control Charts. The existing approaches towards formal verification of function blocks lack the natural expression for specifying the system properties. We suggest an approach for performing formal verification of IEC 61499 designs using observers expressed as function blocks. This method provides the IEC 61499 designer with an intuitive way of expressing system properties and also makes the verification result easier to map to the original design. We have implemented two different algorithms, a tableau based CTL model checker and a reachability analyzer, to support the verification of observers. Experimental evaluation over a range of benchmarks have shown better performance as compared to Esterel based verification in terms of computation time.

Published in:

Industrial Informatics (INDIN), 2011 9th IEEE International Conference on

Date of Conference:

26-29 July 2011