DocumentCode :
3519295
Title :
Observer based verification of IEC 61499 function blocks
Author :
Bhatti, Zeeshan E. ; Sinha, Roopak ; Roop, Partha S.
Author_Institution :
Dept. of Electr. & Comput. Eng., Univ. of Auckland, Auckland, New Zealand
fYear :
2011
fDate :
26-29 July 2011
Firstpage :
609
Lastpage :
614
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.
Keywords :
IEC standards; control system synthesis; distributed control; observers; process control; reachability analysis; Esterel based verification; IEC 61499 function blocks; execution control charts; formal verification; industrial process control systems; observer based verification; reachability analyzer; tableau based CTL model checker; Automata; Control systems; IEC standards; Logic gates; Observers; Safety; Synchronization;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Industrial Informatics (INDIN), 2011 9th IEEE International Conference on
Conference_Location :
Caparica, Lisbon
Print_ISBN :
978-1-4577-0435-2
Electronic_ISBN :
978-1-4577-0433-8
Type :
conf
DOI :
10.1109/INDIN.2011.6034948
Filename :
6034948
Link To Document :
بازگشت