Fault-Tolerant Systems

Fault-Tolerant Systems

Volumn , Issue , 2007, Pages

  Koren, Israel ^a   Krishna, C ^a  

^a UNIVERSITY OF MASSACHUSETTS   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 85013703470     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1016/B978-0-12-088525-1.X5000-7     Document Type: Book

References (382)

1. Avizienis A., Laprie J. Dependable Computing: From Concepts to Design Diversity. Proceedings of the IEEE May 1986, Vol. 74:629-638.
2. Dunn W.R. Practical Design of Safety-Critical Computer Systems 2002, Reliability Press.
3. http://www.dsn.org.
4. Ebeling C.E. An Introduction to Reliability and Maintainability Engineering 1997, McGraw-Hill.
5. Geffroy J.-C., Motet G. Design of Dependable Computing Systems 2002, Kluwer Academic Publishers.
6. Hsueh M.-C., Iyer R.K., Trivedi K.S. Performability Modeling Based on Real Data: A Case Study. IEEE Transactions on Computers April 1988, Vol. 37:478-484.
7. IEEE Computer July 1990, Vol. 23(No. 5).
8. IEEE Transactions on Computers February 1992, Vol. 41.
9. Jalote P. Fault Tolerance in Distributed Systems 1994, PTR Prentice Hall.
10. Johnson B.W. Design and Analysis of Fault-Tolerant Digital Systems 1989, Addison-Wesley.
11. Meyer J.F. On Evaluating the Performability of Degradable Computing Systems. IEEE Transactions on Computers August 1980, Vol. 29:720-731.
12. Meyer J.F., Furchtgott D.G., Wu L.T. Performability Evaluation of the SIFT Computer. IEEE Transactions on Computers June 1980, Vol. 29:501-509.
13. Fault Tolerant Computer System Design 1996, Prentice Hall. D.K. Pradhan (Ed.).
14. Pullum L.L. Software Fault Tolerance Techniques and Implementation 2001, Artech House.
15. Siewiorek D.P., Swarz R.S. Reliable Computer Systems: Design and Evaluation 1998, A. K. Peters.
16. Shooman M.L. Reliability of Computer Systems and Networks: Fault Tolerance, Analysis, and Design 2001, Wiley-Interscience.
17. Somani A.K., Vaidya N.H. Understanding Fault-tolerance and Reliability. IEEE Computer April 1997, Vol. 30:45-50.
18. Trivedi K.S. Probability and Statistics with Reliability, Queuing, and Computer Science Applications 2002, John Wiley.
19. Weiser M. The Computer for the Twenty-first Century. Scientific American September 1991, 94-104. Available at:. http://www.ubiq.com/hypertext/weiser/SciAmBraft3.html.
20. Abramovici M., Breuer M.A., Friedman A.D. Digital Systems Testing and Testable Design 1995, IEEE Computer Society Press. revised edition.
21. Avizienis A., Laprie J.-C., Randell B. Dependability and its Threats-A Taxonomy. IFIP Congress Topical Sessions August 2004, 91-120.
22. Bakken D.E., Zhan Z., Jones C.C., Karr D.A. Middleware Support for Voting and Data Fusion. International Conference on Dependable Systems and Networks June-July 2001, 453-462.
23. Barborak M., Malek M., Dahbura A. The Consensus Problem in Fault-Tolerant Computing. ACM Computing Surveys June 1993, Vol. 25:171-220.
24. Barlow R.E. Reliability and Fault Tree Analysis 1982, Society for Industrial and Applied Mathematics.
25. Barlow R.E., Proschan F. Mathematical Theory of Reliability 1996, Society of Industrial and Applied Mathematics.
26. Blough D.M., Sullivan G.F. Voting Using Predispositions. IEEE Transactions on Reliability December 1994, Vol. 43:604-616.
27. Bushnell M.L., Agrawal V.D. Essentials of Electronic Testing for Digital, Memory, and Mixed-Signal VLSI Circuits 2000, Kluwer Academic Publishers.
28. Dolev D. The Byzantine Generals Strike Again. Journal of Algorithms 1982, Vol. 3:14-30.
29. Ebeling C.E. An Introduction to Reliability and Maintainability Engineering 1997, McGraw-Hill.
30. Fischer M.J., Lynch N.A. A Lower Bound for the Time to Assure Interactive Consistency. Information Processing Letters June 1982, Vol. 14:183-186.
31. Koren I., Shalev E. Reliability Analysis of Hybrid Redundancy Systems. IEE Proceedings on Computer and Digital Techniques January 1984, Vol. 131:31-36.
32. Lamport L., Shostak R., Pease M. The Byzantine Generals Algorithm. ACM Transactions on Programming Languages and Systems July 1982, Vol. 4:382-401.
33. Lorczak P.R., Caglayan A.K., Eckhardt D.E. A Theoretical Investigation of Generalized Voters for Redundant Systems. Nineteenth Fault Tolerant Computing Symposium 1989, 444-451.
34. Lynch N.A., Fischer M.J., Fowler R.J. A Simple and Efficient Byzantine Generals Algorithm. Second Symposium on Reliability in Distributed Software and Database Systems July 1982, 46-52.
35. Mahmood A., McCluskey E.J. Concurrent Error Detection using Watchdog Processors-A Survey. IEEE Transactions on Computers February 1988, Vol. 37:160-174.
36. Mukherjee S.S., Kontz M., Reinhardt S.K. Detailed Design and Evaluation of Redundant Multithreading Alternatives. International Symposium on Computer Architecture 2002, 99-110.
37. Namjoo M., McCluskey E.J. Watchdog Processors and Capability Checking. 12th International Symposium on Fault Tolerant Computing 1982, 245-248.
38. Parhami B. Voting Algorithms. IEEE Transactions on Reliability December 1994, Vol. 43:617-629.
39. Pease M., Shostak R., Lamport L. Reaching Agreement in the Presence of Faults. Journal of the ACM April 1980, Vol. 27:228-234.
40. Reinhardt S.K., Mukherjee S.S. Transient Fault Detection via Simultaneous Multithreading. International Symposium on Computer Architecture 2000, 25-36.
41. Rotenberg E. AR-SMT: A Microarchitectural Approach to Fault Tolerance in Microprocessors. Fault-Tolerant Computing Systems Symposium 1999, 84-91.
42. Siewiorek D.P. Reliability Modeling of Compensating Module Failures in Majority Voting Redundancy. IEEE Transactions on Computers May 1975, Vol. C-24:525-533.
43. Siewiorek D.P., Swarz R.S. Reliable Computer Systems: Design and Evaluation 1998, A. K. Peters.
44. de Sousa P.T., Mathur F.P Sift-out Modular Redundancy. IEEE Transactions on Computers July 1978, Vol. C-27:624-627.
45. Trivedi K.S. Probability and Statistics with Reliability, Queuing, and Computer Science Applications 2002, John Wiley.
46. U.S.Department of Defense Military Standardization Handbook: Reliability Prediction of Electronic Equipment 1986, MIL-HDBK-217E.
47. Upadhyaya S., Ramamurthy B. Concurrent Process Monitoring with No Reference Signatures. IEEE Transactions on Computers April 1994, Vol. 43:475-480.
48. Vesely W.E. Fault Tree Handbook 1987, Nuclear Regulatory Commission.
49. Vijaykumar T.N., Pomeranz I., Cheng K. Transient-Fault Recovery Using Simultaneous Multithreading. International Symposium on Computer Architecture 2002, 87-98.
50. Alvisi L., Malkhi D., Pierce E., Reiter M.K., Wright R.N. Dynamic Byzantine Quorum Systems. International Conference on Dependable Systems and Networks (DSN '00) 2000, 283-292.
51. Anfinson C.J., Luk F.T. A Linear Algebraic Model of Algorithm-Based Fault Tolerance. IEEE Transactions on Computers December 1988, Vol. 37:1599-1604.
52. Avizienis A. Arithmetic Error Codes: Cost and Effectiveness Studies for Application in Digital System Design. IEEE Transactions on Computers November 1971, Vol. C-20:1322-1331.
53. Avizienis A. Arithmetic Algorithms for Error-Coded Operands. IEEE Transactions on Computers June 1973, Vol. C-22:567-572.
54. Banerjee P., Abraham J.A. Bounds on Algorithm-Based Fault Tolerance in Multiple Processor Systems. IEEE Transactions on Computers April 1986, Vol. C-35:296-306.
55. Barbara D., Garcia-Molina H. The Reliability of Voting Mechanisms. IEEE Transactions on Computers October 1987, Vol. C-36:1197-1208.
56. Baylis J. Error-Correcting Codes 1998, Chapman and Hall.
57. Key Papers in the Development of Coding Theory 1974, IEEE Press. E. Berlekamp (Ed.).
58. Berlekamp E. Algebraic Coding Theory 1984, Aegean Park Press. 2nd edition.
59. Blahut R. Theory and Practice of Error Control Codes 1983, Addison-Wesley.
60. Blahut R. Algebraic Codes for Data Transmission 2003, Cambridge University Press.
61. Bose B., Lin D.J. Systematic Unidirectional Error-Detecting Codes. IEEE Transactions on Computers November 1985, Vol. C-34:1026-1032.
62. http://www.ece.umn.edu/users/jchen/ecc.html.
63. Chen P.M., Lee E.K., Gibson G.A., Katz R.H., Patterson D.A. RAID: High-performance, Reliable Secondary Storage. ACM Computing Surveys 1994, Vol. 26:145-185.
64. http://members.aol.com/mnecctek/index.html.
65. Cherif A., Katayama T. Replica Management for Fault-Tolerant Systems. IEEE Micro 1998, Vol. 18:54-65.
66. Garcia-Molina H., Barbara D. How to Assign Votes in a Distributed System. Journal of the ACM October 1985, Vol. 32:841-860.
67. Gifford D.K. Weighted Voting for Replicated Data. Seventh ACM Symposium on Operating Systems 1979, 150-162.
68. Guerraoui R., Schiper A. Software-Based Replication for Fault Tolerance. IEEE Computer April 1997, Vol. 30:68-74.
69. Hamming R. Coding and Information Theory 1980, Prentice Hall.
70. Herlihy M. Dynamic Quorum Adjustment for Partitioned Data. ACM Transactions on Database Systems 1987, Vol. 12.
71. Hill R. A First Course in Coding Theory 1986, Oxford University Press.
72. Holland M., Gibson G.A., Siewiorek D.P. Architectures and Algorithms for Online Failure Recovery in Redundant Disk Arrays. Distributed and Parallel Databases July 1994, Vol. 2:295-335.
73. Huang K.-H., Abraham J.A. Algorithm-Based Fault Tolerance for Matrix Operations. IEEE Transactions on Computers June 1984, Vol. 33:518-528.
74. Huffman C.W., Pless V. Fundamentals of Error-Correcting Codes 2003, Cambridge University Press.
75. Jajodia S., Mutchler D. Dynamic Voting. ACM SIGMOD International Conference on Management of Data 1987, 227-238.
76. Jajodia S., Mutchler D. Dynamic Voting Algorithms for Maintaining the Consistency of a Replicated Database. ACM Transactions on Database Systems June 1990, Vol. 15:230-280.
77. Jalote P. Fault Tolerance in Distributed Systems 1994, Prentice Hall.
78. Jou J.Y., Abraham J.A. Fault Tolerant Matrix Arithmetic and Signal Processing on Highly Concurrent Computing Structures. Proceedings of the IEEE May 1986, Vol. 74:732-741.
79. Koren I. Computer Arithmetic Algorithms 2002, A. K. Peters.
80. http://www.ecs.umass.edu/ece/koren/faulttolerance/simulator/.
81. Kumar A. Hierarchical Quorum Consensus: A New Algorithm for Managing Replicated Data. IEEE Transactions on Computers September 1991, Vol. 40:996-1004.
82. Lin S., Costello D.J. Error Control Coding: Fundamentals and Applications 1983, Prentice Hall. 2nd edition.
83. Luk F.T., Park H. An Analysis of Algorithm-Based Fault Tolerance Techniques. Journal of Parallel and Distributed Computing 1988, Vol. 5:172-184.
84. MacWilliams F., Sloane N. The Theory of Error-Correcting Codes 1977, North-Holland.
85. Malkhi D., Reiter M. Byzantine Quorum Systems. Distributed Computing 1998, Vol. 11:203-213.
86. McEliece R. The Theory of Information and Coding 2002, Cambridge University Press. 2nd edition.
87. Morelos-Zaragoza R.H. The Art of Error Correcting Coding 2002, Wiley & Sons.
88. http://www.eccpage.com/.
89. Distributed Systems 1993, Addison-Wesley. S. Mullender (Ed.).
90. Naor M., Wool A. The Load, Capacity, and Availability of Quorum Systems. SIAM Journal of Computing 1998, Vol. 27:423-447.
91. Patterson D.A., Gibson G.A., Katz R.H. A Case for Redundant Arrays of Inexpensive Disks. International Conference on Management of Data 1988, 109-116.
92. Peterson W., Weldon E. Error-Correcting Codes 1972, MIT Press. 2nd edition.
93. Pless V. Introduction to the Theory of Error-Correcting Codes 1998, Wiley. 3rd edition.
94. Pretzel O. Error-Correcting Codes and Finite Fields 1992, Oxford University Press.
95. http://www.radiodesign.com/rs_sale.htm.
96. Rangarajan S., Setia S., Tripathi S.K. A Fault Tolerant Algorithm for Replicated Data Management. IEEE Transactions on Parallel and Distributed Systems December 1995, Vol. 6:1271-1282.
97. Rao T.R.N. Bi-Residue Error-Correcting Codes for Computer Arithmetic. IEEE Transactions on Computers May 1970, Vol. C-19:398-402.
98. Rao T.R.N., Fujiwara E. Error-Control Coding for Computer Systems 1989, Prentice Hall.
99. Rexford J., Jha N.K. Partitioned Encoding Schemes for Algorithm-Based Fault Tolerance in Massively Parallel Systems. IEEE Transactions on Parallel and Distributed Systems June 1994, Vol. 5:649-653.
100. Soderstrand M.A., Jenkins W.K., Jullien G.A., Taylor F.J. Residue Number System Arithmetic: Modern Applications in Digital Signal Processing 1986, IEEE Press.
101. Sweeney P. Error Control Coding: From Theory to Practice 2002, Wiley.
102. Szabo N.S., Tanaka R.I. Residue Arithmetic and Its Application to Computer Technology 1967, McGraw-Hill.
103. Tanenbaum A.S., van Steen M. Distributed Systems: Principles and Paradigms 2002, Prentice Hall.
104. Thomas R.H. A Majority Consensus Approach to Concurrency Control for Multiple Copy Databases. ACM Transactions on Database Systems June 1979, Vol. 4:180-209.
105. Vermani L. Elements of Algebraic Coding Theory 1996, Chapman and Hall.
106. Viterbi A., Omura J. Principles of Digital Communication and Coding 1979, McGraw-Hill.
107. Welsh D. Codes and Cryptography 1988, Oxford University Press.
108. http://www.ross.net/crc/crcpaper.html.
109. Yajnik S., Jha N.K. Graceful Degradation in Algorithm-Based Fault Tolerance Multiprocessor Systems. IEEE Transactions on Parallel and Distributed Systems February 1997, Vol. 8:137-153.
110. Adams G.B., Siegel H.J. The Extra Stage Cube: A Fault-Tolerant Interconnection Network for Supersystems. IEEE Transactions on Computers May 1982, Vol. C-31:443-454.
111. Adams G.B., Agrawal D.P., Siegel H.J. Fault-Tolerant Multi-Stage Interconnection Networks. IEEE Computer June 1987, Vol. 28:14-27.
112. Aho A.V., Hopcroft J.E., Ullman J.D. The Design and Analysis of Computer Algorithms 1974, Addison-Wesley.
113. Banerjee P. The Cubical Ring Connected Cycles: A Fault Tolerant Parallel Computation Network. IEEE Transactions on Computers May 1988, Vol. 37:632-636.
114. Bauer D., Schmeichel E., Veldman H.J. Progress on Tough Graphs: Another Four Years. Graph Theory, Combinatorics, and Applications-Seventh Quadrennial International Conference on the Theory and Application of Graphs 1995, 19-34. Y. Alavi, A.J. Schwenk (Eds.).
115. Bauer D., Broersma H.J., Schmeichel E. More Progress on Tough Graphs: The Y2K Report 2000, Memorandum 1536, Faculty of Mathematical Sciences, University of Twente.
116. Blough D.M., Bagherzadeh N. Near-Optimal Message Routing and Broadcasting in Faulty Hypercubes. International Journal of Parallel Programming October 1990, Vol. 19:405-423.
117. Boesch F.T., Harary F., Kabell J.A. Graphs as Models of Communication Network Vulnerability. Networks 1981, Vol. 11:57-63.
118. Bollobas B. Modern Graph Theory 1998, Springer-Verlag.
119. Chen M.-S., Shin K.G. Depth-First Search Approach for Fault-Tolerant Routing in Hypercube Multicomputers. IEEE Transactions on Parallel and Distributed Systems April 1990, Vol. 1:152-159.
120. Chvatal V. Tough Graphs and Hamiltonian Circuits. Discrete Mathematics 1973, Vol. 2:215-228.
121. Cormen T.H., Leiserson C.E., Rivest R.L., Stein C. Introduction to Algorithms 2001, MIT Press.
122. Dally W.J., Towles B. Principles and Practices of Interconnection Networks 2004, Morgan-Kaufman.
123. Duato J., Yalamanchili S., Ni L. Interconnection Networks: An Engineering Approach 2003, Morgan-Kaufman.
124. Handbook of Graph Theory 2003, CRC Press. J.L. Gross, J. Yellen (Eds.).
125. Harary F. Conditional Connectivity. Networks 1983, Vol. 13:346-357.
126. Hariri S., Raghavendra C.S. SYREL: A Symbolic Reliability Algorithm Based on Path and Cutset Methods. IEEE Transactions on Computers October 1987, Vol. C-36:1224-1232.
127. Jalote P. Fault Tolerance in Distributed Systems 1994, Prentice Hall.
128. Latifi S., Hegde M., Naraghi-Pour M. Conditional Connectivity Measures for Large Multicomputer Systems. IEEE Transactions on Computers February 1994, Vol. 43:218-222.
129. Klau G.W., Weiskircher R. Robustness and Resilience. Lecture Notes in Computer Science 2005, Vol. 3418:417-437. Springer-Verlag. U. Brandes, T. Erlebach (Eds.).
130. Koren I., Koren Z. On the Bandwidth of a Multistage Network in the Presence of Fanlty Components. Eighth International Conference on Distributed Computing Systems June 1988, 26-32.
131. Koren I., Koren Z. On Gracefully Degrading Multi-Processors with Multi-Stage Interonnection Networks. IEEE Transactions on Reliability, Special Issue on "Reliability of Parallel and Distributed Computing Networks" April 1989, Vol. 38:82-89.
132. Kumar V.P., Reibman A.L. Failure Dependent Performance Analysis of a Fault-Tolerant Multistage Interconnection Network. IEEE Transactions on Computers December 1989, Vol. 38:1703-1713.
133. Libeskind-Hadas R., Brandt E. Origin-Based Fault-Tolerant Routing in the Mesh. IEEE Symposium on High Performance Computer Architecture 1995, 102-111.
134. Meliksetian D.S., Chen C.Y.R. Optimal Routing Algorithm and the Diameter of the Cube-Connected Cycles. IEEE Transactions on Parallel and Distributed Systems October 1993, Vol. 4:1172-1178.
135. Mohapatra P., Das C.R. On Dependability Evaluation of Mesh-Connected Processors. IEEE Transactions on Computers September 1995, Vol. 44:1073-1084.
136. Najjar W., Gaudiot J.-L. Network Resilience: A Measure of Network Fault Tolerance. IEEE Transactions on Computers February 1990, Vol. 39:174-181.
137. Padmanabhan K., Lawrie D.H. Performance Analysis of Redundant-Path Networks for Multiprocessor Systems. ACM Transactions on Computer Systems May 1985, Vol. 3:117-144.
138. Patel J.H. Performance of Processor-Memory Interconnections for Multiprocessors. IEEE Transactions on Computers October 1981, Vol. C-30:771-780.
139. Peha J.M., Tobagi F.A. Analyzing the Fault Tolerance of Double-Loop Networks. IEEE/ACM Transactions on Networking August 1994, Vol. 2:363-373.
140. Preparata F.P., Vuillemin J. The Cube-Connected Cycles: A Versatile Network for Parallel Computation. Communications of the ACM May 1981, Vol. 24:300-309.
141. Raghavendra C.S., Gerla M., Avizienis A. Reliable Loop Topologies for Large Local Computer Networks. IEEE Transactions on Computers January 1985, Vol. C-34:46-55.
142. Singh A.D. Interstitial Redundancy: A New Fault-Tolerance Scheme for Large-Scale VLSI Processor Arrays. IEEE Transactions on Computers November 1988, Vol. 37:1398-1410.
143. Soh S., Rai S., Trahan J.L. Improved Lower Bounds on the Reliability of Hypercube Architectures. IEEE Transactions on Parallel and Distributed Systems April 1994, Vol. 5:364-378.
144. Tzeng N.-F., Chuang P. A Pairwise Substitutional Fault Tolerance Technique for the Cube-Connected Cycles Architecture. IEEE Transactions on Parallel and Distributed Systems April 1994, Vol. 5:433-439.
145. Weichenberg G.E. High Reliability Architectures for Networks Under Stress. MS thesis, MIT 2003.
146. Zhao B., Kubiatowicz J., Joseph A.D. Tapestry: A Resilient Global-Scale Overlay for Service Deployment. IEEE Journal on Selected Areas in Communications January 2004, Vol. 22:41-53.
147. Ammann P.E., Knight J.C. Data Diversity: an Approach to Software Fault Tolerance. IEEE Transactions on Computers April 1988, Vol. 37:418-425.
148. Avizienis A. The Methodology of N-Version Programming. Software Fault Tolerance 1995, 23-46. Wiley. M. Liu (Ed.).
149. Avizienis A., Kelly J. Fault Tolerance by Design Diversity: Concepts and Experiments. IEEE Computer August 1984, Vol. 17:67-80.
150. Barnes J.G.P. Programming in ADA 1994, Addison-Wesley.
151. Bowen J.P., Stavridou V. Safety-Critical Systems, Formal Methods and Standards. IEE/BCS Software Engineering Journal July 1993, Vol. 8:189-209.
152. Brilliant S., Knight J.C., Leveson N.G. Analysis of Faults in an N-Version Software Experiment. IEEE Transactions on Software Engineering February 1990, Vol. 16:238-247.
153. Brooks F.P. No Silver Bullet-Essence and Accidents of Software Engineering. IEEE Computer April 1987, Vol. 20:10-19.
154. Brooks F.P. The Mythical Man-Month: Essays on Software Engineering 1995, Addison-Wesley.
155. Burns A., Wellings A. Real-Time Systems and Programming Languages 1997, Addison-Wesley Longman.
156. Castelli V., Harper R.E., Heidelberger P., Hunter S.W., Trivedi K.S., Vaidyanathan K., Zeggert W.P. Proactive Management of Software Aging. IBM Journal of Research and Development March 2001, Vol. 45:311-332.
157. Cleveland W.S. Robust Locally Weighted Regression and Smoothing Scatterplots. Journal of the American Statistical Association December 1979, Vol. 74:829-836.
158. Cox B. No Silver Bullet Revisited. American Programmer November 1995, Vol. 8. Available at: http://www.virtualschool.edu/cox/pub/NoSilverBulletRevisted/.
159. Cristian F. Exception Handling and Tolerance of Software Faults. Software Fault Tolerance 1995, 81-107. Wiley. M. Liu (Ed.).
160. Eckhardt D.E., Lee L.D. A Theoretical Basis for the Analysis of Multiversion Software. IEEE Transactions on Software Engineering December 1985, Vol. SE-11:1511-1517.
161. Fetzer C., Xiao Z. Detecting Heap Smashing Attacks through Fault Containment Wrappers. 20th Symposium on Reliable Distributed Systems 2001, 80-89.
162. Garcia A.F., Rubira C.M.F., Romanovsky A., Xu J. A Comparative Study of Exception Handling Mechanisms for Building Dependable Object Oriented Software. Journal of Systems and Software 2001, Vol. 59:197-222.
163. Garg S., Huang Y., Kintala C., Trivedi K.S. Minimizing Completion Time of a Program by Checkpointing and Rejuvenation. ACM SIGMetrics 1996, 252-261.
164. Garg S., van Moorsell A., Vaidyanathan K., Trivedi K. A Methodology for Detection and Elimination of Software Aging. Ninth International Symposium on Software Reliability Engineering 1998, 282-292.
165. Ghosh A.K., Schmid M., Hill F. Wrapping Windows NT Software for Robustness. Fault-Tolerant Computing Symposium, FTCS-29 1999, 344-347.
166. Gilreath R., Porter P., Nagy C. Advanced Software Fault Tolerance Strategies for Mission Critical Spacecraft Applications. Task 3 Interim Report, NASA Ames Research Center 1999.
167. Huang Y., Kintala C., Kolettis N., Fulton N.D. Software Rejuvenation: Analysis, Module and Applications. Fault Tolerant Computing Symposium, FTCS-25 1995, 381-390.
168. Jalote P. Fault Tolerance in Distributed Systems 1994, Prentice Hall.
169. Jelinski Z., Moranda P. Software Reliability Research. Statistical Computer Performance Evaluation 1972, 465-484. Academic Press. W. Freiberger (Ed.).
170. Kanoun K. Cost of Software Diversity: An Empirical Evaluation. International Symposium on Software Reliability 1999, 242-247.
171. Koren I. Computer Arithmetic Algorithms 2001, A.K. Peters.
172. Knight J.C., Leveson N.G. A Reply to the Criticisms of the Knight and Leveson Experiment. ACM SIGSoft Software Engineering Notes January 1990, Vol. 15:24-35.
173. Lang J., Stewart D.B. A Study of the Applicability of Existing Exception-Handling Techniques to Component-Based Real-Time Software Technology. ACM Transactions on Programming Languages and Systems March 1998, Vol. 20:274-301.
174. Leveson N.G. Software Safety: Why, What, and How. ACM Computing Surveys February 1991, Vol. 18:34-46.
175. Littlewood B., Strigini L. A Discussion of Practices for Enhancing Diversity in Software Designs. DISPO Technical Report LS_DI_TR-04_v1_1d November 2000.
176. Littlewood B., Verrall J.L. A Bayesian Reliability Growth Model for Computer Software. Applied Statistics 1973, Vol. 22:332-346.
177. Littlewood B., Verrall J.L. A Bayesian Reliability Model with a Stochastically Monotone Failure Rate. IEEE Transactions on Reliability June 1974, Vol. R-23:108-114.
178. Littlewood B., Popov P., Strigini L. Modeling Software Design Diversity-A Review. ACM Computing Surveys June 2001, Vol. 33:177-208.
179. Liskov B., Snyder A. Exception Handling in CLU. IEEE Transactions on Software Engineering June 1979, Vol. SE-5:546-558.
180. Miller J. On the Independence of Software Inspectors. Journal of Systems and Software January 2002, Vol. 60:5-10.
181. Musa J.D., Okumoto K. A Logarithmic Poisson Execution Time Model for Software Reliability Measurement. Seventh International Conference on Software Engineering (ICSE'84) 1984, 230-238.
182. Oh N., Mitra S., McCluskey E.J. ED4I: Error Detection by Diverse Data and Duplicated Instructions. IEEE Transactions on Computers February 2002, Vol. 51:180-199.
183. Patel J.H., Fung L.Y. Concurrent Error Detection in ALU's by Recomputing with Shifted Operands. IEEE Transactions on Computers July 1982, Vol. C-31:589-595.
184. Popov P., Riddle S., Romanovsky A., Strigini L. On Systematic Design of Protectors for Employing OTS Items. 27th EuroMicro Conference 2001, 22-29.
185. Popov P., Strigini L., Riddle S., Romanovsky A. Protective Wrapping of OTS Components. 4th ICSE Workshop on Component-Based Software Engineering: Component Certification and System Prediction 2001, Available at: http://www.sei.cmu.edu/pacc/CBSE4_papers/Popov+CBSE4-11.pdf.
186. Randell B., Xu J. The Evolution of the Recovery Block Concept. Software Fault Tolerance 1995, 1-21. Wiley. M. Lyu (Ed.).
187. Rallis N.E., Lansdowne Z.F. Reliability Estimation for a Software System with Sequential Independent Reviews. IEEE Transactions on Software Engineering December 2001, Vol. 27:1057-1061.
188. Salles F., Rodrigues M., Fabre J.-C., Arlat J. Metakernels and Fault Containment Wrappers. IEEE Fault-Tolerant Computing Symposium, FTCS-29 1999, 22-29.
189. Sutton S.M. Preconditions, Postconditions, and Provisional Execution in Software Processes. CMPSCI Technical Report 95-77, Department of Computer Science, University of Massachusetts at Amherst 1995.
190. Torres-Pomales W. Software Fault-Tolerance: A Tutorial. NASA Technical Memorandum TM-2000-210616 2000, Available at: http://hdl.handle.net/2002/12633.
191. Vaidyanathan K., Harper R.E., Hunter S.W., Trivedi K.S. Analysis and Implementation of Software Rejuvenation in Cluster Systems. ACM SIGMetrics June 2001, 62-71.
192. Villemeur A. Reliability, Availability, Maintainability and Safety Assessment 1991, Wiley.
193. http://citeseer.nj.nec.com/7769.html.
194. Wallace D., Coleman C. Application and Improvement of Software Reliability Madels. Report of Task 323-08, NASA Software Assurance Technology Center 2001.
195. Xu J., Romanovsky A., Randell B. Concurrent Exception Handling and Resolution in Distributed Object Systems. IEEE Transactions on Parallel and Distributed Systems October 2000, Vol. 11:1019-1032.
196. Yoo C.S., Seong P.H. Experimental Analysis of Specification Language Diversity Impact of NPP Software Diversity. Journal of Systems and Software May 2002, Vol. 62:111-122.
197. Acharya A., Badrinath B.R. Checkpointing Distributed Applications on Mobile Computers. International Conference on Parallel and Distributed Information Systems September 1994, 73-80.
198. Ahmed R.E., Frazier R.C., Marinos P.N. Cache-Aided Rollback Error Recovery (CARER) Algorithms for Shared-Memory Multiprocessor Systems. Fault-Tolerant Computing Symposium 1990, 82-88.
199. Alvisi L., Marzullo K. Message Logging: Pessimistic, Optimistic, Causal, and Optimal. IEEE Transactions on Software Engineering February 1998, Vol. 24:149-159.
200. Babaoglu O., Marzullo K. Consistent Global States of Distributed Systems: Fundamental Concepts and Mechanisms. Distributed Systems 1993, 55-96. ACM Press. S. Mullender (Ed.).
201. Chandy K.M., Lamport L. Distributed Snapshots: Determining Global States of Distributed Systems. ACM Transactions on Computing Systems August 1985, Vol. 3:63-75.
202. Chandy K.M., Browne J.C., Dissly C.W., Uhrig W.R. Analytic Models for Rollback and Recovery Strategies in Data Base Systems. IEEE Transactions on Software Engineering March 1975, Vol. SE-1:100-110.
203. Cohen E., Wang Y.-M., Suri G. When Piecewise Determinism Is Almost True. Pacific Rim Symposium on Fault-Tolerant Systems 1995, 66-71.
204. Elnozahy E.N., Alvisi L., Wang Y.M., Johnson D.B. A Survey of Rollback-Recovery Protocols in Message-Passing Systems. ACM Computing Surveys September 2002, Vol. 34:375-408.
205. Gelenbe E. On the Optimum Checkpoint Interval. Journal of the ACM April 1979, Vol. 26:259-270.
206. Huang Y., Wang Y.M. Why Optimistic Message Logging Has Not Been Used in Telecommunications Systems. Fault-Tolerant Computing Symposium 1995, 459-463.
207. Hunt D.B., Marinos P.N. A General Purpose Cache-Aided Rollback Error Recovery (CARER) Technique. Fault-Tolerant Computing Symposium 1987, 170-175.
208. Johnson D.B., Zwaenepoel W. Sender-Based Message Logging. Fault-Tolerant Computing Symposium July 1987, 14-19.
209. Johnson D.B., Zwaenepoel W. Recovery in Distributed Systems Using Optimistic Message Logging and Checkpointing. ACM Symposium on Principles of Distributed Computing August 1988, 171-181.
210. Koo R., Toueg S. Checkpointing and Rollback Recovery for Distributed Systems. IEEE Transactions on Software Engineering January 1987, Vol. 13:23-31.
211. Koren I., Koren Z., Su S.Y.H. Analysis of a Class of Recovery Procedures. IEEE Transactions on Computers August 1986, Vol. C-35:703-712.
212. Krishna C.M., Shin K.G., Lee Y.-H. Optimization Criteria for Checkpointing. Communications of the ACM October 1984, Vol. 27:1008-1012.
213. Li K., Naughton J.F., Plank J.S. Low-latency, Concurrent Checkpointing for Parallel Programs. IEEE Transactions on Parallel and Distributed Systems August 1994, Vol. 5:874-879.
214. Neves N., Fuchs W.K. Adaptive Recovery for Mobile Environments. Communications of the ACM January 1997, Vol. 40:68-74.
215. Neves N., Fuchs W.K. Coordinated Checkpointing without Direct Coordination. IEEE International Computer Performance & Dependability Symposium September 1998, 23-31.
216. Plank J.S. Improving the Performance of Coordinated Networks of Workstations Using RAID Techniques. IEEE Symposium on Reliable Distributed Systems 1996, 76-85.
217. Plank J.S. An Overview of Checkpointing in Uniprocessor and Distributed Systems, Focusing on Implementation and Performance. Technical Report UT-CS-97-372, University of Tennessee 1997.
218. Plank J.S., Li K., Puening M.A. Diskless Checkpointing. IEEE Transactions on Paralleland Distributed Systems October 1998, Vol. 9:972-986.
219. Plank J.S., Chen Y., Li K., Beck M., Kingsley G. Memory Exclusion: Optimizing the Performance of Checkpointing Systems. Software-Practice and Experience 1999, Vol. 29:125-142. Available at: http://www.cs.utk.edu/∼plank/plank/papers/CS-96-335.html.
220. Pradhan D.K., Krishna P., Vaidya N.H. Recovery in Mobile Applications: Design and Tradeoff Analysis. Fault-Tolerant Computing Symposium June 1996, 16-25.
221. Sancho J.C., Pertini F., Johnson G., Fernandez J., Frachtenberg E. On the Feasibility of Incremental Checkpointing for Scientific Computing. Parallel and Distributed Processing Symposium (IPDPS) 2004, 58-67.
222. Shin K.G., Lin T.-H., Lee Y.-H. Optimal Checkpointing of Real-Time Tasks. IEEE Transactions on Computers November 1987, Vol. 36:1328-1341.
223. Strom R.B., Yemeni S. Optimistic Recovery in Distributed Systems. ACM Transactions on Computer Systems April 1985, Vol. 3:204-226.
224. Tantawi A.N., Ruschitzka M. Performance Analysis of Checkpointing Strategies. ACM Transactions on Computing Systems May 1984, Vol. 2:123-144.
225. Teodorescu R., Nakano J., Torrellas J. SWICH: A Prototype for Efficient Cache-Level Checkpointing and Rollback. IEEE Micro September 2006, Vol. 26:28-40.
226. Vaidya N.H. A Case for Two-Level Distributed Recovery Schemes. ACM SIGMetrics Conference on Measurement and Modeling of Computer Systems May 1995, 64-73.
227. Vaidya N.H. Impact of Checkpoint Latency on Overhead Ratio of a Checkpointing Scheme. IEEE Transactions on Computers August 1997, Vol. 46:942-947.
228. Vaidya N.H. Staggered Consistent Checkpointing. IEEE Transactions on Parallel and Distributed Systems July 1999, Vol. 10:694-702.
229. Wang Y.-M., Fuchs W.K. Optimistic Message Logging for Independent Checkpointing in Message Passing Systems. Symposium on Reliable Distributed Systems October 1992, 147-154.
230. Wang Y.-M., Huang Y., Vo K.-P., Chung P.-Y., Kintala C. Checkpointing and Its Applications. Fault-Tolerant Computing Symposium June 1995, 22-31.
231. Wu K.-L., Fuchs W.K., Patel J.H. Error Recovery in Shared Memory Multiprocessors Using Private Caches. IEEE Transactions on Parallel and Distributed Systems April 1990, Vol. 1:231-240.
232. Young J.W. A First Order Approximation to the Optimum Checkpoint Interval. Communications of the ACM September 1974, Vol. 17:530-531.
233. Ziv A., Bruck J. An Online Algorithm for Checkpoint Placement. IEEE Transactions on Computers September 1997, Vol. 46:976-985.
234. Ashjaee M.J., Reddy S.M. On-Totally Self-Checking Checkers for Separable Codes. IEEE Transactions on Computers August 1977, Vol. C-26:737-744.
235. Bartlett W., Ball B. Tandems Approach to Fault Tolerance. Tandem Systems Review February 1988, Vol. 8:84-95.
236. Bartlett W., Spainhower L. Commercial Fault Tolerance: A Tale of Two Systems. IEEE Transactions on Dependable and Secure Computing January 2004, Vol. 1:87-96.
237. Bernick D., Bruckert B., Del-Vigna P., Garcia D., Jardine R., Klecka J., Smullen J. NonStop Advanced Architecture. Dependable Systems and Networks Symposium (DSN'05) 2005, 12-21.
238. Bowen N.S., Antognini J., Regan R.D., Matsakis N.C. Availability in Parallel Systems: Automatic Process Restart. IBM Systems Journal 1997, Vol. 36:284-300. Available at: www.research.ibm.com/journal/sj/362/antognini.html.
239. Brown G.M., Bernard D.E., Rasmussen R.D. Attitude and Articulation Control for the Cassini Spacecraft: A Fault Tolerance Overview. 14th Annual Digital Avionics Systems Conference 1995, 184-192.
240. Brown T.K., Donaldson J.A. Fault Protection Design for the Command and Data Subsystem on the Cassini Spacecraft. 13th Annual Digital Avionics Systems Conference 1994, 408-413.
241. Graham S. Writing Drivers for Reliability, Robustness Fault Tolerant Systems. Microsoft Windows Hardware Engineering Conference April 2002, Available at: www.stratus.com/resources/pdf/drivers.pdf.
242. Gregg T.A. S/390 CMOS Server I/O: The Continuing Evolution. IBM Journal of Research and Development July/September 1997, Vol. 41:449-462.
243. http://www.intel.com/design/itanium/downloads/24927802.pdf.
244. Intel Corporation, "Intel Itanium2 Processor." Available at. http://www.intel.com/design/itanium2/documentation.htm.
245. Johnson B.W. Design and Analysis of Fault-Tolerant Digital Systems 1989, Addison-Wesley.
246. Lala P.K. Self-Checking and Fault-Tolerant Digital Design 2000, Morgan Kaufmann.
247. Lee I., Iyer R.K. Software Dependability in the Tandem Guardian System. IEEE Transactions on Software Engineering May 1995, Vol. 8:455-467.
248. Luck T. Machine Check Recovery for Linux on Itanium Processors. Linux Symposium July 2003, 313-319.
249. Nick J.M., Moore B.B., Chung J.-Y., Bowen N.S. S/390 Cluster Technology: Parallel Sysplex. IBM Systems Journal 1997, Vol. 36:172-201. Available at: www.research.ibm.com/journal/sj/362/nick.html.
250. Patel J.H., Fung L.Y. Concurrent Error Detection in ALUs by Recomputing with Shifted Operands. IEEE Transactions on Computers July 1982, Vol. 31:589-595.
251. Fault Tolerant Computer System Design 1996, Prentice Hall. D.K. Pradhan (Ed.).
252. Shibata Y. Fujitsu's Chipset Development for High-Performance, High-Reliability Mission-Critical IA Servers PRIMEQUEST. Fujitsu Science and Technology Journal October 2005, Vol. 41:291-297. Available at: www.fujitsu.com/downloads/MAG/vol41-3/paper03.pdf.
253. Siewiorek D.P., Swarz R.S. Reliable Computer Systems: Design and Evaluation 1998, A.K. Peters.
254. Slegel T.J., Averill R.M., Check M.A., Giamei B.C., Krumm B.W., Krygowski C.A., Li W.H., Liptay J.S., MacDougall J.D., McPherson T.J., Navarro J.A., Schwarz E.M., Shum K., Webb C.F. IBM's S/390 G5 Microprocessor Design. IEEE Micro March/April 1999, 12-23.
255. Sohi G.S., Franklin M., Saluja K.K. A Study of Time-redundant Fault-tolerance Techniques for High Performance Pipelined Computers. Fault-Tolerant Computing Symposium 1989, 436-443.
256. Spainhower L., Gregg T.A. IBM S/390 Parallel Enterprise Server G5 Fault Tolerance: A Historical Perspective. IBM Journal of Research and Development September/November 1999, Vol. 43:863-873.
257. http://www.hpl.hp.com/techreports/tandem/.
258. Turgeon P.R., Mak P., Blake M.A., Ford C.B., Meaney P.J., Seigler R., Shen W.W. The S/390 G5/G6 Binodal Cache. IBM Journal of Research and Development September/November 1999, Vol. 43:661-670.
259. Bhavsar D.K. An Algorithm for Row-Column Self-Repair of RAMs and Its Implementation in the Alpha 21264. International Test Conference (ITC'99) 1999, 311-318.
260. Blough D. Performance Evaluation of a Reconfiguration Algorithm for Memory Arrays Containing Clustered Faults. IEEE Transactions on Reliability June 1996, Vol. 45:274-284.
261. Boubekeur A., Patry J.-L., Saucier G., Trilhe J. Configuring a Wafer Scale Two-Dimensional Array of Single-Bit Processors. IEEE Computer April 1992, Vol. 25:29-39.
262. Chiluvuri V.K.R., Koren I. Layout Synthesis Techniques for Yield Enhancement. IEEE Transactions on Semiconductor Manufacturing May 1995, Vol. 8:178-187. Special Issue on Defect, Fault, and Yield Modeling.
263. Manufacturing Yield Evaluation of VLSI/WSI Systems 1998, IEEE Computer Society Press. B. Ciciani (Ed.).
264. Cunningham J.A. The Use and Evaluation of Yield Models in Integrated Circuit Manufacturing. IEEE Transactions on Semiconductor Manufacturing May 1990, Vol. 3:60-71.
265. Director S.W., Maly W., Strojwas A.J. VLSI Design for Manufacturing: Yield Enhancement 1990, Kluwer Academic Publishers.
266. Ferris-Prabhu A.V. Introduction to Semiconductor Device Yield Modeling 1992, Artech House.
267. Gyvez J.P. Integrated Circuit Defect-Sensitivity: Theory and Computational Models 1993, Kluwer Academic Publishers.
268. IC Manufacturability: The Art of Process and Design Integration 1998, IEEE Computer Society Press. J.P. Gyvez (Ed.).
269. Hampson C.W. Redundancy and High-Volume Manufacturing Methods. Intel Technology Journal 1997, 4th Quarter, Available at: http://developer.intel.com/technology/itj/q41997/articles/art_4.htm.
270. Kalter H.L., Stapper C.H., Barth J.E., Dilorenzo J., Drake C.E., Fifield J.A., Kelley G.A., Lewis S.C., Van Der Hoeven W.B., Yankosky J.A. A 50-ns 16 Mb DRAM with 10-ns Data Rate and On-Chip ECC. IEEE Journal of Solid-State Circuits October 1990, Vol. 25:1118-1128.
271. Kirihata T., Watanabe Y., Wong H., DeBrosse J.K. Fault-Tolerant Designs for 256 Mb DRAM. IEEE Journal of Solid-State Circuits April 1996, Vol. 31:558-566.
272. Kitsukawa G., Horiguchi M., Kawajiri Y., Kawahara T. 256-Mb DRAM Circuit Technologies for File Applications. IEEE Journal of Solid-State Circuits November 1993, Vol. 28:1105-1110.
273. Koren I., Koren Z. Yield Analysis of a Novel Scheme for Defect-Tolerant Memories. IEEE International Conference on Innovative Systems in Silicon October 1996, 269-278.
274. Koren Z., Koren I. On the Effect of Floorplanning on the Yield of Large Area Integrated Circuits. IEEE Transactions on VLSI Systems March 1997, 3-14.
275. Koren I., Koren Z. Analysis of a Hybrid Defect-Tolerance Scheme for High-Density Memory ICs. IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems October 1997, 166-174.
276. Koren I., Koren Z. Defect Tolerant VLSI Circuits: Techniques and Yield Analysis. Proceedings of the IEEE September 1998, Vol. 86:1817-1836.
277. Koren I., Koren Z. Incorporating Yield Enhancement into the Floorplanning Process. IEEE Transactions on Computers June 2000, Vol. 49:532-541. Special Issue on Defect Tolerance in Digital Systems.
278. Koren I. The Effect of Scaling on the Yield of VLSI Circuits. Yield Modelling and Defect Tolerance in VLSI 1988, 91-99. Adam Hilger. W. Moore, W. Maly, A. Strojwas (Eds.).
279. Koren I., Pradhan D.K. Yield and Performance Enhancement through Redundancy in VLSI and WSI Multiprocessor Systems. Proceedings of the IEEE May 1986, Vol. 74:699-711.
280. Koren I., Pradhan D.K. Modeling the Effect of Redundancy on Yield and Performance of VLSI Systems. IEEE Transactions on Computers March 1987, Vol. 36:344-355.
281. Koren I., Stapper C.H. Yield Models for Defect Tolerant VLSI Circuits: A Review. Defect and Fault Tolerance in VLSI Systems 1989, 1-21. Plenum. I. Koren (Ed.).
282. Koren I., Singh A.D. Fault Tolerance in VLSI Circuits. IEEE Computer, Special Issue on Fault-Tolerant Systems July 1990, Vol. 23:73-83.
283. Koren I., Koren Z., Pradhan D.K. Designing Interconnection Buses in VLSI and WSI for Maximum Yield and Minimum Delay. IEEE Journal of Solid-State Circuits June 1988, Vol. 23:859-866.
284. Koren I., Koren Z., Stapper C.H. A Unified Negative Binomial Distribution for Yield Analysis of Defect Tolerant Circuits. IEEE Transactions on Computers June 1993, Vol. 42:724-737.
285. Koren I., Koren Z., Stapper C.H. A Statistical Study of Defect Maps of Large Area VLSI ICs. IEEE Transactions on VLSI Systems June 1994, Vol. 2:249-256.
286. Kubicek D., Sullivan T., Mehra A., McBride J. High-Performance Processor Design Guided by System Costs. Hewlett-Packard Journal June 1997, Vol. 48. Article 8, Available at: http://www.hpl.hp.com/hpjournal/97jun/jun97a8.htm.
287. Kuo S.-Y., Fuchs W. Efficient Spare Allocation for Reconfigurable Arrays. IEEE Design and Test February 1987, Vol. 4:24-31.
288. Kuo S.-Y., Fuchs W.Kent Fault Diagnosis and Spare Allocation for Yield Enhancement in Large Reconfigurable PLA's. IEEE Transactions on Computers February 1992, Vol. 41:221-226.
289. Leveugle R., Koren Z., Koren I., Saucier G., Wehn N. The HYETI Defect Tolerant Microprocessor: A Practical Experiment and a Cost-Effectiveness Analysis. IEEE Transactions on Computers December 1994, Vol. 43:1398-1406.
290. Maly W. Computer-Aided Design for VLSI Circuit Manufacturability. Proceedings of IEEE February 1990, Vol. 78:356-392.
291. Maly W., Moore W.R., Strojwas A. Yield Loss Mechanisms and Defect Tolerance. Yield Modelling and Defect Tolerance in VLSI 1988, 3-30. Adam Hilger. W.R. Moore, W. Maly, A. Strojwas (Eds.).
292. Michalka T.L., Varshney R.C., Meindl J.D. A Discussion of Yield Modeling with Defect Clustering, Circuit Repair, and Circuit Redundancy. IEEE Transactions on Semiconductor Manufacturing August 1990, Vol. 3:116-127.
293. Moore W.R. A Review of Fault-Tolerant Techniques for the Enhancement of Integrated Circuit Yield. Proceedings of the IEEE May 1986, Vol. 74:684-698.
294. Murphy B.T. Cost-Size Optima of Monolithic Integrated Circuits. Proceedings of the IEEE December 1964, Vol. 52:1537-1545.
295. Negrini R., Sami M.G., Stefanelli R. Fault Tolerance Through Reconfiguration in VLSI and WSI arrays 1989, MIT Press.
296. Okabe T., Nagata M., Shimada S. Analysis of Yield of Integrated Circuits and a New Expression for the Yield. Electric Engineering Japan December 1972, Vol. 92:135-141.
297. Papadopoulou E. Critical Area Computation for Missing Material Defects in VLSI Circuits. IEEE Transactions on CAD May 2001, Vol. 20:503-528.
298. Paz O., Lawson T.R. Modification of Poisson Statistics: Modeling Defects Induced by Diffusion. IEEE Journal of Solid-State Circuits October 1977, Vol. SC-12:540-546.
299. Price J.E. A New Look at Yield of Integrated Circuits. Proceedings of the IEEE August 1970, Vol. 58:1290-1291.
300. Seeds R.B. Yield, Economic, and Logistic Models for Complex Digital Arrays. IEEE International Convention Record 1967, 61-66. Part 6.
301. Sehgal A., Dubey A., Marinissen E.J., Wouters C., Vranken H., Chakrabarty K. Redundancy Modelling and Array Yield Analysis for Repairable Embedded Memories. IEE Proceedings-Computers and Digital Techniques January 2005, Vol. 152:97-106.
302. Singh A.D. Interstitial Redundancy: An Area Efficient Fault Tolerance Scheme for Larger Area VLSI Processor Array. IEEE Transactions on Computers November 1988, Vol. 37:1398-1410.
303. Spence R., Soin R.S. Tolerance Design of Electronic Circuits 1988, Addison-Wesley.
304. Stapper C.H. Defect Density Distribution for LSI Yield Calculations. IEEE Transactions Electron Devices July 1973, Vol. ED-20:655-657.
305. Stapper C.H. Modeling of Defects in Integrated Circuit Photolithographic Patterns. IBM Journal of Research and Development July 1984, Vol. 28:461-474.
306. Stapper C.H. On Yield, Fault Distributions and Clustering of Particles. IBM Journal of Research and Development May 1986, Vol. 30:326-338.
307. Stapper C.H., McLaren A.N., Dreckmann M. Yield Model for Productivity Optimization of VLSI Memory Chips with Redundancy and Partially Good Product. IBM Journal of Research and Development 1980, Vol. 20:398-409.
308. Stapper C.H., Armstrong F.M., Saji K. Integrated Circuit Yield Statistics. Proceedings of the IEEE April 1983, Vol. 71:453-470.
309. Sugibayashi T., Naritake I., Utsugi S., Shibahara K., Oikawa R. A 1-Gb DRAM for File Applications. IEEE Journal of Solid-State Circuits November 1995, Vol. 30:1277-1280.
310. Thomas T., Anthony B. Area, Performance, and Yield Implications of Redundancy in On-Chip Caches. IEEE International Conference on Computer Design October 1999, 291-292.
311. Walker D.M.H. Yield Simulation for Integrated Circuits 1987, Kluwer Academic Publishers.
312. Wey C.L. On Yield Considerations for the Design of Redundant Programmable Logic Arrays. IEEE Transactions on Computer-Aided Design April 1988, Vol. CAD-7:528-535.
313. Yamagata T., Sato H., Fujita K., Nishmura Y., Anami K. A Distributed Globally Replaceable Redundancy Scheme for Sub-Half-micron ULSI Memories and Beyond. IEEE Journal of Solid-State Circuits February 1996, Vol. 31:195-201.
314. Yoo J.-H., Kim C.-H., Lee K.-C., Kyung K.-H. A 32-Bank 1 Gb Self-Strobing Synchronous DRAM with 1 GB/s Bandwidth. IEEE Journal of Solid-State Circuits November 1996, Vol. 31:1635-1643.
315. Yung M.W., Little M.J., Etchells R.D., Nash J.G. Redundancy for Yield Enhancement in the 3D Computer. Wafer Scale Integration Conference January 1989, 73-82.
316. Anderson R., Kuhn M. Low Cost Attacks on Tamper Resistant Devices. Lecture Notes in Computer Science 1997, Vol. 1361:125-136. Springer-Verlag.
317. Aumüller C., Bier P., Fischer W., Hofreiter P., Seifert J.-P. Fault Attacks on RSA with CRT: Concrete Results and Practical Countermeasures. Cryptology ePrint Archive 2002, Report 2002/073, Available at: http://eprint.iacr.org/2002/073.
318. Bar-El H., Choukri H., Naccache D., Tunstall M., Whelan C. The Sorcere's Apprentice Guide to Fault Attacks. Proceedings of the IEEE February 2006, Vol. 94:370-382. Issue 2, Also in the Cryptology ePrint Archive, Report 2004/100, 2004. Available at: http://eprint.iacr.org/2004/100.
319. Bertoni G., Breveglieri L., Koren I., Maistri P., Piuri V. Error Analysis and Detection Procedures for a Hardware Implementation of the Advanced Encryption Standard. IEEE Transactions on Computers April 2003, Vol. 52:492-505.
320. Bertoni G., Breveglieri L., Koren I., Maistri P., Piuri V. Concurrent Fault Detection in a Hardware Implementation of the RC5 Encryption Algorithm. IEEE International Conference on Application-Specific Systems, Architectures and Processors 2003, 410-419.
321. Bertoni G., Breveglieri L., Koren I., Maistri P. An Efficient Hardware-Based Fault Diagnosis Scheme for AES: Performances and Cost. IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems October 2004, 130-138.
322. Biham E., Shamir A. Differential Fault Analysis of Secret Key Cryptosystems. Lecture Notes in Computer Science 1997, Vol. 1294:513-525. Springer-Verlag.
323. Blöemer J., Seifert J.-P. Fault Based Cryptanalysis of the Advanced Encryption Standard (AES). Lecture Notes in Computer Science 2003, Vol. 2742:162-181. Available at: http://eprint.iacr.org/2002/075., Springer-Verlag.
324. Boneh D., DeMillo R., Lipton R. On the Importance of Eliminating Errors in Cryptographic Computations. Journal of Cryptology 2001, Vol. 14:101-119.
325. Fault Diagnosis and Tolerance in Cryptography (FDTC). Lecture Notes in Computer Science 2006, Vol. 4236. Springer-Verlag. L. Breveglieri, I. Koren, D. Naccache, J.-P. Seifert (Eds.).
326. Butter A.S., Kao C.Y., Kuruts J.P. DES Encryption and Decryption Unit with Error Checking July 1995, US patent US5432848.
327. Ciet M., Joye M. Elliptic Curve Cryptosystems in the Presence of Permanent and Transient Faults. Cryptology ePrint Archive 2003, Report 2003/028, Available at: http://eprint.iacr.org/2003/028.
328. Daemen J., Rijmen V. The Design of Rijndael: AES-The Advanced Encryption Standard 2002, Springer-Verlag.
329. Giraud C. DFA on AES. Cryptology ePrint Archive 2003, Report 2003/008, Available at: http://eprint.iacr.org/2003/008.
330. Giraud C. Fault Resistant RSA Implementation. Fault Diagnosis and Tolerance in Cryptography (FDTC'05) 2005, 143-151.
331. Giraud C., Thiebeauld H. Basics of Fault Attacks. Fault Diagnosis and Tolerance in Cryptography (FDTC'04)-Supplemental Volume of the Dependable Systems and Networks Conference 2004, 343-347.
332. http://eprint.iacr.org.
333. Joye M., Yen S.-M. The Montgomery Powering Ladder. Lecture Notes in Computer Science 2002, Vol. 2523:291-302. Springer-Verlag.
334. Karri R., Wu K., Mishra P., Yongkook K. Fault-Based Side-Channel Cryptanalysis Tolerant Rijndael Symmetric Block Cipher Architecture. IEEE Symposium on Defect and Fault Tolerance in VLSI Systems 2001, 427-435.
335. Karri R., Kuznetsov G., Goessel M. Parity-based Concurrent Error Detection in Symmetric Block Ciphers. International Test Conference 2003-ITC 2003 2003, 919-926.
336. Karpovsky M.G., Taubin A. A New Class of Nonlinear Systematic Error Detecting Codes. IEEE Transactions on Information Theory 2004, Vol. 50:1818-1820.
337. http://www.ecs.umass.edu/ece/koren/faulttolerance/simulator/.
338. Kulikowski K.J., Karpovsky M.G., Taubin A. Fault Attack Resistant Cryptographic Hardware with Error Detection. Lecture Notes in Computer Science 2006, Vol. 4236:185-195. Springer-Verlag.
339. National Institute of Standards and Technology Data Encryption Standard. FIPS Publication No. 46 January 1977.
340. National Institute of Standards and Technology Advanced Encryption Standard. FIPS publication No. 197 November 2001, Available at: http://csrc.nist.gov/publications/fips/fips197/fips-197.pdf.
341. Piret G., Quisquater J.-J. A Differential Fault Attack Technique against SPN Structures, with Application to the AES and Khazad. Lecture Notes in Computer Science 2003, Vol. 2779:77-88. Springer-Verlag.
342. Rivest R.L., Shamir A., Adleman L. A Method for Obtaining Digital Signatures and Publickey Cryptosystems. Communications of the ACM 1978, Vol. 21:120-126.
343. Shamir A. Method and Apparatus for Protecting Public Key Schemes from Timing and Fault Attacks 1999, US Patent 5991415.
344. RSA demonstrator, available at:, RSA demonstrator, available at:, RSA demonstrator, available at:, RSA demonstrator, available at:. http://wwwr.cs.eku.edu/faculty/styer/460/Encrypt/RSAdemo.html.
345. http://en.wikipedia.org/wiki/Cryptography.
346. Yen S.-M., Joye M. Checking Before Output May Not Be Enough Against Fault-Based Cryptanalysis. IEEE Transactions on Computers September 2000, Vol. 49:967-970.
347. Yen S.-M., Moon S., Ha J.-C. Permanent Fault Attack on the Parameters of RSA with CRT. Lecture Notes in Computer Science 2003, Vol. 2727:285-296. Springer-Verlag.
348. Aidemark J.L., Vinter J.P., Folkesson P., Karlsson J. GOOFI: A Generic Fault Injection Tool. Dependable Systems and Networks Conference (DSN-2001) 2001, 83-88.
349. Arlat J., Costes A., Crouzet Y., Laprie J.C., Powell D. Fault Injection and Dependability Evaluation of Fault-Tolerant Systems. IEEE Transactions on Computers August 1993, Vol. 42:913-923.
350. Arlat J., Crouzet Y., Karlsson J., Folkesson P., Fuchs E., Leber G.H. Comparison of Physical and Software-Implemented Fault Injection Techniques. IEEE Transactions on Computers September 2003, Vol. 52:1115-1133.
351. Handbook of Simulation 1998, Wiley. J. Banks (Ed.).
352. Banks J., Carson J.S., Nelson B.L., Nicol D.M. Discrete-Event System Simulation 2001, Prentice Hall.
353. Barton J.H., Czeck E.W., Segall Z., Siewiorek D.P. Fault Injection Experiments Using FIAT. IEEE Transactions on Computers April 1990, Vol. 39:575-582.
354. Bunday B.D., Bokhari S.M.H., Khan K.H. A New Algorithm for the Normal Distribution Function. Sociedad de Estadistica e Investigacion Operativa Test 1997, Vol. 6:369-377.
355. Carreira J., Madeira H., Silva J.G. Xception: A Technique for the Experimental Evaluation of Dependability in Modern Computers. IEEE Transactions on Software Engineering February 1998, Vol. 24:125-136.
356. Clark J.A., Pradhan D.K. Fault Injection: A Method for Validating Computer-System Dependability. IEEE Computer June 1995, Vol. 28:47-56.
357. Cohen A.C., Whitten B.J. Parameter Estimation in Reliability and Life Span Models 1988, Marcel Dekker.
358. Durairaj G., Koren I., Krishna C.M. Importance Sampling to Evaluate Real-Time System Reliability. Simulation March 2001, Vol. 76:172-183.
359. Fishman G.S. Discrete Event Simulation 2001, Springer-Verlag.
360. Fishman G.S. A First Course in Monte Carlo 2006, Duxbury.
361. Fujimoto R.M. Parallel and Distributed Simulation 2000, Wiley.
362. Goyal A., Shahabuddin P., Heidelberger P., Nicola V.F., Glynn P.W. A Unified Framework for Simulating Markovian Models of Highly Dependable Systems. IEEE Transactions on Computers January 1992, Vol. 41:36-51.
363. Gunneflo U., Karlsson J., Torin J. Evaluation of Error Detection Schemes Using Fault Injection by Heavy-ion Radiation. 19th IEEE International Symposium on Fault-Tolerant Computing (FTCS-19) June 1989, 340-347.
364. Han S., Shin K.G., Rosenberg H.A. DOCTOR: An Integrated Software Fault Injection Environment for Distributed Real-time Systems. International Computer Performance and Dependability Symposium (IPDS'95) April 1995, 204-213.
365. Heidelberger P. Fast Simulation of Rare Events in Queuing and Reliability Models. ACM Transactions on Modeling and Computer Simulation January 1995, Vol. 5:43-55.
366. Hillier F.S., Lieberman G.J. Introduction to Operations Research 2001, McGraw-Hill.
367. Hsueh M.C., Tsai T.K., Iyer R.K. Fault Injection Techniques and Tools. IEEE Computer April 1997, Vol. 30:75-82.
368. Jain R. The Art of Computer Systems Performance Analysis 1991, Wiley.
369. Kanawati G.A., Kanawati N.A., Abraham J.A. FERRARI: A Flexible Software-Based Fault and Error Injection System. IEEE Transactions on Computers February 1995, Vol. 44:248-260.
370. Knuth D.E. The Art of Computer Programming 1998, Vol. 2. Addison-Wesley.
371. L'Ecuyer P. Random Numbers. International Encyclopedia of Social and Behavioral Sciences 2001, Elsevier.
372. Lewis E.E., Bohm F. Monte Carlo Simulation of Markov Unreliability Models. Nuclear Engineering and Design 1984, Vol. 77:49-62.
373. Nakayama M.K. Fast Simulation Methods for Highly Dependable Systems. Winter Simulation Conference 1994, 221-228.
374. Nakayama M.K. A Characterization of the Simple Failure-Biasing Method for Simulations of Highly Reliable Markovian Systems. ACM Transactions on Modeling and Computer Simulation January 1994, Vol. 4:52-86.
375. Powell D., Martins E., Arlat J., Crouzet Y. Estimators for Fault Tolerance Coverage Evaluation. IEEE Transactions on Computers February 1995, Vol. 44:261-274.
376. Ross S.M. Simulation 2002, Academic Press.
377. Schriber T.J. An Introduction to Simulation using GPSS/H 1991, Wiley.
378. Sorenson H.W. Parameter Estimation: Principles and Problems 1980, Marcel Dekker.
379. Stott D.T., Ries G., Hsueh M.-C., Iyer R.K. Dependability Analysis of a High-Speed Network Using Software-Implemented Fault Injection and Simulated Fault Injection. IEEE Transactions on Computers January 1998, Vol. 47:108-119.
380. Trivedi K.S. Probability and Statistics with Reliability, Queuing and Computer Science Applications 2002, John Wiley.
381. Voas J.M., McGraw G. Software Fault Injection 1998, Wiley Computer Publishing.
382. Voas J., McGraw G., Kassab L., Voas L. Fault-Injection: A Crystal Ball for Software Liability. IEEE Computer June 1997, Vol. 30:29-36.