Test exhaustif de contrôleurs logiques spécifiés en Grafcet : apports et limites d'une modélisation par machines de Mealy

Résumé : Utilisés pour la commande des systèmes critiques, les contrôleurs logiques doivent faire l'objet de tests rigoureux pour garantir le respect du fonctionnement attendu. Dans ce but, nous proposons une méthode spécifique permettant un test de conformité exhaustif vis-à-vis de spécifications en Grafcet. Cette méthode s'appuie sur les travaux de la communauté informatique relatifs au test à partir de machines de Mealy. La mise en oeuvre sur des systèmes réels a mis en évidence certaines limites de telles approches pour le test de contrôleurs logiques.
Type de document :
Communication dans un congrès
Liste complète des métadonnées

Littérature citée [9 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00440343
Contributeur : Julien Provost <>
Soumis le : jeudi 10 décembre 2009 - 14:09:39
Dernière modification le : jeudi 9 février 2017 - 15:00:44
Document(s) archivé(s) le : jeudi 17 juin 2010 - 21:30:12

Fichier

2009_MSR_JP_JMR_JMF.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00440343, version 1

Collections

Citation

Julien Provost, Jean-Marc Roussel, Jean-Marc Faure. Test exhaustif de contrôleurs logiques spécifiés en Grafcet : apports et limites d'une modélisation par machines de Mealy. 7ème colloque francophone sur la Modélisation des Systèmes Réactifs, Nov 2009, Nantes, France. pp.889-904. ⟨hal-00440343⟩

Partager

Métriques

Consultations de la notice

236

Téléchargements de fichiers

512