Test exhaustif de controleurs logiques specifies en Grafcet: Apports et limites d'une modelisation par machines de Mealy

摘要

Utilises pour la commande des systemes critiques, les controleurs logiques doivent faire l'objet de tests rigoureux pour garantir le respect du fonctionnement attendu. Dans ce but, nous proposons une methode specifique permettant un test de conformite exhaustif vis-a-vis de specifications en Grafcet. Cette methode s'appuie sur les travaux de la communaute informatique relatifs au test a partir de machines de Mealy. La mise en oeuvre sur des systemes reels a mis en evidence certaines limites de telles approches pour le test de controleurs logiques.