From Design to Dependability: a Bridge Between Physical Simulation and Risk Analysis

Résumé Modelica est un langage de modélisation qui a été créé afin de faciliter la description de systèmes multi-physiques grâce à une approche orientée objet. Les modèles Modelica représentent habituellement seulement le fonctionnement nominal des systèmes et sont utilisés pour les simuler à des fins de conception. Cet article propose une méthode développée dans le projet européen MODRIO pour obtenir des modèles de fiabilité à partir de ces modèles Modelica, aussi automatiquement que possible. Le principe consiste à associer à la structure du système une bibliothèque écrite en Figaro, un langage de modélisation dédié à la fiabilité. Cette association permet l'utilisation des outils de la plateforme Figaro, spécialement conçus pour l'analyse de la sûreté de fonctionnement ; il est alors possible de générer un arbre de défaillance. Le traitement de l'arbre de défaillance peut donner une évaluation quantitative de la fiabilité du système, mais aussi une liste de scénarios de test pour le modèle de simulation. Chaque coupe minimale de l'arbre de défaillance peut être utilisée comme un «stress test» pour le modèle de simulation détaillé.