er 1996) [Avizienis97] A. Avizienis, "Toward Systematic Design of Fault-Tolerant Systems", Computer, pp51-58, (April 1997) [Banatre93] Michel A. Banatre and Peter A. Lee, "Hardware and Software Architectures for Fault Tolerance, Experiences and Perspectives" [Barth97] Janet Barth, "Modeling Space Radiation Environments", 1997 NSREC Short Course, (July 1997) [Blaquiere95] Yves Blaquiere, Gabriel Gagne, Yvon Savaria, and Claude Evequoz, "A New Efficient Algorithm-Based SEU Tolerant System Architecture", IEEE Transactions on Nuclear Science, Vol. 42, No. 6, (December 1995) [Calin96] T. Calin, M. Nicolaidis, R. Velazco, "Upset Hardened Memory Design for Submicron CMOS Technology", IEEE Transactions on Nuclear Science, Vol. 43, No. 6, pp2874-2878, (December 1996) [Chen95] Ing-Ray Chen and I.-Ling Yen, "Analysis of Probablistic Error Checking Procedures on Storage Systems", The Computer Journal, Vol. 38, No. 5, (1995) [Chenette94] D.L. Chenette, J. Chen, E. Clayton, T.G. Guzik, J.P. Wefel, M. Garcia-Munoz, M. Garcia-Munoz, C. Lapote, K.R. Pyle, K.P. Ray, E.G. Mullen, and D.A. Hardy, "The CRRES/SPACERAD Heavy Ion Model of the Environment (CHIME) for Cosmic Ray and Solar Particle Effects on Electronic and Biologic Systems in Space", IEEE Transactions on Nuclear Science, Vol. 41, No. 6, pp2332-2339 (December 1994) All References are Unclassified [Cheynet98] Ph. Cheynet, R. Velazco, Rezgui, L. Peters, K. Beck, and R. Ecoffet, "Digital Fuzzy Control: a Robust Alternative Suitable for Space Application", IEEE Transactions on Nuclear Science, Vol. 45, No. 6, pp2941-2947, (December 1998) [Clark95] Jeffrey A. Clark and Dhiraj K. Pradhan, "Fault Injection: A Method for Validating Computer-System Dependability", Computer, pp47-56, (June 1995) [Daly96] E.J. Daly, J. Lemaire, D. Heynderickx, and D.J. Rodgers, "Problems With Models of the Radiation Belts", IEEE Transactions on Nuclear Science, Vol. 43, No. 2, pp403-415, (April 1996) [Dressendorfer98] Paul V. Dressendorfer, "Basic Mechanisms for the New Millenium", 1998 IEEE Nuclear 