Validation de la sûreté des architectures opérationnelles de commande par recherche de séquences minimales de fautes.
Encadrement- Jean-Marc FAURE, Professeur à SUPMECA
- Jean-Jacques LESAGE, Professeur à l'ENS Cachan
Financement
Mots-clésSûreté de Fonctionnement, Modélisation, Stratégie de Reconfiguration, Analyse basée sur les modèles, Composants Réparables, Systèmes dynamiques
RésuméLa Sûreté de Fonctionnement (SdF) est l'aptitude d'un système à rendre son service. L'analyse et l'amélioration de la SdF est une étape clé du processus de conception d'un système complexe. La redondance est une méthode très répandue pour l'améliorer : il s'agit de dupliquer les composants du système. Ainsi, lorsqu'un composant défaille, on peut le remplacer par un composant redondant : c'est le principe de la roue de secours d'une voiture. Pour les systèmes automatisés, ce remplacement s'effectue automatiquement, grâce à un dispositif de contrôle (souvent électronique). Mais si ce dispositif défaille également, la redondance est perdue. Pourtant, ce phénomène est très rarement pris en compte dans les études de SdF, ce qui conduit parfois à des résultats erronés. L'objectif de cette thèse est de proposer une méthode d'analyse de SdF basée sur des modèles mathématiques permettant de prendre en compte de manière précise le rôle du dispositif de contrôle dans la gestion des redondances.