Extraction des scénarios critiques pour l'évaluation de la sûreté de fonctionnement des systèmes mécatroniques :
approche hybride basée sur un modèle réseau de Petri et la logique linéaire

Malika MEDJOUDJ
LAAS CNRS, Toulouse
mmedjoud@laas.fr

Presenté au:
5e Congrès des Doctorants, Ecole Doctorale Systèmes (EDSYS), 13-14 mai 2004, ENSICA, Toulouse.

Résumé :

Afin de valider les reconfigurations des systèmes mécatroniques et de choisir leurs architectures, il est nécessaire d'estimer leur sûreté de fonctionnement en connaissant les scénarios critiques dès la phase de leur conception. L'objectif à long-terme est d'évaluer la fiabilité (sûreté) dynamique de ces systèmes. On propose une nouvelle version d'un algorithme qui permet la construction des scénarios critiques à partir d'un modèle Réseau de Petri. Elle est plus précise car elle tient compte partiellement de l'aspect continu du système hybride étudié. Ces scénarios caractérisent comment le système quitte le fonctionnement normal pour évoluer vers l'état redouté en déterminant la suite d'actions et les changements d'états conduisant à l'état critique.

Mots clés :

Réseau de Petri, logique linéaire, systèmes mécatroniques, systèmes hybrides, sûreté de fonctionnement, fiabilité dynamique.