2. Validation et vérification du modèle
Un réseau de Petri représentant la commande du procédé a été obtenu par l’étape d’analyse et modélisation. Il a été construit par composition de fonctions ou de comportements qui caractérisent le fonctionnement de parties du système à commander.
Le modèle ainsi obtenu est réputé complet et censé répondre au fonctionnement attendu. Toutefois, est-ce que ce modèle fournit une description correcte de ce qui est souhaité ? Est-ce que la composition d’éléments de base n’a pas introduit de perturbation croisée de ces éléments ?
Pour cela, il faut valider ce résultat, pour tenter de mettre en évidence des erreurs éventuelles de modélisation, et confirmer la conformité du modèle aux spécifications du cahier des charges par la vérification de toutes les contraintes de départ.
Le modèle à réseau de Petri présente la particularité...
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Validation et vérification du modèle
Article inclus dans l'offre
"Automatique et ingénierie système"
(
226 articles
)
Actualisée et enrichie d’articles validés par nos comités scientifiques.
Quiz, médias, tableaux, formules, vidéos, etc.
Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.
Un ensemble de services exclusifs en complément des ressources.
