Construction de modèles formels de contrôleurs logiques pour le test de conformité

Résumé : Ce papier s'intéresse à la construction du modèle formel servant de référence pour le test de conformité d'un contrôleur logique, en supposant que ce contrôleur exécute une spécification Grafcet. Deux algorithmes pour construire ce modèle sont proposés et discutés, selon que l'exécution de la spécification intègre ou non la recherche de situation stable.
Document type :
Conference papers
Complete list of metadatas

Cited literature [2 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00831256
Contributor : Anaïs Guignard <>
Submitted on : Thursday, June 6, 2013 - 3:49:24 PM
Last modification on : Thursday, November 30, 2017 - 1:19:24 AM
Long-term archiving on : Saturday, September 7, 2013 - 4:11:15 AM

File

JDMACS13.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00831256, version 1

Collections

Citation

Anaïs Guignard, Jean-Marc Faure. Construction de modèles formels de contrôleurs logiques pour le test de conformité. 5èmes Journées Doctorales / Journées Nationales MACS, Jul 2013, Strasbourg, France. pp.00. ⟨hal-00831256⟩

Share

Metrics

Record views

155

Files downloads

213