Systems dependability assessment : modeling with graphs and finite state automata / Jean-François Aubry, Nicolae Brînzei.

Format:

Book

Author/Creator:

Aubry, Jean-François.

Contributor:

Brînzei, Nicolae.

Series:

Risk management and dependability series

Focus risk management and dependability series

Language:

English

Subjects (All):

Invariant sets.

System theory.

Reliability (Engineering).

Stochastic systems.

Physical Description:

xiv, 182 pages : illustrations ; 25 cm.

Place of Publication:

London : ISTE Ltd ; Hoboken, NJ : John Wiley & Sons, Inc., 2015.

Summary:

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. Book jacket.

Contents:

Part 1 Predicted Reliability of Static Systems; a Graph-Theory Based Approach 1

Chapter 1 Static and Time Invariant Systems with Boolean Representation 3

1.1 Notations 3

1.2 Order relation on U 4

1.3 Structure of a system 6

1.3.1 State diagram of a system 6

1.3.2 Monotony of an SF, coherence of a system 7

1.4 Cut-set and tie-set of a system 9

1.4.1 Tie-set 9

1.4.2 Cut-set 10

Chapter 2 Reliability of a Coherent System 13

2.1 Demonstrating example 15

2.2 The reliability block diagram (RBD) 18

2.3 The fault tree (FT) 21

2.4 The event tree 26

2.5 The structure function as a minimal union of disjoint monomials 28

2.5.1 Ordered graph of a monotone structure function 29

2.5.2 Maxima and minima of the ordered graph 31

2.5.3 Ordered subgraphs of the structure function 32

2.5.4 Introductory example 33

2.5.5 Construction of the minimal Boolean form 37

2.5.6 Complexity 43

2.5.7 Comparison with the BDD approach 45

2.6 Obtaining the reliability equation from the Boolean equation 49

2.6.1 The traditional approach 49

2.6.2 Comparison with the structure function by Kaufmann 50

2.7 Obtain directly the reliability from the ordered graph 52

2.7.1 Ordered weighted graph 53

2.7.2 Algorithm 56

2.7.3 Performances of the algorithm 59

Chapter 3 What About Non-Coherent Systems? 61

3.1 Example of a non-coherent supposed system 61

3.2 How to characterize the non-coherence of a system? 63

3.3 Extension of the ordered graph method 66

3.3.1 Decomposition algorithm 67

3.4 Generalization of the weighted graph algorithm 68

Conclusion To Part 1 73

Part 2 Predicted Dependability of Systems in a Dynamic Context 75

Introduction to Part 2 77

Chapter 4 Finite State Automaton 83

4.1 The context of discrete event system 83

4.2 The basic model 84

Chapter 5 Stochastic FSA 89

5.1 Basic definition 89

5.2 Particular case: Markov and semi-Markov processes 90

5.3 Interest of the FSA model 91

5.4 Example of stochastic FSA 92

5.5 Probability of a sequence 93

5.6 Simulation with Scilab 94

5.7 State/event duality 95

5.8 Construction of a stochastic SFA 96

Chapter 6 Generalized Stochastic Fsa 101

Chapter 7 Stochastic Hybrid Automaton 105

7.1 Motivation 105

7.2 Formal definition of the model 105

7.3 Implementation 107

7.4 Example 109

7.5 Other examples 116

7.5.1 Control temperature of an oven 116

7.5.2 Steam generator of a nuclear power plant 118

7.6 Conclusion 120

Chapter 8 Other Models/Tools For Dynamic Dependability Versus Sha 121

8.1 The dynamic fault trees 121

8.1.1 Principle 121

8.1.2 Equivalence with the FSA approach 124

8.1.3 Covered criteria 126

8.2 The Boolean logic-driven Markov processes 126

8.2.1 Principle 126

8.2.2 Equivalence with the FSA approach 127

8.2.3 Covered criteria 127

8.3 The dynamic event trees (DETs) 128

8.3.1 Principle 128

8.3.2 Equivalence with the FSA approach 129

8.3.3 Covered criteria 130

8.4 The piecewise deterministic Markov processes 131

8.4.1 Principle 131

8.4.2 Equivalence with the FSA approach 131

8.4.3 Covered criteria 132

8.5 Other approaches 132.

Notes:

Includes bibliographical references (pages [173]-180) and index.

ISBN:

184821765X

9781848217652

OCLC:

905312315