Skip to Main Content
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.
Systems, Man and Cybernetics, 2002 IEEE International Conference on (Volume:3 )
Date of Conference: 6-9 Oct. 2002