Towards IEC 61499 Function Blocks Diagrams Verification

Camille Schnakenbourg (1) , Jean-Marc Faure (1) , Jean-Jacques Lesage (1)

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

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.

Domaines: Automatique / Robotique

Camille Schnakenbourg, Jean-Marc Faure, Jean-Jacques Lesage. Towards IEC 61499 Function Blocks Diagrams Verification. IEEE International Conference on Systems Man and Cybernetics, SMC'2002, Oct 2002, Hammamet, Tunisia. CDRom paper N°TA1C2. ⟨hal-00361637⟩