LOGIC CONTROLLERS DEPENDABILITY VERIFICATION USING A PLANT MODEL

Abstract : 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.
Type de document :
Communication dans un congrès
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00361815
Contributeur : Jean-Marc Faure <>
Soumis le : lundi 16 février 2009 - 16:29:23
Dernière modification le : jeudi 9 février 2017 - 15:56:19
Document(s) archivé(s) le : mardi 8 juin 2010 - 22:33:20

Identifiants

  • HAL Id : hal-00361815, version 1

Collections

Citation

José Machado, Bruno Denis, Jean-Jacques Lesage, Jean-Marc Faure, Jaime Fereira. LOGIC CONTROLLERS DEPENDABILITY VERIFICATION USING A PLANT MODEL. 3rd IFAC Workshop on Discrete-Event System Design, DESDes'06, Rydzyna (Poland), 26-28 September 2006, Sep 2006, Poland. pp. 37- 42. ⟨hal-00361815⟩

Partager

Métriques

Consultations de la notice

289

Téléchargements de fichiers

309