Resilient computer system design

Resilient Computer System Design

Volumn , Issue , 2015, Pages 1-256

  Castano, Victor ^a   Schagaev, Igor ^b  

^a ITACS Ltd   (United Kingdom)

^b LONDON METROPOLITAN UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

REAL TIME SYSTEMS;

IMPLEMENTATION SCHEME; METHODS OF ANALYSIS; NEW ICT; POWER EFFICIENCY; REAL TIME; WEARABLE HEALTH CARE;

MEDICAL COMPUTING;

EID: 84943764290     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1007/978-3-319-15069-7     Document Type: Book

References (361)

1. Abramovici M, Breuer MA (1979) On redundancy and fault detection in sequential circuits. IEEE Trans Comput 28: 864-865
2. Abramovici M, Breuer MA, Friedman AD (1994) Digital systems testing & testable design, 1st edn. Wiley-IEEE, Hoboken NJ
3. Adams JH, Gelman A (1984) The effects of solar flares on single event upset rates. IEEE Trans Nucl Sci 31: 1212-1216. doi: 10.1109/TNS.1984.4333485
4. Adams JH, Silberberg R, Tsao CH (1982) Cosmic ray effects on microelectronics. IEEE Trans Nucl Sci 29: 169-172. doi: 10.1109/TNS.1982.4335821
5. Agrawal VD, Chakradhar ST (1995) Combinational ATPG theorems for identifying untestable faults in sequential circuits. IEEE Trans Comput Aided Des Integrated Circ Syst 14: 1155-1160
6. Alam M et al (2007) Characterization and estimation of circuit reliability degradation under NBTI using on-line IDDQ measurement. In: Proceedings of design automation conference
7. Alanen J, Ungar LY (2011) Comparing software design for testability to hardware DFT and BIST. In: 2011 I.E. AUTOTESTCON, pp 272-278
8. Allenspach M, Brews JR, Mouret I, Schrimpf RD, Galloway KF (1994) Evaluation of SEGR threshold in power MOSFETs. IEEE Trans Nucl Sci 41: 2160-2166
9. Ames B (2007) Intel tests chip design with 80-core processor. http://www.macworld.com/news/2007 /02/12/intel/
10. Amusan OA, Witulski AF, Massengill LW, Bhuva BL, Fleming PR, Alles ML, Sternberg AL, Black JD, Schrimpf RD (2006) Charge collection and charge sharing in a 130 nm CMOS technology. IEEE Trans Nucl Sci 53: 3253-3258
11. Anderson T, Lee PA (1981) Fault tolerance: principles and practice. Prentice-Hall, Englewood Cliffs, NJ
12. Antola A, Erényi I, Scarabottolo N (1986) Transient fault management in systems based on the AMD 2900 microprocessors. Microprocess Microprogram 17: 205-217
13. Applebaum SP (1965) Steady-state reliability of systems of mutually independent subsystems. IEEE Trans Reliab R-14: 23-29
14. Arimoto K, Matsuda Y, Furutani K, Tsukude M, Ooishi T, Mashiko K, Fujishima K (1990) A speed-enhanced DRAM array architecture with embedded ECC. IEEE J Solid State Circuits 25: 11-17
15. Armstrong DB (1966) On finding a nearly minimal set of fault detection tests for combinational logic nets. IEEE Trans Electron Comput EC-15: 66-73
16. Asakura M, Matsuda Y, Hidaka H, Tanaka Y, Fujishima K (1990) An experimental 1-Mbit cache DRAM with ECC. IEEE J Solid State Circuits 25: 5-10
17. Asanovic K, Bodik R, Catanzaro B, Gebis J, Husbands P, Keutzer K, Patterson D, Plishker W, Shalf J, Williams S, Yelick K (2006) The landscape of parallel computing research: a view from Berckeley. Technical report № UCB/EECS-2006-183
18. Avizienis A (1971) Faulty-tolerant computing: an overview. Computer 4: 5-8
19. Avizienis A (1976) Fault-tolerant systems. IEEE Trans Comput C-25: 1304-1312
20. Avizienis A (1982) The four-universe information system model for the study of fault tolerance. In: Proceedings of the 12th annual international symposium on fault-tolerant computing, Santa Monica, CA, pp 6-13
21. Avizienis A, Kelly JPJ (1984) Fault tolerance by design diversity: concepts and experiments. Computer 17: 67-80
22. Avizienis A, Laprie J-C, Randell B, Landwehr C (2004) Basic concepts and taxonomy of dependable and secure computing. IEEE Trans Dependable Secure Comput 1: 11-33
23. Azadmanesh MH, Kieckhafer RM (2000) Exploiting omissive faults in synchronous approximate agreement. IEEE Trans Comput 49: 1031-1042
24. Baeg S, Wen S, Wong R (2009) SRAM interleaving distance selection with a soft error failure model. IEEE Trans Nucl Sci 56: 2111-2118
25. Barlow RE, Proschan F (1975) Statistical theory of reliability and life testing: probability models
26. Barth JL, LaBel KA, Poivey C (2004) Radiation assurance for the space environment. In: Integrated circuit design and technology, ICICDT’04. International conference on presented at the integrated circuit design and technology, pp. 323-333. doi: 10.1109/ICICDT.2004. 1309976
27. Baumann RC (2001) Soft errors in advanced semiconductor devices-part I: the three radiation sources. IEEE Trans Device Mater Reliab 1: 17-22
28. Baumann R (2002) The impact of technology scaling on soft error rate performance and limits to the efficacy of error correction. In: International electron devices meeting (IEDM’02). Digest. pp 329-332
29. Baumann R (2005a) Soft errors in advanced computer systems. IEEE Des Test Comput 22: 258-266
30. Baumann RC (2005b) Radiation-induced soft errors in advanced semiconductor technologies. IEEE Trans Dev Mater Rel 5: 305-316
31. Baumann R, Hossain T, Murata S, Kitagawa H (1995) Boron compounds as a dominant source of alpha particles in semiconductor devices. In: Reliability physics symposium, 1995. 33rd annual proceedings, IEEE international, pp 297-302
32. Beaudry MD (1978) Performance-related reliability measures for computing systems. IEEE Trans Comput C-27: 540-547
33. Becker HN, Miyahira TF, Johnston AH (2002) Latent damage in CMOS devices from single-event latchup. IEEE Trans Nucl Sci 49: 3009-3015
34. Beitman BA (1988) n-channel MOSFET breakdown characteristics and modeling for p-well technologies. IEEE Trans Electron Dev 35: 1935-1941
35. Bentoutou Y, Djaifri M (2008) Observations of single-event upsets and multiple-bit upsets in random access memories on-board the Algerian satellite. In: IEEE nuclear science symposium conference record (NSS’08), pp 2568-2570
36. Berger MJ, Coursey JS, Zucker MA, Chang J (2005) ESTAR, PSTAR, and ASTAR: computer programs for calculating stopping-power and range tables for electrons, protons, and helium ions (version 1.2.3). http://physics.nist.gov/Star. Accessed 11 Sept 2010.
37. Berka S (2009) Operating system documentation project. http://www.operating-system.org/betriebssys tem/_english/index.htm
38. Bernstein AV, Tomfield YL, Schagaev IV (1992) Storage unit with high reliability characteristics. I. Avtomat i Telemekh 145-152
39. Bernstein AV, Tomfield YL, Schagaev IV(1993) RAM of high reliability properties. II. Avtomat. i Telemekh 169-179
40. Binder D, Smith EC, Holman AB (1975) Satellite anomalies from galactic cosmic rays. IEEE Trans Nucl Sci 22: 2675-2680. doi: 10.1109/TNS.1975.4328188
41. Birolini A (2014) Reliability engineering, 7th ed. Springer, Heidelberg
42. Blake JB, Mandel R (1986) On-orbit observations of single event upset in Harris HM-6508 1K RAMS. IEEE Trans Nucl Sci 33: 1616-1619. doi: 10.1109/TNS.1986.4334651
43. Blandford JT, Waskiewicz AE, Pickel JC (1984) Cosmic ray induced permanent damage in MNOS EAROMs. IEEE Trans Nucl Sci 31: 1568-1570
44. Bläser L (2006) A component language for structured parallel programming. Proc JMLC, Oxford, UK
45. Bläser L (2007) A high-performance operating system for structured concurrent programs. In: Proceedings of the workshop on Programming Languages and Operating Systems (PLOS), Oct 2007
46. Boatella C, Hubert G, Ecoffet R, Duzellier S (2009) ICARE on-board SAC-C: more than 8 years of SEU & MCU, analysis and prediction. IEEE, pp 369-374
47. Bodsberg L, Hokstad P (1995) A system approach to reliability and life-cycle cost of process safety-systems. IEEE Trans Reliab 44: 179-186
48. Bogliolo A, Favalli M, Damiani M (2000) Enabling testability of fault-tolerant circuits by means of IDDQ checkable voters. IEEE Trans Very Large Scale Integr Syst 8: 415-419
49. Bose RC, Ray-Chaudhuri DK (1960) On a class of error correcting binary group codes. Inf Control 3: 68-79
50. Bougerol A, Miller F, Buard N (2008) SDRAM architecture & single event effects revealed with laser. In: 14th IEEE international on-line testing symposium (IOLTS’08). pp 283-288
51. Bougerol A, Miller F, Guibbaud N, Gaillard R, Moliere F, Buard N (2010) Use of laser to explain heavy ion induced SEFIs in SDRAMs. IEEE Trans Nucl Sci 57: 272-278. doi: 10.1109/TNS. 2009.2037418
52. Bougerol A, Miller F, Guibbaud N, Leveugle R, Carriere T, Buard N (2011) Experimental demonstration of pattern influence on DRAM SEU and SEFI radiation sensitivities. IEEE Trans Nucl Sci 58: 1032-1039
53. Bouricius WG, Carter WC, Schneider PR (1969) Reliability modeling techniques for selfrepairing computer systems. In: Proceedings of the 1969 24th national conference, ACM’ 69. ACM, New York, NY, pp 295-309
54. Bradley PD, Normand E (1998) Single event upsets in implantable cardioverter defibrillators. IEEE Trans Nucl Sci 45: 2929-2940
55. Breuer MA (1973) Testing for intermittent faults in digital circuits. IEEE Trans Comput C-22: 241-246
56. Brocklehurst S, Littlewood B, Olovsson T, Jonsson E (1994) On measurement of operational security. IEEE Aerosp Electron Syst Mag 9: 7-16
57. Bryant R, O’Hallaron D (2002) Computer systems: a programmer’s perspective. Prentice Hall, Upper Saddle River, NJ
58. Buchner S, Baze M, Brown D, McMorrow D, Melinger J (1997) Comparison of error rates in combinational and sequential logic. IEEE Trans Nucl Sci 44: 2209-2216
59. Buckle R, Highleyman WH (2003) The new nonstop advanced architecture: a massive jump in processor reliability. Connection 24
60. Caldwell DW (1998) DSIGDE/PowerAnomaly Day300: analysis and resolution
61. Carter WC (1979) Hardware fault tolerance. In: Computing systems reliability. CUP Archive, pp 211-263
62. Carter WC, Bouricius WG (1971) A survey of fault tolerant computer architecture and its evaluation. Computer 4: 9-16
63. Carter WC, Schneider PR (1968) Design of dynamically checked computers. In: IFIP congress (2). pp 878-883
64. Caywood JM, Prickett BL (1983) Radiation-induced soft errors and floating gate memories. In: 21st annual reliability physics symposium, 1983, pp 167-172
65. Cazeaux JM, Rossi D, Metra C (2004) New high speed CMOS self-checking voter. In: Proceedings of the international on-line testing symposium, 10th IEEE (IOLTS’04). IEEE Computer Society, Washington, DC, p 58
66. Cha H, Rudnick EM, Choi GS, Patel JH, Iyer RK (1993) A fast and accurate gate-level transient fault simulation environment. In: Digest of papers, presented at the twenty-third international symposium on the fault-tolerant computing, 1993. FTCS-23, pp 310-319
67. Chen CL, Hsiao MY (1984) Error-correcting codes for semiconductor memory applications: a state-of-the-art review. IBM J Res Dev 28: 124-134
68. Claeys CL, Simoen E (2002) Radiation effects in advanced semiconductor materials and devices. Springer, Heidelberg
69. Coe T, Mathisen T, Moler C, Pratt V (1995) Computational aspects of the pentium affair. IEEE Comput Sci Eng 2: 18-30
70. Conlon JC, Lilius WA, Tubbesing FH (1982) Test and evaluation of system reliability, availability, maintainability: a primer. Office of the Director, Defense Test and Evaluation, Under Secretary of Defense for Research and Engineering
71. Constantinescu C (2003) Trends and challenges in VLSI circuit reliability. IEEE Micro 23: 14-19
72. Constantinescu C, Parulkar I, Harper R, Michalak S (2008) Silent data corruption - myth or reality? In: IEEE international conference on dependable systems and networks with FTCS and DCC, (DSN 2008), pp 108-109
73. Cottrell PE, Troutman RR, Ning TH (1979) Hot-electron emission in N-channel IGFET’s. IEEE Trans Electron Dev 26: 520-533
74. Crain SH, Velazco R, Alvarez MT, Bofill A, Yu P, Koga R (1999) Radiation effects in a fixedpoint digital signal processor. Presented at the radiation effects data workshop, 1999, pp 30-34
75. Czajkowski DR, Pagey MP, Samudrala PK, Goksel M, Viehman MJ (2005) Low power, highspeed radiation hardened computer & flight experiment. Presented at the IEEE aerospace conference, 2005, pp 1-10
76. Czajkowski DR, Samudrala PK, Pagey MP (2006) SEU mitigation for reconfigurable FPGAs. Presented at the IEEE aerospace conference, 2006, p 7
77. DeAngelis D, Lauro JA (1976) Software recovery in the fault-tolerant spaceborne computer., In: IEEE computer society sixth int. fault-tolerant computing symp, Pittsburg, PA, Digest. pp 143-148
78. Department of Electrical Engineering (1952) Whirlwind I master drawing list and general rack layout of computer. MIT, Cambridge, MA
79. Desko JC, Darwish MN, Dolly MC, Goodwin CA, Dawes WR, Titus JL (1990) Radiations hardening of a high voltage IC technology (BCDMOS). IEEE Trans Nucl Sci 37: 2083-2088
80. Dhillon BS (2006) Maintainability, maintenance, and reliability for engineers. CRC, Boca Raton, FL
81. Dhillon YS, Diril AU, Chatterjee A, Metra C (2005) Load and logic co-optimization for design of soft-error resistant nanometer CMOS circuits. In: IEEE International on-line testing symposium, Los Alamitos, CA, pp 35-40
82. Dijkstra EW (1965) Solution of a problem in concurrent programming control. Commun ACM 8: 569
83. Dixit A, Wood A (2011) The impact of new technology on soft error rates. In: IEEE international reliability physics symposium (IRPS), 2011, pp 5B.4.1-5B.4.7
84. Dodd PE (2005) Physics-based simulation of single-event effects. IEEE Trans Dev Mater Reliab 5: 343-357
85. Dodd PE, Massengill LW (2003) Basic mechanisms and modeling of single-event upset in digital microelectronics. IEEE Trans Nucl Sci 50: 583-602
86. Dodd PE, Shaneyfelt MR, Walsh DS, Schwank JR, Hash GL, Loemker RA, Draper BL, Winokur PS (2000) Single-event upset and snapback in silicon-on-insulator devices and integrated circuits. IEEE Trans Nucl Sci 47: 2165-2174
87. Dreslinski RG, Wieckowski M, Blaauw D, Sylvester D, Mudge T (2010) Near-threshold computing: reclaiming Moore’s law through energy efficient integrated circuits. Proc IEEE 98: 253-266
88. Dufour C, Garnier P, Carriere T, Beaucour J, Ecoffet R, Labrunee M (1992) Heavy ion induced single hard errors on submicronic memories [for space application]. IEEE Trans Nucl Sci 39: 1693-1697
89. Dugan JB, Trivedi KS (1989) Coverage modeling for dependability analysis of fault-tolerant systems. IEEE Trans Comput 38: 775-787
90. Dunn M (1991) Designer fault models for VLSI. Presented at the IEE colloquium on design for testability, pp 4/1-4/5
91. Duzellier S, Falguere D, Ecoffet R (1993) Protons and heavy ions induced stuck bits on large capacity RAMs. In: Second European conference on radiation and its effects on components and systems (RADECS 93), pp 468-472
92. Duzellier S, Ecoffet R, Falguere D, Nuns T, Guibert L, Hajdas W, Calvert MC (1997) Low energy proton induced SEE in memories. IEEE Trans Nucl Sci 44: 2306-2310
93. Dyer CS, Sims AJ, Farren J, Stephen J (1990) Measurements of solar flare enhancements to the single event upset environment in the upper atmosphere [avionics]. IEEE Trans Nucl Sci 37: 1929-1937
94. Dyer CS, Truscott PR, Evans H, Sims AJ, Hammond N, Comber C (1996) Secondary radiation environments in heavy space vehicles and instruments. Adv Space Res 17: 53-58
95. Eckert DI (2001) Odyssey MEEB analysis. Lockheed-Martin presentation
96. Ecoffet R, Duzellier S, Tastet P, Aicardi C, Labrunee M (1994) Observation of heavy ion induced transients in linear circuits. In: IEEE radiation effects data workshop, 1994, pp 72-77
97. ECSS (2007) Space engineering: methods for the calculation of radiation received and its effects, and a policy for design margins-ECSS-E-10-12 Draft 0.5
98. Edwards R, Dyer C, Normand E (2004) Technical standard for atmospheric radiation single event effects, (SEE) on avionics electronics. Presented at the IEEE radiation effects data workshop, 2004, pp 1-5
99. EIA/JEDEC Standard (1996) Test procedures for the measurement of single-event effects in semiconductor devices from heavy ion irradiation. EIA/JEDEC Standard
100. Elsayed EA (1996) Reliability engineering. Prentice Hall, Upper Saddle River, NJ, Har/Dsk. edition
101. Everett R, Swain F (1947) Report R-127, Whirlwind I computer block diagrams. MIT Servomechanisms Laboratory
102. Felix JA, Shaneyfelt MR, Schwank JR, Dalton SM, Dodd PE, Witcher JB (2007) Enhanced degradation in power MOSFET devices due to heavy ion irradiation. IEEE Trans Nucl Sci 54: 2181-2189
103. Fieseler PD, Ardalan SM, Frederickson AR (2002) The radiation effects on Galileo spacecraft systems at Jupiter. IEEE Trans Nucl Sci 49: 2739-2758. doi: 10.1109/TNS.2002.805386
104. Fischer TA (1987) Heavy-ion-induced, gate-rupture in power MOSFETs. IEEE Trans Nucl Sci 34: 1786-1791
105. Fisher JA (1983) Very long instruction word architectures and the ELI-512. Proceedings of the 10th annual international symposium on computer architecture. ACM, Stockholm, Sweden, pp 140-150
106. Fleetwood D, Pantelides S, Schrimpf R (2008) Oxide traps, border traps, and interface traps in SiO2. In: Fleetwood D, Pantelides S, Schrimpf R (eds) Defects in microelectronic materials and devices. CRC, Boca Raton, FL
107. Flynn M (1972) Some computer organizations and their effectiveness. IEEE Trans Comput C-21: 948
108. Fortes JAB, Raghavendra CS (1985) Gracefully degradable processor arrays. IEEE Trans Comput C-34: 1033-1044
109. Franklin M, Saluja KK (1995) Embedded RAM testing. Records of the 1995 I.E. international workshop on memory technology, design and testing, pp 29-33
110. Franzon P, Harrod W, Hill K, Hiller J, Karp S, Keckler S, Klein D, Lucas R (2010) Guide for HPC applications on IBM power 755 system
111. Friedman AD (1967) Fault detection in redundant circuits. IEEE Trans Electr Comput EC-16: 99-100
112. Furutani K, Arimoto K, Miyamoto H, Kobayashi T, Yasuda K, Mashiko K (1989) A built-in Hamming code ECC circuit for DRAMs. IEEE J Solid State Circuits 24: 50-56
113. Galey JM, Norby RE, Roth JP (1961) Techniques for the diagnosis of switching circuit failures. In: Proceedings of the second annual symposium on switching circuit theory and logical design (SWCT 1961), pp 152-160
114. Gaisler J (2002) A portable and fault-tolerant microprocessor based on the SPARC v8 architecture. European Space Agency, Noorwijk. Conference on dependable systems and networks, DSN 2002. doi: 10.1109/DSN.2002.1028926
115. Geer D (2007) For programmers, multicore chips mean multiple challenges. Computer 40: 17-19
116. Geppert L (2004) A static RAM says goodbye to data errors [radiation induced soft errors]. IEEE Spectr 41: 16-17
117. Gnedenko B, Pavlov IV, Ushakov IA (1999) Statistical reliability engineering, 1st edn. Wiley-Interscience, Hoboken NJ
118. Goldstein L (1979) Controllability/observability analysis of digital circuits. IEEE Trans Circuit Syst 26: 685-693
119. Goldstine A, Goldstine HH (1946) ENIAC, the electronic numerical integrator. Math Tables Other Aids Comput 1: 97-110
120. Gosden J (1966) Explicit parallel processing description and control in programs for multi- and uni- processor computers. In: Proc of AFIPS’66, 7-10 Nov 1966. ACM, New York, pp 651-660
121. Gössel M, Ocheretny V, Sogomonyan E, Marienfeld D (2008) New methods of concurrent checking. Springer, The Netherlands
122. Goth G (2009) Entering a parallel universe. Commun ACM 52: 15
123. Gountanis RJ, Viss NL (1966) A method of processor selection for interrupt handling in a multiprocessor system. Proc IEEE 54: 1812-1819
124. Gregory BL, Shafer BD (1973) Latch-up in CMOS integrated circuits. IEEE Trans Nucl Sci 20: 293-299
125. Guenzer CS, Wolicki EA, Allas RG (1979) Single event upset of dynamic rams by neutrons and protons. IEEE Trans Nucl Sci 26: 5048-5052
126. Gutknecht J (2006) The dining philosophers problem revisited, JMLC 2006. Lect Notes Comput Sci 4228: 377-382
127. Hamming RW (1950) Error correction and error detection coding. Bell Syst Tech J 29: 147-160
128. Hana HH, Johnson BW (1986) Concurrent error detection in VLSI circuits using time redundancy. In: Proc IEEE Southeastcon 1986 regional conf., pp 208-212
129. Haraszti TP (2000) CMOS memory circuits. Springer, New York, NY
130. Harboe-Sorensen R, Guerre F-X, Lewis G (2007) Heavy-ion SEE test concept and results for DDR-II memories. IEEE Trans Nucl Sci 54: 2125-2130. doi: 10.1109/TNS.2007.909747
131. Hauge PS, Ziegler JF, Srinivasan GR (1996) Special issue: terrestrial cosmic rays and soft errors. IBM J Res Dev. http://portal.acm.org/citation.cfm?id1/4226354. Accessed 7 Jan 2010
132. Hawkins C, Keshavarzi A, Segura J (2003) CMOS IC nanometer technology failure mechanisms. The custom integrated circuits conference, 2003. Proceedings of the IEEE, pp 605-611
133. Hayes JP (1975) Detection of pattern-sensitive faults in random-access memories. IEEE Trans Comput C-24: 150-157
134. Hazucha P, Svensson C (2000) Impact of CMOS technology scaling on the atmospheric neutron soft error rate. IEEE Trans Nucl Sci 47: 2586-2594
135. Hazucha P, Karnik T, Maiz J, Walstra S, Bloechel B, Tschanz J, Dermer G, Hareland S, Armstrong P, Borkar S (2003) Neutron soft error rate measurements in a 90-nm CMOS process and scaling trends in SRAM from 0.25-µm to 90-nm generation. Technical digest, IEEE international electron devices meeting. (IEDM’03). pp 21.5.1-21.5.4
136. Heidel DF, Marshall PW, LaBel KA, Schwank JR, Rodbell KP, Hakey MC, Berg MD, Dodd PE, Friendlich MR, Phan AD, Seidleck CM, Shaneyfelt MR, Xapsos MA (2008) Low energy proton single-event-upset test results on 65 nm SOI SRAM. IEEE Trans Nucl Sci 55: 3394-3400
137. Heise B (2009) Computerproblemelegen check-in-system der lufthansalahr. http://www.heise.de/newsticker/meldung/Computerprobleme-legen-Check-in-System-der-Lufthansa-lahm-798193. html
138. Hennessy JL, Patterson DA (2006) Computer architecture: a quantitative approach, 4th edn. Morgan Kaufmann, Burlington, MA
139. Hentschke R, Marques F, Lima F, Carro L, Susin A, Reis R (2002) Analyzing area and performance penalty of protecting different digital modules with hamming code and triple modular redundancy. In: Proceedings of the 15th symposium on integrated circuits and systems design, SBCCI’02. IEEE computer society, Washington, DC, p 95
140. Hill MD, Rajwar R (2001) The rise and fall of multiprocessor papers in ISCA [www.document]. The rise and fall of multiprocessor papers in the international symposium on computer architecture (ISCA). http://pages.cs.wisc.edu/~markhill/mp2001.html. Accessed 4 Aug 2010
141. Hofstra University (1999) History in the computing curriculum. Appendix 4 1950-59. www. comphist.org/pdfs/CompHist_9812tla4.pdf
142. Hohl JH, Galloway KF (1987) Analytical model for single event burnout of power MOSFETs. IEEE Trans Nucl Sci 34: 1275-1280
143. Holland JH (1960) Iterative circuit computers. In: Western joint IRE- AIEE-ACM computer conference, May 3-5, 1960, San Francisco, CA, pp. 259-265
144. Howe CL, Weller RA, Reed RA, Mendenhall MH, Schrimpf RD, Warren KM, Ball DR, Massengill LW, LaBel KA, Howard JW, Haddad NF (2005) Role of heavy-ion nuclear reactions in determining on-orbit single event error rates. IEEE Trans Nucl Sci 52: 2182-2188
145. Hsiao MY (1970) A class of optimal minimum odd-weight-column SEC-DED codes. IBM J Res Dev 14: 395-401
146. Hsieh CM, Murley PC, O’Brien RR (1981) A field-funneling effect on the collection of alphaparticle- generated carriers in silicon devices. IEEE Electron Device Lett 2: 103-105
147. Hsieh C-M, Murley PC, O’Brien RR (1983) Collection of charge from alpha-particle tracks in silicon devices. IEEE Trans Electron Dev 30: 686-693
148. Hughes HL, Benedetto JM (2003) Radiation effects and hardening of MOS technology: devices and circuits. IEEE Trans Nucl Sci 50: 500-521
149. Hugue MM, Purtilo J (2002) Guerrilla tactics: motivating design patterns for high-dependability applications. In: Proceedings of the 27th annual NASA Goddard/IEEE software engineering workshop, pp 33-39
150. Hutcheson GD (2009) The economic implications of Moore’s Law. In: Into the nano era. pp 11-38
151. Ibe E, Chung SS, Wen S, Yamaguchi H, Yahagi Y, Kameyama H, Yamamoto S, Akioka T (2006) Spreading diversity in multi-cell neutron-induced upsets with device scaling. Presented at the IEEE custom integrated circuits conference, 2006, pp 437-444
152. Ibe E, Taniguchi H, Yahagi Y, K S, Toba T (2010) Impact of scaling on neutron-induced soft error in SRAMs from a 250 nm to a 22 nm design rule. IEEE Trans Electron Dev 57: 1527-1538
153. IBM (2007) IBM Power6 microprocessor and IBM System p 570
154. Irom F, Nguyen DN (2007) Single event effect characterization of high density commercial NAND and NOR nonvolatile flash memories. IEEE Trans Nucl Sci 54: 2547-2553
155. ITRS (2011) International technology roadmap for semiconductors
156. JEDEC "JESD89-3A," (2007) www.jedec.org/sites/default/files/docs/JESD89-3A.pdf
157. Jennings BF (1990) Fault detection in microprocessor based systems. In: IEE colloquium on fault tolerant techniques, pp 7/1-718
158. Johansson K, Dyreklev P, Granbom O, Calver MC, Fourtine S, Feuillatre O (1998) In-flight and ground testing of single event upset sensitivity in static RAMs. IEEE Trans Nucl Sci 45: 1628-1632. doi: 10.1109/23.685251
159. Johnson BW (1989) The design and analysis of fault tolerant digital systems. Addison-Wesley, Reading, MA
160. Johnson BW, Aylor JH, Hana HH (1988) Efficient use of time and hardware redundancy for concurrent error detection in a 32-bit VLSI adder. IEEE J Solid State Circuits 23: 208-215
161. Johnson GH, Schrimpf RD, Galloway KF, Koga R (1992) Temperature dependence of singleevent burnout in n-channel power MOSFETs [for space application]. IEEE Trans Nucl Sci 39: 1605-1612
162. Johnston AH (1996) The influence of VLSI technology evolution on radiation-induced latchup in space systems. IEEE Trans Nucl Sci 43: 505-521
163. Johnston AH, Hughlock BW, Baze MP, Plaag RE (1991) The effect of temperature on singleparticle latchup. IEEE Trans Nucl Sci 38: 1435-1441
164. Kaczer B, Arkhipov V, Degraeve R et al (2005) Temperature dependence of the negative bias temperature instability in the framework of dispersive transport. Appl Phys Lett 86: 143506
165. Kadayif I, Sen H, Koyuncu S (2010) Modeling soft errors for data caches and alleviating their effects on data reliability. Microprocess Microsyst 34: 200-214
166. Kaegi T, Schagaev I (2013) System software support of hardware deficiency. In: ITACS 2013, ISBN 978- 0-9575049-0-5
167. Kaegi-Trachsel T et al (2009) Hardware testing on the level of tasks. Preprints of the 30th IFAC workshop on real-time programming and 4th international workshop on real-time software, pp 79-84. https://fedcsis.org/2009/
168. Karimi F, Lombardi F (2002) A scan-BIST environment for testing embedded memories. In: Proceedings of the eighth IEEE international on-line testing workshop. pp 211-217
169. Karnik T, Hazucha P (2004) Characterization of soft errors caused by single event upsets in CMOS processes. IEEE Trans Depend Secure Comput 1: 128-143
170. Kato M, Watanabe K, Okabe T (1989) Radiation effects on ion-implanted silicon-dioxide films. IEEE Trans Nucl Sci 36: 2199-2204
171. Katz R, Barto R, McKerracher P, Carkhuff B, Koga R (1994) SEU hardening of field programmable gate arrays (FPGAs) for space applications and device characterization. IEEE Trans Nucl Sci 41: 2179-2186
172. Katz R, LaBel K, Wang JJ, Cronquist B, Koga R, Penzin S, Swift G (1997) Radiation effects on current field programmable technologies. IEEE Trans Nucl Sci 44: 1945-1956
173. Kaufman L, Johnson BW(2001) Embedded digital system reliability and safety analysis. NUREG/GR-0020
174. Kim J, Hardavellas N, Mai K, Falsafi B, Hoe J (2007) Multi-bit error tolerant caches using twodimensional error coding. In: Proceedings of the 40th annual IEEE/ACM international symposium on microarchitecture (MICRO 40), pp 197-209
175. Kinnersley B (2009) The language list. http://people.ku.edu/~nkinners/LangList/Extras/langlist. htm
176. Kish LB (2002) End of Moore’s law: thermal (noise) death of integration in micro and nano electronics. Phys Lett A 305: 144-149
177. Koga R, Kolasinski WA (1989) Heavy ion induced snapback in CMOS devices. IEEE Trans Nucl Sci 36: 2367-2374
178. Koga R, Kolasinski WA, Marra MT, Hanna WA (1985) Techniques of microprocessor testing and SEU-rate prediction. IEEE Trans Nucl Sci 32: 4219-4224
179. Koga R, Crain WR, Crawford KB, Lau DD, Pinkerton SD, Yi BK, Chitty R (1991) On the suitability of non-hardened high density SRAMs for space applications. IEEE Trans Nucl Sci 38: 1507-1513
180. Koga R, Crawford KB, Grant PB, Kolasinski WA, Leung DL, Lie TJ, Mayer DC, Pinkerton SD, Tsubota TK (1993a) Single ion induced multiple-bit upset in IDT 256K SRAMs. In: Second European conference on radiation and its effects on components and systems (RADECS 93), pp 485-489
181. Koga R, Pinkerton SD, Lie TJ, Crawford KB (1993b) Single-word multiple-bit upsets in static random access devices. IEEE Trans Nucl Sci 40: 1941-1946
182. Koga R, Crain SH, Yu P, Crawford KB (2001a) SEE sensitivity determination of high-density DRAMs with limited-range heavy ions. In: IEEE radiation effects data workshop, 2001, pp 182-189
183. Koga R, Yu P, Crawford KB, Crain SH, Tran VT (2001b) Permanent single event functional interrupts (SEFIs) in 128- and 256-megabit synchronous dynamic random access memories (SDRAMs). In: IEEE radiation effects data workshop, pp 6-13
184. Kogge P, Bergman K, Borkar S, Campbell D, Carlson W, Dally W, Denneau M, Franzon P, Harrod W, Hill K, Hiller J, Karp S, Keckler S, Klein D, Lucas R, Richards M, Scarpelli A, Scott S, Snavely A, Sterling T, Williams RS, Yelick KA (2008) Exascale computing study: technology challenges in achieving exascale systems. DARPA IPTO, technical report DARPA-2008-13, Sept 2008
185. Koren I, Koren Z (1998) Defect tolerance in VLSI circuits: techniques and yield analysis. Proc IEEE 86: 1819-1838
186. Koren I, Krishna CM (2007) Fault-tolerant systems. Morgan Kaufmann, San Francisco, CA
187. Koren I, Singh AD (1990) Fault tolerance in VLSI circuits. Computer 23: 73-83
188. Kovalenko IN, Kuznetzov NY, Pegg PA (1997) Mathematical theory of reliability of time dependent systems with practical applications, 1st edn. Wiley, New York, NY
189. Kulkarni GV, Nicola FV, Trivedi SK (1987) Effects of checkpointing and queueing on program performance. Duke University, Durham, NC, USA
190. Kumar S, Kim C, Sapatnekar S (2006) An analytical model for negative bias temperature instability. In: Proceedings of IEEE/ACM ICCAD, pp 493-496
191. LaBel K, Stassinopoulos EG, Brucker GJ, Stauffer CA (1992) SEU tests of a 80386 based flightcomputer/data-handling system and of discrete PROM and EEPROM devices, and SEL tests of discrete 80386, 80387, PROM, EEPROM and ASICs, Workshop record. IEEE radiation effects data workshop, 1992, pp 1-11
192. LaBel KA, Gates MM, Moran AK, Kim HS, Seidleck CM, Marshall P, Kinnison J, Carkhuff B (1996) Radiation effect characterization and test methods of single-chip and multi-chip stacked 16 Mbit DRAMs. IEEE Trans Nucl Sci 43: 2974-2981
193. Ladbury R, Berg MD, Kim H, LaBel K, Friendlich M, Koga R, George J, Crain S, Yu P, Reed RA (2006) Radiation performance of 1 Gbit DDR SDRAMs fabricated in the 90 nm CMOS technology node. In: IEEE radiation effects data workshop, pp 126-130
194. Lala JH, Harper RE (1994) Architectural principles for safety-critical real-time applications. Proc IEEE 82: 25-40
195. Lamport L (1983) The weak Byzantine Generals problem. J ACM 30: 668-676
196. Lamport L, Melliar-Smith P (1985) Synchronising clocks in the presence of faults. J ACM 32 (1): 52-78
197. Landis DL (1989) A self-test system architecture for reconfigurable WSI. In: International test conference proceedings. Meeting the tests of time, pp 275-282
198. Landwehr CE, Bull AR, McDermott JP, Choi WS (1994) A taxonomy of computer program security flaws. ACM Comput Surv 26: 211-254
199. LaPedus M, EETimes (2003) Intel gears up 90-nm processor, chip set rollout. http://www.eetimes. com/conf/idf/showArticle.jhtml?articleID1/410800811&kc1/43172
200. Laprie J (1995) Dependability - its attributes, impairments and means. In: Randell B, Laprie J, Kopetz H, Littlewood B (eds) Predictably dependable computing systems. Springer, Heidelberg, pp 1-24
201. Laprie J-C (2008) From dependability to resilience 8, G8-G9
202. Laprie J, Avizienis A (1986) Dependable computing: from concepts to design diversity. In: Proc IEEE, pp 629-638
203. Laprie JCC, Avizienis A, Kopetz H (eds) (1992) Dependability: basic concepts and terminology. Springer, New York, NY
204. Latchoumy P, Sheik P, Khader A (2011) Survey on fault tolerance in grid computing
205. Lawrence RK (2007) Radiation characterization of 512Mb SDRAMs. In: IEEE radiation effects data workshop, pp 204-207
206. Leavy JF, Poll RA (1969) Radiation-induced integrated circuit latchup. IEEE Trans Nucl Sci 16: 96-103
207. Li J, Swartzlander E (1992) Concurrent error detection in ALUs by recomputing with rotated operands. In: Proceedings of the IEEE international workshop on defect and fault tolerance in VLSI systems, pp 109-116
208. Lie CH, Hwang CL, Tillman FA (1977) Availability of maintained systems: a state-of-the-art survey. AIIE Transact 9: 247-259
209. Lin S, Costello DJ (1983) Error control coding: fundamentals and applications. Prentice Hall, Upper Saddle River, NJ
210. Mahout G, Pearce M, Andrieux M-L, Arvidsson C-B, Charlton DG, Dinkespiler B, Dowell JD, Gallin-Martel L, Homer RJ, Jovanovic P, Kenyon IR, Kuyt G, Lundquist J, Mandic I, Martin O, Shaylor HR, Stroynowski R, Troska J, Wastie RL, Weidberg AR, Wilson JA, Ye J (2000) Irradiation studies of multimode optical fibres for use in ATLAS front-end links. Nucl Instrum Meth A 446: 426-434
211. Maiz J, Hareland S, Zhang K, Armstrong P (2003) Characterization of multi-bit soft error events in advanced SRAMs. In: IEEE international electron devices meeting (IEDM’03), Technical digest, pp 21.4.1-21.4.4
212. Mao W, Gulati RK, Goel DK, Ciletti MD (1990) QUIETEST: a quiescent current testing methodology for detecting leakage faults. In: IEEE international conference on computeraided design (ICCAD-90), Digest of technical papers, pp 280-283
213. Marshall RW (1963) Microelectronic devices for application in transient nuclear radiation environments. In: IEEE transactions on aerospace and navigational electronics, technical paper, pp 1.4.1-1-1.4.1-6
214. Mathew B, Saab DG (1993) Partial reset: an inexpensive design for testability approach. In: Proceedings of the [4th] European conference on design automation, with the European event in ASIC design. pp 151-155
215. Matijevic J (1996) Mars Pathfinder microrover - implementing a low cost planetary mission experiment. John Hopkins Applied Physics Laboratory, pp 16-19
216. Matsunaga J, Momose H, Iizuka H, Kohyama S (1980) Characterization of two step impact ionization and its influence in NMOS and PMOS VLSI’s. Presented at the international electron devices meeting. pp 736-739
217. Mavis DG (2002) Single event transient phenomena-Challenges and solutions. In: Microelectronics reliability and qualification workshop
218. Mavis DG, Eaton PH (2002) Soft error rate mitigation techniques for modern microcircuits. In: 40th annual reliability physics symposium proceedings, pp 216-225
219. May T (1979) Soft errors in VLSI: present and future. IEEE Trans Component Hybrid Manufact Technol 2: 377-387
220. May TC, Woods MH (1979) Alpha-particle-induced soft errors in dynamic memories. IEEE Trans Electron Dev 26: 2-9
221. May TC, Scott GL, Meieran ES, Winer P, Rao VR (1984) Dynamic fault imaging of VLSI random logic devices. In: 22nd Annual reliability physics symposium, pp 281-283
222. McCluskey EJ, Tseng C-W (2000) Stuck-fault tests vs. actual defects. In: Proceedings of the international test conference, 2000, pp 336-342
223. McEvoy D (1981) The architecture of Tandem’s NonStop system. In: Proceedings of the ACM’81 Conference, p 245
224. McMahan MA, Leitner D, Gimpel T, Morel J, Ninemire B, Siero R, Silver C, Thatcher R (2004) A 16 MeV/nucleon cocktail for heavy ion testing. In: IEEE radiation effects data workshop, 2004, pp 156-159
225. Mei KCY (1974) Bridging and stuck-at faults. IEEE Trans Comput C-23: 720-727
226. Messenger GC, Ash MS (1992) The effects of radiation on electronic systems, 2nd edn. Springer, New York, NY
227. Metra C, Favalli M, Ricco B (1997) Compact and low power on-line self-testing voting scheme. Proceedings of the IEEE international symposium on defect and fault tolerance in VLSI systems. pp 137-145
228. Meyer FJ, Pradhan DK (1991) Consensus with dual failure modes. IEEE Trans Parallel Distr Syst 2: 214-222
229. Miller LS, Mullin JB (1991) Electronic materials: from silicon to organics. Springer, New york, NY
230. Miller LA, Brice DK, Prinja AK, Picraux ST (1994) Molecular dynamics simulations of bulk displacement threshold energies in Si. Radiation effects and defects in solids: incorporating plasma science and plasma technology 129, 127
231. Monkman S, Schagaev I (2013) Redundancy + repeatability1/4recoverability. Electronics 2: 212-233. doi: 10.3390/electronics2030212, ISSN 2079-9292
232. MoonTK(2005) Error correction coding: mathematical methods and algorithms. Wiley, Hoboken NJ
233. Mrstik BJ, Hughes HL, McMarr PJ, Lawrence RK, Ma DI, Isaacson IP, Walker RA (2000) Hole and electron trapping in ion implanted thermal oxides and SIMOX. IEEE Trans Nucl Sci 47: 2189-2195
234. Mukherjee SS, Emer J, Fossum T, Reinhardt SK (2004) Cache Scrubbing in Microprocessors: Myth or Necessity? Proceedings of the 10th IEEE Pacific rim international symposium on dependable computing (PRDC’04). IEEE Computer Society, Washington, DC, pp 37-42
235. Nair R (2002) Effect of increasing chip density on the evolution of computer architectures. IBM J Res Dev 46: 223-234
236. Nair R, Thatte SM, Abraham JA (1978) Efficient algorithms for testing semiconductor randomaccess memories. IEEE Trans Comput C-27: 572-576
237. Naseer R, Bhatti RZ, Draper J (2006) Analysis of soft error mitigation techniques for register files in IBM Cu-08 90nm technology. In: 49th IEEE international Midwest symposium on circuits and systems (MWSCAS’06), pp 515-519 NASNGSFC Landsat-7 Project Office. Private communication, 1995
238. Neuberger G, de Lima F, Carro L, Reis R (2003) A multiple bit upset tolerant SRAM memory. ACM Trans Des Autom Electron Syst 8: 577-590
239. Neuberger G, de Lima Kastensmidt FG, Reis R (2005) An automatic technique for optimizing Reed-Solomon codes to improve fault tolerance in memories. IEEE Design Test Comput 22: 50-58
240. Newell A (1960) A on programming a highly parallel machine to be an intelligent technician, IREAIEE-ACM '60 (Western), May 3-5. ACM, New York, NY, pp 267-282
241. Nguyen DN, Guertin SM, Swift GM, Johnston AH (1999) Radiation effects on advanced flash memories. IEEE Trans Nucl Sci 46: 1744-1750
242. Nicolaidis M (ed) (2010) Soft errors in modern electronic systems, 1st edn. Springer, New York, NY
243. Ning TH, Yu HN (1974) Optically induced injection of hot electrons into SiO2. J Appl Phys 45: 5373-5378
244. Nishioka Y, Ohyu K, Ohji Y, Kato M, da Silva EF, Ma TP (1989) Radiation hardened micron and submicron MOSFETs containing fluorinated oxides. IEEE Trans Nucl Sci 36: 2116-2123
245. Normand E, Wert JL, Quinn H, Fairbanks TD, Michalak S, Grider G, Iwanchuk P, Morrison J, Wender S, Johnson S (2010) First record of single-event upset on ground, cray-1 computer at Los Alamos in 1976. IEEE Trans Nucl Sci 57: 3114-3120
246. Northcliffe L, Schilling R (1970) Range and stopping-power tables for heavy ions. At Data Nucl Data Tables 7: 233-463
247. Oh N, Shirvani PP, McCluskey EJ (2002a) Control-flow checking by software signatures. IEEE Trans Reliab 51: 111-122
248. Oh N, Shirvani PP, McCluskey EJ (2002b) Error detection by duplicated instructions in superscalar processors. IEEE Trans Reliab 51: 63-75
249. Oldham TR, Ladbury RL, Friendlich M, Kim HS, Berg MD, Irwin TL, Seidleck C, LaBel KA (2006) SEE and TID characterization of an advanced commercial 2Gbit NAND flash nonvolatile memory. IEEE Trans Nucl Sci 53: 3217-3222
250. Oldham TR, Suhail M, Friendlich MR, Carts MA, Ladbury RL, Kim HS, Berg MD, Poivey C, Buchner SP, Sanders AB, Seidleck CM, LaBel KA (2008) TID and SEE response of advanced 4G NAND flash memories. In: IEEE radiation effects data workshop, pp 31-37
251. Olsen J, Becher PE, Fynbo PB, Raaby P, Schultz J (1993) Neutron-induced single event upsets in static RAMS observed a 10 km flight attitude. IEEE Trans Nucl Sci 40: 74-77
252. Owens BD, Adams ME, Benzce WJ, Green G, Shestople P (2006) The effects of radiation events on gravity probe B. IEEE Trans Nucl Sci (in press)
253. Pankratius V, Jannesari A, Tichy WF (2009) Parallelizing Bzip2: a case study in multicore software engineering. IEEE Softw 26: 70-77
254. Patel JH, Fung LY (1982) Concurrent error detection in ALU’s by recomputing with shifted operands. IEEE Trans Comput C-31: 589-595
255. Paul S, Cai F, Zhang X, Bhunia S (2011) Reliability-driven ECC allocation for multiple bit error resilience in processor cache. IEEE Trans Comput 60: 20-34
256. Pellish JA, Reed RA, Schrimpf RD, Alles ML, Varadharajaperumal M, Niu G, Sutton AK, Diestelhorst RM, Espinel G, Krithivasan R, Comeau JP, Cressler JD, Vizkelethy G, Marshall PW, Weller RA, Mendenhall MH, Montes EJ (2006) Substrate engineering concepts to mitigate charge collection in deep trench isolation technologies. IEEE Trans Nucl Sci 53: 3298-3305
257. Pickel JC, Blandford JT (1978) Cosmic ray induced in MOS memory cells. IEEE Trans Nucl Sci 25: 1166-1171
258. Pickel JC, Blandford JT (1980) Cosmic-ray-induced errors in MOS devices. IEEE Trans Nucl Sci 27: 1006-1015
259. Pierce WH (1965) Failure-tolerant computer design. Academic, New York, NY
260. Plyaskota S, Schagaev I (1995) Economic effectiveness of fault tolerance. Automation and Remote Control 07: 1017-1026
261. Podgorsak EB (2009) Radiation physics for medical physicists. Springer, New York, NY
262. Pomeranz I, Reddy SM (1993) Classification of faults in synchronous sequential circuits. IEEE Trans Comput 42: 1066-1077
263. Pouponnot ALR (2005) Strategic use of SEE mitigation techniques for the development of the ESA microprocessors: past, present and future. In: Proceedings of the 11th IEEE international on-line testing symposium, (IOLTS’05). IEEE Computer Society, Washington, DC, pp 319-323 Power 6 Specs: IBM Power6 Microprocessor and IBM System p 570, 2007
264. Prasad AVSS, Agrawal VD, Atre MV (2002) A new algorithm for global fault collapsing into equivalence and dominance sets. In: Proceedings of the international test conference, 2002, pp 391-397
265. Price D (1995) Pentium FDIV flaw-lessons learned. IEEE Micro 15: 86-88
266. Pritchard BE, Swift GM, Johnston AH (2002) Radiation effects predicted, observed, and Galileo compared for spacecraft systems. In: 2002 IEEE radiation effects data workshop. California Institute of Technology, Pasadena, CA, USA
267. Puchner H, Kapre R, Sharifzadeh S, Majjiga J, Chao R, Radaelli D, Wong S (2006) Elimination of single event latchup in 90 nm SRAM technologies. Presented at the 44th annual reliability physics symposium proceedings. IEEE International, pp 721-722
268. Qian Y (2008) Information assurance: dependability and security in networked systems. Morgan Kaufmann, Burlington, MA
269. Quinn H, Graham P, Krone J, Caffrey M, Rezgui S (2005) Radiation-induced multi-bit upsets in SRAM-based FPGAs. IEEE Trans Nucl Sci 52: 2455-2461
270. Ramanarayanan R, Degalahal VS, Krishnan R, Kim J, Narayanan V, Xie Y, Irwin MJ, Unlu K (2009) Modeling soft errors at the device and logic levels for combinational circuits. IEEE Trans Depend Secure Comput 6: 202-216
271. Ravishankar K, Iyer ZK (2003) Hardware and software error detection
272. Reed IS, Solomon G (1960) Polynomial codes over certain finite fields. J Soc Ind Appl Math 8: 300-304
273. Reed RA, Carts MA, Marshall PW, Marshall CJ, Buchner S, La Macchia M, Mathes B, McMorrow D (1996) Single Event Upset cross sections at various data rates. IEEE Trans Nucl Sci 43: 2862-2867
274. Reed RA, Carts MA, Marshall PW, Marshall CJ, Musseau O, McNulty PJ, Roth DR, Buchner S, Melinger J, Corbiere T (1997) Heavy ion and proton-induced single event multiple upset. IEEE Trans Nucl Sci 44: 2224-2229
275. Reed RA, Weller RA, Schrimpf RD, Mendenhall MH, Warren KM, Massengill LW (2006) Implications of nuclear reactions for single event effects test methods and analysis. IEEE Trans Nucl Sci 53: 3356-3362. doi: 10.1109/TNS.2006.885950
276. Reviriego P, Maestro JA, Cervantes C (2007) Reliability Analysis of Memories Suffering Multiple Bit Upsets. IEEE Trans Device Mater Reliab 7: 592-601
277. Reviriego P, Maestro JA, Baeg S, Wen S, Wong R (2010) Protection of memories suffering MCUs through the selection of the optimal interleaving distance. IEEE Trans Nucl Sci 57: 2124-2128
278. Reynolds DA, Metze G (1978) Fault detection capabilities of alternating logic. IEEE Trans Comput C-27: 1093-1098
279. Roche P, Gasiot G (2005) Impacts of front-end and middle-end process modifications on terrestrial soft error rate. IEEE Trans Device Mater Reliab 5: 382-396
280. Rockett LR (1988) An SEU-hardened CMOS data latch design. IEEE Trans Nucl Sci 35: 1682-1687
281. Roy RK, Niermann TM, Patel JH, Abraham JA, Saleh RA (1988) Compaction of ATPG-generated test sequences for sequential circuits. In: IEEE international conference on computer-aided design (ICCAD-88). Digest of technical papers, pp 382-385
282. Sager D, Group DP, Corp I (2001) The microarchitecture of the pentium 4 processor. Intel Technol J 1: 2001
283. Saleh AM, Serrano JJ, Patel JH (1990) Reliability of scrubbing recovery-techniques for memory systems. IEEE Trans Reliab 39: 114-122
284. Sandireddy RKKR, Agrawal VD (2005) Diagnostic and detection fault collapsing for multiple output circuits. In: Proceedings of the design, automation and test in Europe, vol 2, pp 1014-1019
285. Schagaev I (1986a) Detecting the defective computer in two-unit, fault tolerant system having a sliding stand- by units. Automatic and Remote Control 5: 143-150
286. Schagaev I (1986b) Algorithms of computation recovery, Automatic and remote control 7. Plenum, New York, NY
287. Schagaev I (1987) Algorithms to restoring a computing process, Automatic and Remote Control 7. Plenum, New York, NY
288. Schagaev I (1989) Yet another approach to classification of redundancy. In: Proceedings of FTSD. Prague, Czeschoslovakia, pp 485-490
289. Schagaev I (1990) Yet another approach to classification of redundancy. In: Proceedings of the seventh IMECO symposium technical diagnostics, 17-19 Sept, Helsinki, pp 485-492
290. Schagaev JZI (2001) Redundancy classification and its applications for fault tolerant computer design. IEEE TESADI-01
291. Schagaev I (2008) Reliability of malfunction tolerance. In: International multiconference on computer science and information technology (IMCSIT), Wisla, Poland, pp. 733-737
292. Schagaev I (2009) ERA: embedded reconfigurable architecture - past present and future
293. Schagaev I, Buhanova G (2001) Comparative study of fault tolerant RAM structures, in: IEEE DSN01. Presented at the IEEE DSN01, Goteborg
294. Schagaev I, Kaegi T, Gutknetch J (2010) ERA: evolving reconfigurable architecture. In: Proceedings of 11th ACIS, presented at the international conference on software engineering artificial intelligence, Networking and Parallel/Distributed Computing, London
295. Schagaev I, Bacon E, Hagel G, Charnine M, Kirk B, Kravtsov G (2013) Weduca: Web-enhanced design of university curricula, 07/2013. In: Proceeding of: FECS’13. ISBN: 1-60132-235-6
296. Schagaev I et al (2014) http://worldcomp-proceedings.com/proc/p2014/FCS3102.pdf
297. Schindlbeck G (2005) Types of soft errors in DRAMs. In: 8th European conference on radiation and its effects on components and systems (RADECS 2005), pp PE1-1-PE1-5
298. Schroder DK, Babcock JA (2003) Negative bias temperature instability: Road to cross in deep submicron silicon semiconductor manufacturing. J Appl Phys 94: 1-18
299. Schwank JR, Dodd PE (2003) Charge collection in SOI capacitors and circuits and its effect on SEU hardness. IEEE Trans Nucl Sci 2937-2947
300. Schwartz E (1961) An automatic sequencing procedure with application to parallel programming. JACM 8(4): 513-537
301. Segura J, Hawkins CF (2005) Bridging defects, CMOS electronics. Wiley, New York, NY, pp 199-222
302. Seifert N, Zhu X, Massengill LW (2002) Impact of scaling on soft-error rates in commercial microprocessors. IEEE Trans Nucl Sci 49: 3100-3106
303. Sexton FW, Fleetwood DM, Shaneyfelt MR, Dodd PE, Hash GL (1997) Single event gate rupture in thin gate oxides. IEEE Trans Nucl Sci 44: 2345-2352
304. Shannon CE (1948) A mathematical theory of communication. Bell Syst Tech J 27: 379-423, Pp 623-656
305. Shedletsky JJ (1978) Error correction by alternate-data retry. IEEE Trans Comput C-27: 106-112
306. Sherman L (2003) Stratus continuous processing technology - the smarter approach to uptime. Stratus Technologies Whitepaper. Technical report, Stratus Technologies
307. Shirvani PP, McCluskey EJ (1998) Fault-tolerant systems in a space environment: The CRC ARGOS project. Stanford University, Stanford, CA
308. Shivakumar P, Kistler M, Keckler SW, Burger D, Alvisi L (2002) Modeling the effect of technology trends on the soft error rate of combinational logic. In: Proceedings of the international conference on dependable systems and networks (DSN 2002), pp. 389-398
309. Silberberg R, Tsao CH, Letaw JR (1984) Neutron generated single-event upsets in the atmosphere. IEEE Trans Nucl Sci 31: 1183-1185
310. Silvestri M, Gerardin S, Paccagnella A, Ghidini G (2009) Gate rupture in ultra-thin gate oxides irradiated with heavy ions. IEEE Trans Nucl Sci 56: 1964-1970
311. Sklaroff JR (1976) Redundancy management technique for space shuttle computers. IBM J Res Dev 20: 20-28
312. Slayman CW (2005) Cache and memory error detection, correction, and reduction techniques for terrestrial servers and workstations. IEEE Trans Device Mater Reliab 5: 397-404
313. Slegel TJ, Averill RMI, Check MA, Giamei BC, Krumm BW, Krygowski CA, Li WH, Liptay JS, MacDougall JD, McPherson TJ, Navarro JA, Schwarz EM, Shum K, Webb CF (1999) IBM’s S/390 G5 microprocessor design. IEEE Micro 19: 12-23
314. Slotnick DL, et al. (1962) The SOLOMON computer, AFIPS '62 (Fall) proceedings, 4-6 Dec 1962, Philadelphia, ACM, New York, pp 97-107
315. Smith GL (1985) Models for delay faults based on paths. Proc. int. test conf, pp 342-349
316. Smith M (1997) Application-specific integrated circuits, 1st edn. Addison-Wesley Professional, Boston, MA
317. Smithsonian Institute (1990) Comp. history. http://americanhistory.si.edu/collections/comphist/
318. Sogomonian E, Schagaev I (1988) Hardware and software fault tolerance of computer systems. Avtomatika i Telemekhanika 3-39
319. Squire JS, Palais SM (1963) Physical and logical design of a highly parallel computer. Proc SJCC Sparc International (1998)The SPARCarchitecturemanual. http://www.gaisler.com/doc/sparcv8.pdf
320. Srour JR, Marshall CJ, Marshall PW (2003) Review of displacement damage effects in silicon devices. IEEE Trans Nucl Sci 50: 653-670
321. Stassinopoulos EG, Brucker GJ, Calvel P, Baiget A, Peyrotte C, Gaillard R (1992) Charge generation by heavy ions in power MOSFETs, burnout space predictions and dynamic SEB sensitivity. IEEE Trans Nucl Sci 39: 1704-1711
322. Stepanyants A (2001) Fault tolerant processor and its reliability analysis. In: IEEE DSN01, Goteborg
323. Storey DN (1996) Safety critical computer systems, 1st edn. Prentice Hall, Upper Saddle River, NJ
324. Stroud CE (2002) A designer’s guide to built-in self-test. Springer, Boston, MA
325. Swift G, Katz R (1996) An experimental survey of heavy ion induced dielectric rupture in Actel Field Programmable Gate Arrays (FPGAs). IEEE Trans Nucl Sci 43: 967-972
326. Swift DW, John GH (1997) Evaluation of the space environment on TOPEX-Poseidon and onboard failure of optocouplers. Document JPL D-14157
327. Swift GM, Guertin SM (2000) In-flight observations of multiple-bit upset in DRAMs. IEEE Trans Nucl Sci 47: 2386-2391
328. Taber AH, Normand E (1992) Investigation and characterization of SEU effects and hardening strategies in avionics. IBM report 92-L75-020-2. Defense Technical Information Center
329. Taber A, Normand E (1993) Single event upset in avionics. IEEE Trans Nucl Sci 40: 120-126
330. Takeda E, Kume H, Nakagome Y, Makino T, Shimizu A, Asai S (1983) An As-P double diffused drain MOSFET for VLSI’s. IEEE Trans Electron Dev 30: 652-657
331. Tehranipoor M, Peng K, Chakrabarty K (2012) Delay test and small-delay defects, Test and diagnosis for small-delay defects. Springer, New York, NY, pp 21-36 Test method for beam accelerated soft error rate, 2007.
332. Thambidurai P, Park Y (1988) Interactive consistency with multiple failure modes. In: Proceedings of the seventh symposium on reliable distributed systems. pp 93-100
333. Turski WM, Wasserman AI (1978) Computer programming methodology. SIGSOFT Softw Eng Notes 3: 20-21
334. Underwood CI (1998) The single-event-effect behaviour of commercial-off-the-shelf memory devices-A decade in low-Earth orbit. IEEE Trans Nucl Sci 45: 1450-1457
335. Valstar JE (1965) The contribution of testability to the cost-effectiveness of a weapon system. IEEE Trans Aerospace AS-3: 52-59
336. Velazco R, Fouillat P, Reis RA, da L (2007) Radiation effects on embedded systems. Springer, New York, NY
337. Von Neumann J (1956) Probabilistic logics and the synthesis of reliable organisms from unreliable components, Automata studies. Princeton University Press, Princeton, NJ, pp 43-98
338. Vykhovanets VS (2006) Algebraic decomposition of discrete function Automation and Remote Control March 2006, Volume 67, Issue 3, pp 361-392
339. Wallmark JT, Marcus SM (1962) Minimum size and maximum packing density of nonredundant semiconductor devices. Proc IRE 50: 286-298
340. Warren KM, Weller RA, Mendenhall MH, Reed RA, Ball DR, Howe CL, Olson BD, Alles ML, Massengill LW, Schrimpf RD, Haddad NF, Doyle SE, McMorrow D, Melinger JS, Lotshaw WT (2005) The contribution of nuclear reactions to heavy ion single event upset cross-section measurements in a high-density SEU hardened SRAM. IEEE Trans Nucl Sci 52: 2125-2131
341. Waskiewicz AE, Groninger JW, Strahan VH, Long DM (1986) Burnout of power MOS transistors with heavy ions of Californium-252. IEEE Trans Nucl Sci 33: 1710-1713. doi: 10.1109/TNS. 1986.4334670
342. Weaver HT, Axness CL, McBrayer JD, Browning JS, Fu JS, Ochoa A, Koga R (1987) An SEU tolerant memory cell derived from fundamental studies of SEU mechanisms in SRAM. IEEE Trans Nucl Sci 34: 1281-1286
343. Weaver C, Emer J, Mukherjee SS, Reinhardt SK (2004) Techniques to reduce the soft error rate of a high-performance microprocessor. In: Proceedings of the 31st annual international symposium on computer architecture, pp 264-275
344. Williams HC (2003) The writing on the wall. University of Pennsylvania Press, Philadelphea, PA. ISBN 0-8122-3711-0
345. Williams TW, Kapur R, Mercer MR, Dennard RH, Maly W (1996) Iddq testing for high performance CMOS-the next ten years. In: European design and test conference proceedings (EDTC 96), pp 578-583
346. Wirth N (1983) Programming in Modula-2. Springer, Berlin
347. Wirth N (1988) The programming language Oberon. Softw Pract Exper 18: 671-690
348. Wirth N (1992) Project Oberon: the design of an operating system and compiler. Addison-Wesley, Boston, MA
349. Wirth GI, Vieira MG, Neto EH, Kastensmidt FL (2008) Modeling the sensitivity of CMOS circuits to radiation induced single event transients. Microelectron Reliab 48: 29-36
350. Wood A (1999) Data integrity concepts, features, and technology. White paper, Tandem Division, Compaq Computer Corporation
351. Woodard SE, Metze G (1978) Self-checking alternating logic: sequential circuit design, Proceedings of the 5th annual symposium on computer architecture, ISCA’78. ACM, New York, NY, pp 114-122
352. Wrobel F, Hubert G, Iacconi P (2006) A semi-empirical approach for heavy ion SEU cross section calculations. IEEE Trans Nucl Sci 53: 3271-3276
353. Wyatt RC, McNulty PJ, Toumbas P, Rothwell PL, Filz RC (1979) Soft errors induced by energetic protons. IEEE Trans Nucl Sci 26: 4905-4910
354. Xiaoqing W, Saluja KK, Kinoshita K, Tamamoto H (1996) Equivalence fault collapsing for transistor leakage faults. In: IEEE international workshop on IDDQ testing, pp 79-83
355. Yen YC (1996) Triple-triple redundant 777 primary flight computer Boeing commercial airplanes. In: 1996 IEEE aerospace applications conference proceedings, vol 1, Seattle, WA. doi: 10.1109/AERO.1996.495891
356. Yu Qingkui, Tang Min, Zhu Hengjing, Zhang Haiming, Zhang Yanwei, Sun Jixing, 2005. Experimental investigation of radiation damage on CCD with protons and cobalt 60 gamma rays. In: 8th European conference on radiation and its effects on components and systems (RADECS 2005), pp LNW2-1-LNW2-5
357. Zhu X, Baumann R, Pilch C, Zhou J, Jones J, Cirba C (2005) Comparison of product failure rate to the component soft error rates in a multi-core digital signal processor. In: Proceedings of the IEEE international 43rd annualreliability physics symposium, pp 209-214
358. Ziegler JF (1996) Terrestrial cosmic rays. IBM J Res Dev. doi: 10.1147/rd.401.0019
359. Ziegler JF, Lanford WA (1979) Effect of cosmic rays on computer memories. Science 206: 776-788
360. Ziegler JF, Puchner H (2004) SER-history, trends and challenges: a guide for designing with memory ICs. Cypress
361. Ziegler JF, Ziegler MD, Biersack JP (2010) SRIM - The stopping and range of ions in matter. Nucl Instr Meth Phys Res 268: 1818-1823