By Topic

Formal models for the verification of IEC 61499 function block based control applications

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)
Luder, A. ; Center Distributed Syst., Univ. of Magdeburg ; Schwab, C. ; Tangermann, M. ; Peschke, J.

Industrial automation is currently on the cusp to the application of distributed systems based on distributed intelligence enabling distributed decision making within control. As one main technology within this field IEC 61499 based function block systems would be applied. But the usage of function block systems may cause problems which have to be avoided prior to the integration of a function block system in a control system. Hence, function block systems need to be examined using formal models and formal verification technologies. Therefore, formal models need to be created automatically during the function block system design. Within this paper an algorithm for automatic model design and its integration in the function block system designer would be described

Published in:

Emerging Technologies and Factory Automation, 2005. ETFA 2005. 10th IEEE Conference on  (Volume:1 )

Date of Conference:

19-22 Sept. 2005