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é

Changyi Xu (1) , Eric Niel (1) , Nicolae Brinzei (2)

1 MIS - Ampère, Département Méthodes pour l'Ingénierie des Systèmes
2 CRAN - Centre de Recherche en Automatique de Nancy

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.

Domaines: Sciences de l'ingénieur [physics]; Méthodologie [stat.ME]; Applications [stat.AP]

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⟩