Software Fault Tolerance Techniques and Implementation phần 1 potx
Software Fault Tolerance Techniques and Implementation phần 1 potx
... Software 6
1. 3 .1 Fault Avoidance or Prevention 7
1. 3.2 Fault Removal 9
1. 3.3 Fault/ Failure Forecasting 11
1. 3.4 Fault Tolerance 12
1. 4 Types of Recovery 13
1. 4 .1 Backward Recovery 14
1. 4.2 Forward ... Recovery 16
1. 5 Types of Redundancy for Software Fault Tolerance 18
1. 5 .1 Software Redundancy 18
v
(NVP), and N self-checking programming (N...
Software Fault Tolerance Techniques and Implementation phần 2 pot
... 22, 19 90, pp. 10 11 .
[10 ] ACM SIGSOFT, RISKS Section, Software Engineering Notes, Vol. 18 , No. 1, 19 93.
[11 ] ACM SIGSOFT, RISKS Section, Software Engineering Notes, Vol. 18 , No. 25, 19 93.
[12 ] ... No. 12 , 19 85, pp. 14 91 15 01.
[36] Gray, J., A Census of Tandem System Availability Between 19 85 and 19 90, IEEE
Transactions on Reliability, Vol. 39, No. 4, 19...
Software Fault Tolerance Techniques and Implementation phần 3 ppt
... design diverse software fault tolerance techniques,
but are also useful to consider for other types of software fault tolerance
techniques.
88 Software Fault Tolerance Techniques and Implementation
•
Checkpoint: ... Solvers, in Software Fault Tolerance Using Data Diversity, Univ. of
Virginia, Tech. Report No. UVA/528344/CS92 /10 1, for NASA LaRC, July 19 91...
Software Fault Tolerance Techniques and Implementation phần 4 pdf
... No. 4, 19 90, pp. 615 648.
[59] Wood, W. G., A Decentralized Recovery Protocol, Proceedings of FTCS -11 , Port-
land, OR, 19 81, pp. 15 9 16 4.
10 0 Software Fault Tolerance Techniques and Implementation
[74] ... Lyu
(ed.), Software Fault Tolerance, New York: John Wiley and Sons, 19 95, pp. 1 21.
[ 21] Anderson, T., and J. Knight, A Framework for Software Fa...
Software Fault Tolerance Techniques and Implementation phần 5 pdf
... 8, 13 , 17 , 44)− ( 4, 7, 8, 13 , 17 , 44)−( 4, 7, 8, 13 , 17 , 44)−
Comparator:
( 4, 7, 8, 13 , 17 , 44)
( 4, 7, 8, 13 , 17 , 44)
Set Switch 1
− − − − − − ≠
−
Pair failure
Comparator:
( 4, 7, 8, 13 , 17 , ... 44)
( 4, 7, 8, 13 , 17 , 44)
− =
−
Pair agreement
(8, 13 , 17 , 44)7,4,−
Comparator:
Input (Switch 1 , ( 4, 7, 8, 13 , 17 , 44))
Result ( 4, 7, 8, 13 , 17 , 44)...
Software Fault Tolerance Techniques and Implementation phần 6 ppt
... and K. S. Trivedi, Modeling Correlation in Software
Recovery Blocks, IEEE Transactions on Software Engineering, Vol. 19 , No. 11 , 19 93,
pp. 10 71 10 86.
[45] Lyu, M. R. (ed.), Software Fault Tolerance, ... A. Lee, Software Fault Tolerance, in Fault Tolerance: Principles
and Practice, Englewood Cliffs, NJ: Prentice-Hall, 19 81, pp. 2492 91.
[17 ] Randell, B.,...
Software Fault Tolerance Techniques and Implementation phần 7 docx
... inputs:
DRA
1
(1e
10
, 2.2) = (1e
10
, 2.2) Pass-through DRA
Data Diverse Software Fault Tolerance Techniques 213
Distribute
inputs
(1
e
10
, 2.2)
DRA 2:
R x x
2
( ) 0.002= +
DRA 3:
R x x
3
( ) 0.0 01= ... +
DRA 1:
Pass-through
( )R x x
1
=
(1e
−
10
, 2.2)
Copy 1:
( , )f x y
Copy 2:
( , ) 12 3.45f x y =
(0.002 + 1 , 2.2)e
−
10
(0.0 01 + 1 , 2.2)e
−
10
Copy...
Software Fault Tolerance Techniques and Implementation phần 8 ppsx
... Data Object, ,
E
d-tag, @
E
1 10.7 0.9886
2 11 .1 0.9984
3 42.9 0. 211 1
4 11 .1 0.9946
5 11 .1 0.9986
6 10 .7 0.9940
7 −3.6 0 .12 34
250 Software Fault Tolerance Techniques and Implementation
Case: All ... and P. A. Lee, Software Fault Tolerance, in Fault Tolerance: Principles
and Practice, Englewood Cliffs, NJ: Prentice-Hall, 19 81, pp. 2492 91.
[5] Rand...
Software Fault Tolerance Techniques and Implementation phần 9 pptx
...
+
!
.5
.5
.5
!
1 1 1 1 1 1 any r
i
ALL_CORRECT.
1 1 1 1 1 0 r
1
or r
2
1 1 1 1 0 1 r
1
or r
3
1 1 1 0 1 1 r
2
or r
3
1 1 1 1 0 0 r
1
1 1 1 0 1 0 r
2
1 1 1 0 0 1 r
3
1 1 1 0 0 0 Exception ... Exception FALSE_ALARM.
1 1 0 1 1 1 any r
i
Error if r
3
(incorrect) selected.
1 1 0 1 1 0 r
1
or r
2
1 1 0 1 0 1 r
1...
Software Fault Tolerance Techniques and Implementation phần 10 pdf
... (continued)
AV, 16 2, 16 3, 16 6, 16 970
comparator, 270
CRB, 15 7, 15 8, 15 9
dynamic voter, 16 6
example, 212 14
NCP, 208, 213 , 215
NVP, 12 1, 12 6, 12 7, 17 6
as reusable component, 2 71
TPA, 218 , 219
voting-type, 16 2
Decomposition/granularity ... techniques, 9 11
defined, 9
formal design proofs, 10 , 11
formal inspection, 10
reliability prediction, 11 12
soft...