Title :
Application of visual specifications for verification of distributed controllers
Author :
Vyatkin, Valern ; Hanisch, Hans-Michael
Author_Institution :
Dept. of Eng. Sci., Martin Luther Univ., Halle, Germany
Abstract :
In a search for an appropriate visual specification language to be applied in control engineering the timing diagram specification language is suggested. It is applied to the verification of distributed controllers following the standard IEC 61499. Specification of inputs and outputs of the controller are given in the graphical form of signal diagrams. The inputs are then converted into finite-state models, while the diagram of outputs is used to build equivalent analytic expressions in extended CTL. These two parts are used in formal verification of the control system
Keywords :
IEC standards; control system analysis computing; discrete event systems; distributed control; formal verification; industrial control; specification languages; visual languages; IEC 61499; control engineering; discrete-event modeling; distributed controllers; extended CTL; finite-state models; formal verification; signal diagrams; timing diagram specification language; visual specifications; Application software; Automatic control; Automation; Control engineering; Control systems; Distributed control; Formal verification; IEC standards; Specification languages; Timing;
Conference_Titel :
Systems, Man, and Cybernetics, 2001 IEEE International Conference on
Conference_Location :
Tucson, AZ
Print_ISBN :
0-7803-7087-2
DOI :
10.1109/ICSMC.2001.969925
