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.
Domaines
Automatique
Origine : Fichiers produits par l'(les) auteur(s)
Loading...