A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
IEC 61499 is an international standard that prescribes the use of function blocks for designing industrialprocess 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 bydoi:10.1109/les.2010.2042275 fatcat:wwsebfl7jnfwtkgbppowyl4seq