Abstract FR:

Le travail que nous avons effectué, et que nous présentons dans le cadre de ce rapport de thèse, a consisté à concevoir et à implémenter un atelier pour réaliser des études de sûreté de fonctionnement, de la phase de modélisation de systèmes industriels à la phase de quantification. Apres une étude de l'existant, nous avons défini une architecture générale pour cet atelier (baptise figaro) dédié aux études de fiabilité, utilisant diverses techniques de l'intelligence artificielle telles que représentation des connaissances, simulation de fonctionnement, chaînage arrière,. . . Dans une première phase, on représente les connaissances génériques au domaine technologique traité à l'aide d'un langage oriente objet que nous avons défini, et qui est adapté aux études de fiabilité. Une interface graphique permet alors de saisir des schémas de systèmes à étudier, et un moteur de simulation rend possible l'observation du fonctionnement du système. La phase suivante consiste à générer automatiquement des modèles de fiabilité, comme les arbres de défaillance, et à les transmettre à des logiciels de calculs probabilistes. Nous avons validé les résultats de nos travaux par la mise en oeuvre de l'atelier pour des études en taille réelle. Cette validation se poursuit actuellement, dans l'objectif de valider les connaissances modélisées. A terme, l'objectif est maintenant de définir une architecture plus étendue comprenant une méthode d'acquisition et de modélisation des connaissances relatives aux systèmes physiques, et nous proposons une première approche de ce que pourrait être une telle méthode