Discrete event system formal approaches contribution onto global reliability Markov chain generation - INRAE - Institut national de recherche pour l’agriculture, l’alimentation et l’environnement
Communication Dans Un Congrès Année : 2018

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.
Fichier principal
Vignette du fichier
lm21_com_2C_4_068_Xu.pdf (1.75 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02064997 , version 1 (12-03-2019)

Identifiants

  • HAL Id : hal-02064997 , version 1

Citer

Changyi Xu, Eric Niel, Nicolae Brinzei. Discrete event system formal approaches contribution onto global reliability Markov chain generation. 21e Congrès de maîtrise des risques et de sûreté de fonctionnement, λμ21, Oct 2018, Reims, France. ⟨hal-02064997⟩
87 Consultations
61 Téléchargements

Partager

More