Discrete event system formal approaches contribution onto global reliability markov chain generation

This research aims to synthesize a global reliability model, by applying Automata Theory to Model Based Safety Assessment (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.