[1]XU J, QIAO Q, XIONG M, et al. Software fault-tolerance techniques for transient faults [J]. Computer Engineering and Science, 2011, 33(11): 132-139. (徐建军,谭庆平,熊荫乔,等.面向瞬态故障的软件容错技术[J].计算机工程与科学,2011,33(11):132-139.)
[2]OH N, SHIRVANI P P, McCLUSKEY E J. Control-flow checking by software signatures [J]. IEEE Transactions on Reliability, 2002, 51(1): 111-122
[3]OH N, SHIRVANI P P, McCLUSKEY E J. Error detection by duplicated instructions in super-scalar processors [J]. IEEE Transactions on Reliability, 2002, 51(1): 63-75.
[4]NICOLESCU B, IGNAT N, SAVARIA Y, et al. Analysis of real-time systems sensitivity to transient faults using microC kernel [J]. IEEE Transactions on Nuclear Science, 2006, 53(4): 1902-1909.
[5]IGNAT N, NICOLESCU B, SAVARIA Y, et al. Soft-error classification and impact analysis on real-time operating systems [C]// DATE 2006: Proceedings of the 2006 Conference on Design, Automation and Test in Europe. Piscataway: IEEE, 2006: 182-187.
[6]NEISHABURI M H, DANESHTALAB M, KAKOEE M R, et al. Improving robustness of Real-Time Operating Systems (RTOS) services related to soft-errors [C]// AICCSA 2007: Proceedings of the 2007 IEEE/ACS International Conference on Computer Systems and Applications. Piscataway: IEEE, 2007: 528-534.
[7]YANG M, WANG H, ZHANG Y, et al. Design of radiation-hardened real-time operating system for pico-satellites [J]. Journal of Zhejiang University: Engineering Science Edition, 2011, 45(6): 1021-1026. (杨牧,王昊,张钰,等.抗辐射加固的皮卫星用实时操作系统设计[J].浙江大学学报:工学版,2011,45(6):1021-1026.)
[8]Texas Instruments. TI DSP/BIOS real-time operating system v6.x user's guide [DB/OL]. [2013-06-02]. http://downloads.ti.com/dsps/dsps_public_sw/sdo_sb/targetcontent/sysbios/6_21_01_16/exports/docs/docs/Bios_User_Guide.pdf.
[9]HARI S K S, ADVE S V, NAEIMI H. Low-cost program-level detectors for reducing silent data corruptions [C]// DSN 2012: Proceedings of the 2012 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks. Piscataway: IEEE, 2012: 1-12.
[10]XU J, TAN Q, LI J, et al. An extendable control flow checking method based on formatted signatures [J]. Journal of Computer Research and Development, 2011, 54(4): 638-646. (徐建军,谭庆平,李建立,等.一种基于格式化标签的可扩展控制流检测方法[J].计算机研究与发展,2011,54(4):638-646.)
[11]LI J, TAN Q, XU J. A software-implemented configurable control flow checking method [C]// PAAP 2010: Proceedings of the 2010 Third International Symposium on Parallel Architectures, Algorithms and Programming. Piscataway: IEEE, 2010: 199-205.
[12]LI J, TAN Q, XU J. Reconstructing control flow graph for control flow checking [C]// PIC 2010: Proceedings of the 2010 IEEE International Conference on Progress in Informatics and Computing. Piscataway: IEEE, 2010: 527-531. |