[1] XIONG L, TAN Q. A dynamic approach to tolerate soft errors[J]. Cluster Computing, 2013, 16(3):359-366. [2] CHEN W. Research and implementation of key techniques of high reliable microprocessor design[D]. Changsha:National University of Defense Technology, 2006:57-58. (陈微.高可靠微处理器设计关键技术研究与实现[D].长沙:国防科学技术大学,2006:57-58.) [3] FORIN P. Vital coded microprocessor principles and application for various transit systems[C]//Proceedings of the IFAC-CCCT. Amsterdam:Elsevier, 1989:79-84. [4] SCHIFFEL U. Hardware error detection using AN-Codes[D]. Dresden:Dresden University of Technology, 2011:26-90. [5] OH N, SHIRVANI P P, MCCLUSKEY E J. Control-flow checking by software signatures[J]. IEEE Transactions on Reliability, 2002, 51(1):111-122. [6] TAN L, TAN Y, XU J. CFEDR:control-flow error detection and recovery using encoded signatures monitoring[C]//Proceedings of the 2013 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems. Piscataway:IEEE, 2013:25-32. [7] BELL R, BENNETT P A. IEC-61508. Functional safety of electrical/electronic/programmable electronic safety-related systems[J]. Computing & Control Engineering Journal, 2000, 11(1):3-5. [8] 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. [9] LI G, DING J, LIANG M, et al. Design and implementation of vital coded pre-compile[J]. Computer Engineering, 2011, 37(3):230-232, 235. (李刚,丁佳,梁盟磊,等.安全编码预编译器的设计与实现[J].计算机工程,2011,37(3):230-232,235.) [10] LESK M E, SCHMIDT E. Lex:a lexical analyzer generator[J]. Bell Laboratories, 1975, 70(5):375-388. [11] JOHNSON S C. Yacc:yet another compiler-compiler[J]. Compiler Computing Science, 1975, 2:353-387. [12] FETZER C, SCHIFFEL U, SVKRAUT M. AN-encoding compiler:Building safety-critical systems with commodity hardware[C]//Proceedings of the 28th International Conference on Computer Safety, Reliability, and Security, LNCS 5775. Berlin:Springer, 2009:283-296. |