Discrete event system formal approaches contribution onto global reliability Markov chain generation - Archive ouverte HAL
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.

Domaines

Sciences de l'ingénieur [physics] Méthodologie [stat.ME] Applications [stat.AP]
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)

ALI ALJARF  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02064997

Soumis le : mardi 12 mars 2019-12:49:02

Dernière modification le : vendredi 2 février 2024-16:08:16

Télécharger pour visualiser

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS UNIV-LYON1 INSA-LYON EC-LYON CRAN AMPERE UNIV-LORRAINE INSA-GROUPE IMDR UDL INRAE CRAN-MPSI
87 Consultations
61 Téléchargements

Partager

More