Towards IEC 61499 Function Blocks Diagrams VerificationReportar como inadecuado




Towards IEC 61499 Function Blocks Diagrams Verification - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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.





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

Fuente: https://hal.archives-ouvertes.fr/



DESCARGAR PDF




Documentos relacionados