[1] |
NICOLAIDIS M. Soft Errors in Modern Electronic Systems[M]. Springer Science & Business Media, 2010.
|
[2] |
MUKHERJEE S S, EMER J, REINHARDT S K, et al. The soft error problem: An architectural perspective[C]// The 11th IEEE International Symposium on High-Performance Computer Architecture. IEEE, 2005:243-247.
|
[3] |
ZHU D K, AYDIN H. Reliability effects of process and thread redundancy on chip multiprocessors[C]// IEEE/IFIP International Conference on Dependable Systems and Networks. 2006.
|
[4] |
OHLSSON J, RIMEN M, GUNNEFLO U. A study of the effects of transient fault injection into a 32-bit RISC with built-in watchdog[C]// Proceedings of the 22nd International Symposium on Fault-Tolerant Computing. 1992:316-325.
|
[5] |
BAFFREAU S, BENDHIA S, RAMDANI M, et al. Characterisation of microcontroller susceptibility to radio frequency interference[C]// Proceedings of the 4th IEEE International Caracas Conference on Devices, Circuits and Systems. 2002,doi:10.1109/ICCDCS.2002.1004088.
|
[6] |
CHOI K, PARK D, CHO J. SSCFM: Separate signature-based control flow error monitoring for multi-threaded and multi-core environments[J]. Electronics, 2019,8(2),doi:10.3390/electronics8020166.
|
[7] |
RHISHEEKESAN A, JEYAPAUL R, SHRIVASTAVA A. Control flow checking or not? (for soft errors)[J]. ACM Transactions on Embedded Computing Systems (TECS), 2019,18(1):1-25.
|
[8] |
YAU S S, CHEN F C. An approach to concurrent control flow checking[J]. IEEE Transactions on Software Engineering, 1980,6(2):126-137.
|
[9] |
ALKHALIFA Z, NAIR V S S, KRISHNAMURHY N. Design and evaluation of system-level checks for on-line control flow error detection[J]. IEEE Transactions on Parallel and Distributed Systems, 1999,10(6):627-641.
|
[10] |
OH N, SHIRVANI P P, MCCLUSKEY E J. Control-flow checking by software signatures[J]. IEEE Transactions on Reliability, 2002,51(1):111-122.
|
[11] |
VEMU R, ABRAHAM J. CEDA:Control-flow error detection using assertions[J]. IEEE Transactions on Computers, 2011,60(9):1233-1245.
|
[12] |
AZAMBUJA J R, ALTIERI M, BECKER J. HETA: Hybrid error-detection technique using assertions[J]. IEEE Transactions on Nuclear Science, 2013,60(4):2805-2812.
|
[13] |
CHIELLE E, RODRIGUES G S. S-SETA: Selective software-only error-detection technique using assertions[J]. IEEE Transactions on Nuclear Science, 2015,62(6):3088-3095.
|
[14] |
ZHU Z Q, CALLENES-SLOAN J. Towards low overhead control flow checking using regular structured control[C]// Europe Conference & Exhibitionon on Design, Automation & Test(DATE). 2016:826-829.
|
[15] |
张鹏,朱利,杜小智,等. 基于结构化标签的控制流错误检测算法[J]. 计算机工程, 2016,42(6):37-42.
|
[16] |
李爱国,洪炳熔,王司. 一种软件实现的程序控制流错误检测方法[J]. 宇航学报, 2006,27(6):1424-1430.
|
[17] |
张倩雯. 恶劣环境下嵌入式系统软件错误检测技术的研究[D]. 南京:南京航空航天大学, 2018.
|
[18] |
帕尔哈提江·斯迪克,马建峰,孙聪. 一种面向二进制的细粒度控制流完整性方法[J]. 计算机科学, 2019,46(11A):417-420.
|
[19] |
姬秀娟,孙晓卉,许静. 基于复杂控制流的源代码内存泄漏静态检测[J]. 计算机科学, 2019,46(11A):517-523.
|
[20] |
HAMMES J. System and Method for Converting Control Flow Graph Representations to Control-Dataflow Graph Representations, US 7299458[P]. 2007-11-20.
|
[21] |
SHIGENOBU K, OOTSU K, OHKAWA T, et al. A translation method of ARM machine code to LLVM-IR for binary code parallelization and optimization[C]// 2017 5th International Symposium on Computing and Networking. 2017:575-579.
|
[22] |
徐建军,谭庆平,李建立,等. 一种基于格式化标签的可扩展控制流检测方法[J]. 计算机研究与发展, 2011,48(4):638-646.
|
[23] |
STALLMAN R. The GNU Project[EB/OL]. (2009-05-29)[2019-12-01]. https://blog.csdn.net/hitlion2008/article/details/4223251.
|