دانلود کتاب Dependability of networked computer-based systems

فهرست مطالب :

7.3.1 System Model......Page 2
7.4.1 Assumptions......Page 5
5.4.1.3 Switched Ethernet......Page 7
7.5.1 Timeliness Hazard Rate......Page 9
Acknowledgments......Page 10
References......Page 14
Cover......Page 1
Dependability of Networked Computer-based Systems......Page 3
7.3.2.1 Example 1......Page 4
Foreword......Page 6
Preface......Page 8
Contents......Page 11
7.7…Summary......Page 12
6.3.1.4 Simulation Model......Page 16
1 Introduction......Page 17
1.1…Evolution of computer based systems......Page 18
1.2…Application areas: safety-critical, life-critical......Page 19
1.3…A review of system failures......Page 20
1.4…Example: Comparison of system reliability......Page 21
6.3.1.3 Example......Page 13
Acronyms......Page 15
1.5.1.3 Means......Page 23
1.5.2.1 Hardware Redundancy......Page 24
1.5.2.4 Software Redundancy......Page 26
2.1…Probability Models......Page 30
4.7…Advantage of Modeling Safe Failures......Page 40
2.7.2 Continuous Random Variables......Page 41
4.9…Summary......Page 42
References......Page 44
1.5.1 Basic concepts......Page 22
1.7…Summary......Page 27
6.4.3.1 CAN......Page 29
2.2…Sample Space, Events and Algebra of Events......Page 31
6.5.1 Example 1......Page 32
2.6…Bayes’ Rule......Page 34
2.7.1.1 Discrete Mathematical Distributions......Page 37
1.5.2.2 Information Redundancy......Page 25
2.3…Conditional Probability......Page 33
2.7.1 Discrete Random Variables......Page 35
2.7.2.1 Continuous Mathematical Distributions......Page 43
2.8.1 Probability Generating Function......Page 45
2.8.2 Laplace Transform......Page 46
2.9…Expectations......Page 47
2.10…Operations on Random Variables......Page 48
2.11…Moments......Page 49
2.12…Summary......Page 50
3.1…Introduction......Page 51
3.2…Classification of Stochastic Processes......Page 52
3.3…The Random Walk......Page 53
3.4…Markov Chain......Page 54
3.4.1 Markov processes with Discrete state in discrete time......Page 55
3.4.2 Markov Processes with Discrete States in Continuous Time3.5…Markov Processes with Discrete States in Continuous Time......Page 56
3.5.1 Markov Renewal Sequence......Page 58
3.5.2 Markov Regenerative Processes......Page 59
3.6…Higher Level Modeling Formalisms......Page 60
3.6.1 Petri Nets......Page 61
3.6.2 Structural Extensions......Page 62
3.6.3 Stochastic Petri Nets......Page 63
3.6.5 Stochastic Reward Nets (SRN)......Page 65
3.6.7 Queueing Networks......Page 67
3.6.8 Stochastic Process Algebra (SPA)......Page 69
3.7.1 SPNP......Page 70
3.7.2 TimeNET......Page 71
4.1…Introduction......Page 73
4.2…Dependability Attributes......Page 74
4.3.1.2 Reliability Graphs......Page 75
4.3.1.3 Fault Trees......Page 76
4.3.2.2 Markov Models......Page 77
4.3.3 Software Reliability......Page 79
4.4…Availability Models......Page 80
4.5…Safety Models......Page 81
4.5.1.1 \\beta-Factor Model......Page 82
4.5.2 Safety Model of IEC 61508......Page 84
4.5.3 System Model......Page 85
4.5.4 Performance Based Safety and Availability Indices......Page 88
4.5.4.1 Safety Index: Probability of Failure on Actual Demand (PFaD)......Page 90
4.5.4.3 Availability Index: Manifested Availability......Page 91
4.6.1.1 System Description......Page 92
4.6.1.2 Model......Page 93
4.6.1.3 Results......Page 95
4.6.2 Example 2......Page 96
4.6.2.1 Parameter Values......Page 98
4.6.2.2 Calculation and Results......Page 102
4.6.2.3 Discussion......Page 112
4.8…DSPN Based Safety Models......Page 113
4.9…Summary......Page 114
References......Page 116
5.1…Introduction......Page 119
5.3.1 Carrier Sense Multiple Access/Collision Detection (CSMA/CD)......Page 120
5.3.4 Time Division Multiple Access (TDMA)......Page 121
5.3.5 Flexible Time Division Multiple Access (FTDMA)......Page 122
5.4.1 Ethernet......Page 123
5.4.1.1 Evolution of Ethernet......Page 124
5.4.1.3 Switched Ethernet......Page 125
5.4.2 Controller Area Network (CAN)......Page 126
5.4.3 MIL-STD-1553B......Page 127
5.5…Real-Time Scheduling......Page 129
5.5.1 Time-Driven Scheduling......Page 130
5.5.2.2 Dynamic Priority Schedulers......Page 131
5.5.3.1 Share-Driven Scheduling in Fixed Priority Systems......Page 132
5.5.3.2 Share-driven Scheduling in Dynamic Priority Systems......Page 133
5.6.1 Task Model......Page 134
5.6.2.1 Fixed Priority Schedulers......Page 135
5.6.2.2 Dynamic Priority Schedulers......Page 136
5.6.3.1 Dynamic Priority Schedulers......Page 137
5.6.4.2 Dynamic Priority Schedulers......Page 138
References......Page 141
6.2.1 Tagged Customer Approach......Page 144
6.2.1.1 Example 1: A Single Server System......Page 145
6.2.1.2 Example 2: A Multi Server System......Page 148
6.2.2 Probabilistic Response-Time Model......Page 149
6.3.1.1 Worst-Case Delay Analysis......Page 151
6.3.1.2 Basic CAN Model......Page 152
6.3.1.3 Example......Page 156
6.3.1.4 Simulation Model......Page 159
6.3.1.5 Improved Model......Page 160
6.3.2.1 Worst-Case Delay Analysis......Page 162
6.3.2.2 Response Time Model......Page 163
6.3.3.1 Response-Time Model......Page 164
6.4.1 Sample to Actuation Delay and Response-Time......Page 165
6.4.1.1 Example: Numerical Example---Deterministic Case......Page 166
6.4.1.2 Example: Numerical Example---Non-Deterministic Case......Page 169
6.4.2 Effect of Node Redundancy......Page 170
6.4.3.1 CAN......Page 172
6.4.3.2 MIL-STD-1553B......Page 173
6.5…Timeliness Hazard Rate......Page 174
6.5.1 Example 1......Page 175
6.5.2 Example 2......Page 177
References......Page 180
7.1…Introduction......Page 182
7.3.1 System Model......Page 183
7.3.2.1 Example 1......Page 185
7.4.1 Assumptions......Page 186
7.4.2 System Model......Page 187
7.5…Availability Modeling......Page 189
7.5.1 Timeliness Hazard Rate......Page 190
7.6…Example......Page 191
7.7…Summary......Page 193
References......Page 195
Appendix A:MATLAB Codes......Page 197