%0 Conference Paper %1 6034948 %A Bhatti, Zeeshan E. %A Sinha, Roopak %A Roop, Partha S. %B Industrial Informatics (INDIN), 2011 9th IEEE International Conference on %D 2011 %K 61499 based iec myown observer verification %P 609-614 %R 10.1109/INDIN.2011.6034948 %T Observer based verification of IEC 61499 function blocks %X 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.

@inproceedings{6034948, abstract = {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.}, added-at = {2014-10-29T02:18:45.000+0100}, author = {Bhatti, Zeeshan E. and Sinha, Roopak and Roop, Partha S.}, biburl = {https://www.bibsonomy.org/bibtex/25c15adece4d288cfa44d4554d30b91cc/zeeshanejaz}, booktitle = {Industrial Informatics (INDIN), 2011 9th IEEE International Conference on}, doi = {10.1109/INDIN.2011.6034948}, interhash = {1eb4e671a535d1a152b42c3ed761ad7c}, intrahash = {5c15adece4d288cfa44d4554d30b91cc}, keywords = {61499 based iec myown observer verification}, month = {July}, pages = {609-614}, timestamp = {2014-10-29T02:18:45.000+0100}, title = {Observer based verification of IEC 61499 function blocks}, year = 2011 }