Observer based verification of IEC 61499 function blocks

  title={Observer based verification of IEC 61499 function blocks},
  author={Zeeshan Ejaz Bhatti and Roopak Sinha and Partha S. Roop},
  journal={2011 9th IEEE International Conference on Industrial Informatics},
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… CONTINUE READING
Highly Cited
This paper has 17 citations. REVIEW CITATIONS