[1] FORIN P. Vital coded microprocessor principles and application for various transit systems[M]//PERRIN J P. Control, Computers, Communications in Transportation. New York: IFAC Publications, 1990:79-84. [2] SCHIFFEL U. Hardware error detection using AN-codes[EB/OL].[2016-03-10]. https://core.ac.uk/download/pdf/35186697.pdf. [3] 李刚, 丁佳, 梁盟磊, 等. 安全编码预编译器的设计与实现[J]. 计算机工程, 2011, 37(3):230-232.(LI G, DING J, LIANG M L, et al. Design and implementation of vital coded pre-compile[J]. Computer Engineering, 2011, 37(3): 230-232.) [4] KUVAISKⅡ D, FETZER C. Δ-Encoding: practical encoded processing[C]//Proceedings of the 201545th Annual IEEE/IFIP International Conference on Dependable Systems and Networks. Piscataway, NJ: IEEE, 2015:13-24. [5] SHIRVANI P P. Software-implemented hardware fault tolerance experiments: COTS in space[EB/OL].[2016-03-10]. https://www.researchgate.net/profile/Philip_Shirvani/publication/238623000_Software-Implemented_Hardware_Fault_Tolerance_Experiments_COTS_in_Space/links/55de543508aeaa26af0f2589.pdf. [6] KNIGHT J C. Safety critical systems: challenges and directions[C]//ICSE 2002: Proceedings of the 24th International Conference on Software Engineering. Piscataway, NJ: IEEE, 2002: 547-550. [7] SCHEICK L, GUERTIN S, NGUYEN D. Investigation of the mechanism of stuck bits in high capacity SDRAMs[C]//Proceedings of the 2008 IEEE Radiation Effects Data Workshop. Piscataway, NJ: IEEE, 2008: 47-52. [8] DUZELLIER S, FALGUERE D, ECOFFET R. Protons and heavy ions induced stuck bits on large capacity RAMs[C]//RADECS 1993: Proceedings of the Second European Conference on Radiation and its Effects on Components and Systems. Piscataway, NJ: IEEE, 1993: 468-472. [9] CLARK J A, PRADHAN D K. Fault injection: a method for validating computer-system dependability[J]. Computer, 1995, 28(6): 47-56. [10] RADHAKRISHNAN C, JENKINS W K. Reliable transform domain adaptive filters designed with a hybrid combination of redundant hardware modules and algorithmic error detection and correction[C]//Proceedings of the 2011 IEEE 54th International Midwest Symposium on Circuits and Systems. Piscataway, NJ: IEEE, 2011:1-4. [11] CHANG J, REIS G A, AUGUST D I. Automatic instruction-level software-only recovery[C]//DSN 2006: Proceedings of the International Conference on Dependable Systems and Networks. Washington, DC: IEEE Computer Society, 2006: 83-92. [12] BLOUGH D, SULLIVAN G, MASSON G. Intermittent fault diagnosis in multiprocessor systems[J]. IEEE Transactions on Computers, 1992, 41(11): 1430-1441. [13] MAVIS D, EATON P. Soft error rate mitigation techniques for modern microcircuits[C]//Proceedings of the 40th Annual Reliability Physics Symposium. Piscataway, NJ: IEEE, 2002: 216-225. [14] NICOLESCU B, SAVARIA Y, VELAZCO R. Software detection mechanisms providing full coverage against single bit-flip faults[J]. IEEE Transactions on Nuclear Science, 2004, 51(6):3510-3518. |