DocumentCode
389500
Title
Towards IEC 61499 function blocks diagrams verification
Author
Schnakenbourg, C. ; Faure, J.-M. ; Lesage, J.-J.
Author_Institution
CNAM, Paris, France
Volume
3
fYear
2002
fDate
6-9 Oct. 2002
Abstract
After having sketched the different techniques enabling to check properties of discrete event systems control software, we present in this article a formal method for IEC 61499 function blocks diagrams verification. This method is based on a formal representation of the behaviour of function blocks diagrams and takes benefit of verification tools developed from the SIGNAL synchronous language.
Keywords
control engineering computing; control system analysis computing; discrete event systems; formal verification; IEC 61499 function blocks diagrams verification; SIGNAL synchronous language; discrete event systems control software; formal representation; Automatic control; Chemical industry; Chemical processes; Control systems; Discrete event systems; Electrical equipment industry; Fault tolerance; IEC standards; Safety; Standards development;
fLanguage
English
Publisher
ieee
Conference_Titel
Systems, Man and Cybernetics, 2002 IEEE International Conference on
ISSN
1062-922X
Print_ISBN
0-7803-7437-1
Type
conf
DOI
10.1109/ICSMC.2002.1176038
Filename
1176038
Link To Document