Skip to Main content Skip to Navigation
Conference papers

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

Abstract : 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.
Complete list of metadata

Cited literature [12 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02064997
Contributor : Ali Aljarf <>
Submitted on : Tuesday, March 12, 2019 - 12:49:02 PM
Last modification on : Monday, September 13, 2021 - 2:44:03 PM

File

lm21_com_2C_4_068_Xu.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02064997, version 1

Citation

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⟩

Share

Metrics

Record views

73

Files downloads

51