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

Volume

1

fYear

2001

fDate

2001

Firstpage

646

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Systems, Man, and Cybernetics, 2001 IEEE International Conference on

Conference_Location

Tucson, AZ

ISSN

1062-922X

Print_ISBN

0-7803-7087-2

Type

conf

DOI

10.1109/ICSMC.2001.969925

Filename

969925