OBTAINING TEMPORAL AND TIMED PROPERTIES OF LOGIC CONTROLLERS FROM FAULT TREE ANALYSIS - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

OBTAINING TEMPORAL AND TIMED PROPERTIES OF LOGIC CONTROLLERS FROM FAULT TREE ANALYSIS

Résumé

One of the prerequisites for formal verification of logic controllers using model-checking is the formalization of properties to verify. The work presented in this paper proposes a method to elaborate the formal properties of a logic controller from a Fault Tree Analysis (FTA). The method developed here extends the traditional FTA with event ordering and timed information by introducing specific gates which model logic and physical time constraints. The behavior of these gates is then formalized in the form of state automata; formal properties are derived from the set of automata obtained at the end of FTA. A simple case study exemplifies the method.
Fichier principal
Vignette du fichier
Paper_IB_JMF_INCOM06.pdf (193.27 Ko) Télécharger le fichier
Presentation_INCOM06_versionfinale.pdf (400.81 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Format : Autre

Dates et versions

hal-00348083 , version 1 (18-12-2008)

Identifiants

  • HAL Id : hal-00348083 , version 1

Citer

Israel Santiago Barragan, Matthias Roth, Jean-Marc Faure. OBTAINING TEMPORAL AND TIMED PROPERTIES OF LOGIC CONTROLLERS FROM FAULT TREE ANALYSIS. 12th IFAC Symposium on Information Control Problems in Manufacturing, INCOM 2006, May 2006, France. pp. 243-248. ⟨hal-00348083⟩
100 Consultations
406 Téléchargements

Partager

Gmail Facebook X LinkedIn More