Browse > Article
http://dx.doi.org/10.14372/IEMEK.2018.13.5.225

Separate Signature Monitoring for Control Flow Error Detection  

Choi, Kiho (School of EE, Kyungpook National University)
Park, Daejin (School of EE, Kyungpook National University)
Cho, Jeonghun (School of EE, Kyungpook National University)
Publication Information
IEMEK Journal of Embedded Systems and Applications / v.13, no.5, 2018 , pp. 225-234 More about this Journal
Abstract
Control flow errors are caused by the vulnerability of memory and result in system failure. Signature-based control flow monitoring is a representative method for alleviating the problem. The method commonly consists of two routines; one routine is signature update and the other is signature verification. However, in the existing signature-based control flow monitoring, monitoring target application is tightly combined with the monitoring code, and the operation of monitoring in a single thread is the basic model. This makes the signature-based monitoring method difficult to expect performance improvement that can be taken in multi-thread and multi-core environments. In this paper, we propose a new signature-based control flow monitoring model that separates signature update and signature verification in thread level. The signature update is combined with application thread and signature verification runs on a separate monitor thread. In the proposed model, the application thread and the monitor thread are separated from each other, so that we can expect a performance improvement that can be taken in a multi-core and multi-thread environment.
Keywords
Separate signature-based control flow monitoring; Control flow error detection;
Citations & Related Records
Times Cited By KSCI : 1  (Citation Analysis)
연도 인용수 순위
1 Z. Alkhalifa, V.S. Nair, N. Krishnamurthy, J.A. Abraham, "Design and Evaluation of System level Checks for On-line Control Flow Error Detection," IEEE Trans. Parallel Distrib. Syst., Vol. 10, No. 6, pp. 627-641, 1999.   DOI
2 A. Li. B. Hong, "Software Implemented Transient Fault Detectionin Space Computer," Aerosp. Sci. Technol., Vol. 11, No. 2, pp. 245-252, 2007.   DOI
3 S.A. Asghari, A. Abeli, H. Taheri, H. Pedram, S. Pourmozaffari, "SEDSR: Soft Error Detection Using Software Redundancy," Softw. Eng. Appl., Vol. 5, No. 9, pp. 664-670, 2012.   DOI
4 S.A. Asghari, H. Taheri. H. Pedram. O. Kaynak, “Software-based Control Flow Checking Against Transient Faults in Industrial Environments,” Proceedings of IEEE Trans. Ind. Informat., Vol. 10, No. 1, pp. 481-490, 2014.   DOI
5 J. Vankeirsbilck, N. Penneman, H. Hallez, J. Boydens, "Random Additive Signature Monitoring for Control Flow Error Detection," in IEEE Transactions on Reliability, Vol. 66, No. 4, pp. 1178-1192, 2017.   DOI
6 G, Blake, R.G. Dreslinski, T. Mudge, “A Survey of Multicore Processors,” IEEE Signal Processing Magazine, Vol. 26, No. 6, pp. 26-37, 2009.   DOI
7 N. Oh, P.P. Shirvani, E.J. McCluskey, “Control-flow Checking by software Signatures,” Proceedings of IEEE Transactions on Reliability, Vol. 51, No, 1, pp. 111-122, 2002.   DOI
8 O. Goloubeva, M. Rebaudengo, M.S. Reorda, M. Violante, "Softerror Detection Using Control Folw Assertions," Proceedings of 18th IEEE Int. Symp. Defect Fault Tolerance VLSI Syst, pp. 581-588, 2003.
9 D.M. Tullsen, S.J. Eggers, H.M. Levy, "Simultaneous Multithreading: Maximizing On-chip Parallelism," Proceedings of 22nd Annual International Symposium on Computer Architecture, pp. 392-403, 1993.
10 Y.J. Kong, S.K. Woo, “Real-Time Implementation of Doppler Beam Sharpening in a SMP Multi-Core Kernel,” IEMEK J. Embed. Sys. Appl, Vol. 11, No. 4, pp. 251-257, 2016. (in Korean).   DOI
11 C. Lattner, V. Adve, "LLVM: a Compilation Framework for Lifelong Program Analysis & Transformation,"Proceedings of CGO '04, pp. 75-86, 2004.
12 R. P. Weicker, “Dhrystone: A Synthetic Systems Programming Benchmark,” Communications of the ACM, Vol. 27, No. 10, pp. 1013-1030, 1984.   DOI
13 H. J. Curnow, B.A. Wichman, “A Synthetic Benchmark,” The Computer Journal, Vol. 19, No. 1, pp. 43-49, 1976.   DOI
14 M. R. Guthaus, J. S. Ringenberg, D. Ernst, T. M. Austin, T. Mudge, and R B. Brown, "MiBench: a Free, Commercially Representative Embedded Benchmark Suite," Proceedings of 4th Annual IEEE International Workshop Workload Characterization, pp. 3-14, 2001.