Calcul d'indicateurs de sûreté de fonctionnement de modèles AltaRica 3.0 par simulation stochastique
Auteur / Autrice : | Benjamin Aupetit |
Direction : | Antoine Rauzy, Jean-Marc Roussel |
Type : | Thèse de doctorat |
Discipline(s) : | Informatique |
Date : | Soutenance le 23/06/2020 |
Etablissement(s) : | université Paris-Saclay |
Ecole(s) doctorale(s) : | École doctorale Interfaces : matériaux, systèmes, usages (Palaiseau, Essonne ; 2015-....) |
Partenaire(s) de recherche : | Laboratoire : Laboratoire génie industriel (Gif-sur-Yvette, Essonne) |
Référent : CentraleSupélec (2015-....) | |
Jury : | Président / Présidente : Marija Jankovic |
Examinateurs / Examinatrices : Laurent Piétrac, Jean-François Pétin, Michel Batteux | |
Rapporteur / Rapporteuse : Laurent Piétrac, Jean-François Pétin |
Mots clés
Mots clés libres
Résumé
Dans un contexte de conception d'un système critique complexe, les études de sûreté de fonctionnement permettent de faire des choix de solutions techniques.Le langage de modélisation choisi doit avoir un pouvoir d'expression suffisant pour représenter les différents comportements envisagés : dans ces travaux, AltaRica 3.0 est utilisé.Mais le calcul d'indicateurs de sûreté de fonctionnement sur des modèles complexes est alors difficile : une solution est l'utilisation de la simulation stochastique pour les estimer.Il est alors nécessaire pour l'analyste de décrire quels sont les indicateurs qu'il souhaite estimer, et quelles sont leurs relations avec le modèle : un ensemble de mesures, couvrant les besoins classiques en sûreté de fonctionnement, est proposé.La qualité des estimations est liée au nombre de mesures, et donc à la performance de l'outil logiciel de simulateur stochastique : des améliorations de la simulation stochastique de modèles AltaRica 3.0 ont été implémentées dans l'outil de la plateforme OpenAltaRica.L'utilisation d'outils de calcul logiciel dans un contexte de certification doit faire l'objet d'une évaluation sur leur qualité : une méthodologie d'évaluation de simulateurs stochastiques de sûreté de fonctionnement, non limitée à AltaRica 3.0, est présentée.Enfin, une étude de cas d'un système mécatronique complexe permet de présenter les possibilités de la simulation stochastique et du langage AltaRica 3.0 pour une étude de sûreté de fonctionnement de cette classe de systèmes.