LOGIC CONTROLLERS DEPENDABILITY VERIFICATION USING A PLANT MODEL
Résumé
This paper focuses on usefulness of a plant model for model-checking of untimed properties of logic controllers. Verification results obtained on a case study by using the symbolic model-checker NuSMV and three methods: verification of the only controller, constraints-based verification, in which the plant is simply modeled as a set of physical constraints, and model-based verification, that relies on a detailed model of the plant, are presented. The results yielded by these approaches enable to draw up application rules for formal verification of logic controllers.
Domaines
Automatique / Robotique
Fichier principal
Desdes_2006_LURPA.pdf (146.96 Ko)
Télécharger le fichier
DESDES_2006_final_presentation.pdf (689.96 Ko)
Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Format : Autre