Towards IEC 61499 Function Blocks Diagrams Verification
Résumé
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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...