IEMEK Journal of Embedded Systems and Applications (대한임베디드공학회논문지)

Institute of Embedded Engineering of Korea (대한임베디드공학회)
권호 표지
DOI QR코드

DOI QR Code

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)
  • Received : 2018.08.15
  • Accepted : 2018.10.02
  • Published : 2018.10.31
Download PDF
⟨ Previous Next ⟩

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

References

  1. 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. https://doi.org/10.1109/24.994926
  2. 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.
  3. 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. https://doi.org/10.1109/71.774911
  4. A. Li. B. Hong, "Software Implemented Transient Fault Detectionin Space Computer," Aerosp. Sci. Technol., Vol. 11, No. 2, pp. 245-252, 2007. https://doi.org/10.1016/j.ast.2006.06.006
  5. 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. https://doi.org/10.4236/jsea.2012.59078
  6. 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. https://doi.org/10.1109/TII.2013.2248373
  7. 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. https://doi.org/10.1109/TR.2017.2754548
  8. G, Blake, R.G. Dreslinski, T. Mudge, “A Survey of Multicore Processors,” IEEE Signal Processing Magazine, Vol. 26, No. 6, pp. 26-37, 2009. https://doi.org/10.1109/MSP.2009.934110
  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). https://doi.org/10.14372/IEMEK.2016.11.4.251
  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. https://doi.org/10.1145/358274.358283
  13. H. J. Curnow, B.A. Wichman, “A Synthetic Benchmark,” The Computer Journal, Vol. 19, No. 1, pp. 43-49, 1976. https://doi.org/10.1093/comjnl/19.1.43
  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.