Un démonstrateur pour le test de conformité de contrôleurs logiques

Résumé : Utilisés pour la commande des systèmes critiques, les contrôleurs logiques doivent faire l'objet de tests rigoureux afin de garantir le respect du fonctionnement attendu. La méthode de test proposée dans cette communication s'appuie sur les travaux relatifs au test de machines de Mealy et permet de générer automatiquement une séquence de test exhaustive pour une spécification donnée dans le langage normalisé Grafcet. Un logiciel et un banc de test ont été développés pour mettre en œuvre cette technique de test sur des automates programmables industriels (API).
Document type :
Conference papers
Complete list of metadatas

Cited literature [9 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00585235
Contributor : Julien Provost <>
Submitted on : Tuesday, April 12, 2011 - 11:23:54 AM
Last modification on : Thursday, February 9, 2017 - 3:53:06 PM
Long-term archiving on : Wednesday, July 13, 2011 - 2:35:45 AM

File

PROVOST_2010_Demonstrateur.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00585235, version 1

Collections

Citation

Julien Provost, Jean-Marc Roussel, Jean-Marc Faure. Un démonstrateur pour le test de conformité de contrôleurs logiques. 3èmes Journées Démonstrateurs 2010, Nov 2010, Angers, France. ⟨hal-00585235⟩

Share

Metrics

Record views

123

Files downloads

135