Title :
Towards IEC 61499 function blocks diagrams verification
Author :
Schnakenbourg, C. ; Faure, J.-M. ; Lesage, J.-J.
Author_Institution :
CNAM, Paris, France
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;
Conference_Titel :
Systems, Man and Cybernetics, 2002 IEEE International Conference on
Print_ISBN :
0-7803-7437-1
DOI :
10.1109/ICSMC.2002.1176038
