Modélisation d'un système par automate stochastique hybride pour l'évaluation de la fiabilité dynamique
Résumé
La notion de fiabilité dynamique peut être considérée comme l'étude de la fiabilité de systèmes dynamiques hybrides (SDH). Pour cette raison, nous avons défini et implémenté le concept d'automate stochastique hybride pour modéliser un SDH afin de prendre en compte les problèmes relatifs aux défaillances. L'automate stochastique hybride prend en compte les différents modes continus de fonctionnement du système et le passage de l'un à l'autre sur l'occurrence des événements déterministes et stochastiques. L'automate nous permet d'accéder aux grandeurs de la sûreté de fonctionnement par statistique sur un grand nombre de simulations (méthode de Monte Carlo). Après la définition formelle de l'automate stochastique hybride, nous présenterons un cas test permettant d'inclure la majorité des problèmes posés par l'évaluation de la sûreté de fonctionnement en contexte dynamique.