Discrete event system formal approaches contribution onto global reliability Markov chain generation
Contribution des approches formelles des systèmes à événements discrets pour la génération des modèles markoviens de fiabilité
Résumé
This research aims to synthesize a global reliability model, by applying Automata Theory to Model Based SafetyAssessment (MBSA). Failure logic expression issued from conventional Reliability Block Diagram or Fault tree Analysis will identify specific Total breakdown States (TBS) and express requirement restricting the Global Faulty Automata(GFA) onto Global Reliability Automata (GRA) establishment thanks to formal composition. The main contributions are relevant to automata translation, requirement expression, TBS identification and TBS treatment.
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...