一种基于完整性检查的DSP软错误恢复方法
A Method of Recovering DSP Soft Error Based on Integrity Check
DOI: 10.12677/CSA.2015.55023, PDF, HTML, XML, 下载: 2,365  浏览: 9,641  国家自然科学基金支持
作者: 周国昌, 赖晓玲, 高 翔：中国空间技术研究院西安分院，陕西 西安；王向涛, 吴 昊：西北工业大学计算机学院，陕西 西安 ；于登云：中国航天科技集团公司科技委，北京
关键词: DSP；软错误；控制流错误；完整性检查；错误恢复；DSP； Soft Error； Control-Flow Error； Integrality Checking； Error Recovery
摘要: 空间环境中，DSP等器件越来越频繁地发生单粒子软错误，严重影响了系统安全可靠地运行。针对DSP程序存储区的软错误，本文提出了一种基于完整性检查的控制流错误恢复方法。该方法在基于完整性检查的控制流错误检测方法的基础上，只需设置一个恢复指针和恢复存储区，即可在检测到控制流错误之后快速地恢复控制流错误。论文提出的方法对DSP的抗软错误加固设计与开发具有重要的指导意义。
Abstract: In aerospace, the single particle soft errors are more and more frequently reported in DSP and the other memory devices, which seriously impact on the system running safely and reliably. Aiming at the soft error occurred in DSP program storage areas, this paper presents an integrality-check- ing-based control-flow error recovery method, which can rapidly recovery a control-flow error after checking it by a little improvement of setting a recovery pointer and a recovery memory on the integrality-checking-based control-flow check method. The proposed method has an important guiding significance to the design and development of DSP.
文章引用：周国昌, 王向涛, 赖晓玲, 高翔, 吴昊, 于登云. 一种基于完整性检查的DSP软错误恢复方法[J]. 计算机科学与应用, 2015, 5(5): 179-185. http://dx.doi.org/10.12677/CSA.2015.55023

参考文献

[1] Saha, G.K. (2006) Software based fault tolerance: A survey. ACM Ubiquity, 2006, Article No. 1.
[2] Reis, G.A., Chang, J., Vachharajani, N., et al. (2005) Software controlled fault tolerance. ACM Transactions on Architecture and Code Optimization, V, 1-28.
[3] 刑克飞 (2007) 星载信号处理平台单粒子效应检测与加固技术研究. 工学博士学位论文, 国防科技大学, 长沙.
[4] 贺兴华, 肖山竹, 张路, 张开锋, 陶华敏, 卢焕章 (2010) 空间DSP信息处理系统存储器SEU加固技术研究. 宇航学报, 2, 472-477.
[5] Goloubeva, O. and Rebaudengo, M. (2003) Soft-error detection using control flow assertions. The proceedings of the 18th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems (DFT’03), Boston, 3-5 November 2003, 581-588.
[6] Madeira, H. and Silvia, J.G. (1991) On-line signature learning and checking: experimental evaluation. The Proceedings of the IEEE Comp-Euro 91: Advanced Computer Technology, Reliable Systems and Applications, Bologna, 13-16 May 1991, 642-646
[7] Saxena, N.R. and McCluskey, E.J. (1990) Control-flow checking using watchdog assists and ex-tended-precision checksums. IEEE Transactions on Computers, 39, 554-559.
[8] Alkhalifa, Z., Nair, V.S.S., Krish-namurthy, N., et al. (1999) Design and evaluation of system-level checks for on-line control-flow error detection. IEEE Transactions on Parallel and Distributed Systems, 10, 627-641.
[9] Oh, N., Shirvani, P.P. and McCluskey, E.J. (2002) Control-flow checking by software signatures. IEEE Transactions on Reliability, 51, 111-122.
[10] Jafari-Nodoushan, M. (2008) Control-flow checking using branch instructions. IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, Shanghai, 17-20 December 2008, 66-72.
[11] Borin, E., Wang, C., Wu, Y.F., et al. (2006) Software-based transparent and comprehensive control-flow error detection. The Proceedings of the International Symposium on Code Generation and Optimization (CGO), New York, 26-29 March 2006, 333-345.
[12] Chen, Y.-Y. (2005) Concurrent detection of control flow errors by hybrid signature monitoring. IEEE Transactions on Computer, 10, 1298-1313.
[13] Vemu, R., Gurumurthy, S. and Abraham, J.A. (2007) ACCE: Automatic correction of control-flow errors. The Processing of 4th International Symposium on Test, Santa Clara, 21-26 October 2007, 1-10.
[14] Tan, L.F., Tan, Y. and Xu, J.J. (2013) CFEDR: Control-flow error detection and recovery using encoded signatures monitoring. IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFTS), New York City, 2-4 October 2013, 25-32.
[15] 谭兰芳 (2013) 面向软错误的故障恢复和验证技术研究. 工学博士论文, 国防科技大学, 长沙.
[16] Zarandi, H.R., Maghsoudloo, M. and Khoshavi, N. (2010) Two efficient software techniques to detect and correct control-flow Errors. 2010 IEEE 16th Pacific Rim International Symposium on Dependable Computing (PRDC), Tokyo, 13-15 December 2010, 141-148.