From a Functional Graph to a T-Timed Petri Nets Model for the diagnosis of Complex System

Ramla Saddem (1) , Armand Toguyeni (1) , Moncef Tagina (2)

1 STF - Systèmes Tolérants aux Fautes
2 SOIE - Stratégies d’Optimisation et Informatique intelligentE

In this paper, we are interested in the monitoring of complex systems modeled by functional graphs. We propose a diagnostic algorithm to isolate and identify the causes of failure located at a node of the functional graph. We establish hypotheses, first, on the choice of type of function who causes failure, and second, on the choice of the number of function who are directly observable. The key contribution of our approach is the establishment of behavioral models based on T-timed Petri Nets to refine the diagnosis based on functional graphs and to finally isolate faults. This study proposes first a generic model for representing the behavior of nodes in the functional graph according to a number of rules. These rules are designed to combine the partial models to form a global model based on a functional graph structure.

Mots clés: Diagnosis; behavioral model; faults' isolation; functional graph; timed Petri Nets

Domaines: Automatique

Ramla Saddem, Armand Toguyeni, Moncef Tagina. From a Functional Graph to a T-Timed Petri Nets Model for the diagnosis of Complex System. International Conference on Communications, Computing and Control Applications 2001, Mar 2011, Hammamet, Tunisia. pp.1-6, ⟨10.1109/CCCA.2011.6031509⟩. ⟨hal-00801577⟩