Towards IEC 61499 Function Blocks Diagrams VerificationReport as inadecuate

Towards IEC 61499 Function Blocks Diagrams Verification - Download this document for free, or read online. Document in PDF available to download.

1 LURPA - Laboratoire Universitaire de Recherche en Production Automatisée

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.

Author: Camille Schnakenbourg - Jean-Marc Faure - Jean-Jacques Lesage -



Related documents