Systems dependability assessment: Modeling with graphs and finite state automata. - Archive ouverte HAL Accéder directement au contenu
Ouvrages Année : 2015

Systems dependability assessment: Modeling with graphs and finite state automata.

Résumé

This book presents some recent developments of probabilistic assessment of systems dependability based on stochastic models issued of graph theory, finite state automaton and language theory, applying as well for static as for dynamic and hybrid context. The first part of the book recalls the foundation of the coherence property represented by a state graph model and shows how the reliability of the system may be extracted from this model. An algorithm with lower complexity than classical approach (BDD decomposition for example) is proposed and extended to apply as well to non coherent systems by introducing the concept of terminal tie-set. In the second part, we introduce the model of finite state automaton to more generally represent systems and replace the concepts of cut-sets and tie-sets by the concept of event sequences. The model is enriched progressively to define hybrid stochastic automaton that allows considering all of the problems usually assembled around the concept of dynamic reliability. Examples of Monte Carlo simulations are presented.
Fichier non déposé

Dates et versions

hal-01147937 , version 1 (03-05-2015)

Identifiants

  • HAL Id : hal-01147937 , version 1

Citer

Jean-François Aubry, Nicolae Brinzei. Systems dependability assessment: Modeling with graphs and finite state automata.. ISTE Ltd. and John Wiley & Sons Inc., pp.196, 2015, Risk Management and Dependability Series, 978-1-84821-765-2. ⟨hal-01147937⟩
304 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More