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

Ngày tải lên: 09/08/2014, 12:23

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

Ngày tải lên: 09/08/2014, 12:23

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

Ngày tải lên: 09/08/2014, 12:23

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

Ngày tải lên: 09/08/2014, 12:23

... 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)...

Ngày tải lên: 09/08/2014, 12:23

... 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. 2492 91. [17 ] Randell, B.,...

Ngày tải lên: 09/08/2014, 12:23

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

Ngày tải lên: 09/08/2014, 12:23

... 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. 2492 91. [5] Rand...

Ngày tải lên: 09/08/2014, 12:23

... + ! .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...

Ngày tải lên: 09/08/2014, 12:23

... (continued) AV, 16 2, 16 3, 16 6, 16 970 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...

Ngày tải lên: 09/08/2014, 12:23