Formalisation des scénarios de défaillance d'un BDMP par automate ni

Les Boolean Driven Markov Processes (BDMP) ont été conçus par EDF pour conduire des analyses prédictives de sûreté de systèmes critiques. Tout comme pour les arbres de défaillance, la construction d'un BDMP consiste à décrire les combinaisons de panne des composants d'un système qui conduisent à sa défaillance. Une fois ce modèle établi, la recherche de toutes les séquences de pannes élémentaires qui conduisent à la défaillance globale du système est un problème complexe qui nécessite d'explorer l'espace d'état, le plus souvent de très grande taille, qui est sous-jacent au BDMP. Pour déterminer de manière systématique et exhaustive ces scénarios de défaillance, nous utilisons une approche basée sur la théorie des langages et des automates fi nis. Nous proposons dans ce papier un algorithme qui permet de calculer un automate fini "équivalent" à un BDMP, dans le sens où l'ensemble des scénarios de pannes et réparations du BDMP coïncide avec les mots du langage généré par l'automate.