Browse > Article
http://dx.doi.org/10.7471/ikeee.2011.15.4.267

The Implementation of Hardware Verification System Using Fault Injection Method  

Yoon, Kyung-Shub (Department of computer Engineering Hanbat University)
Song, Myoung-Gyu (Department of computer Engineering Hanbat University)
Lee, Jae-Heung (Department of computer Engineering Hanbat University)
Publication Information
Journal of IKEEE / v.15, no.4, 2011 , pp. 267-273 More about this Journal
Abstract
In hardware design, its stability and reliability are important, because a hardware error can cause serious damages or disaster. To improve stability and reliability, this paper presents the implementation of the hardware verification system using the fault injection method in PC environment. This paper presents a verification platform that can verify hardware system reliably and effectively, through a process to generate faults as well as insert input signals into the actual running system environment. The verification system is configured to connect a PC with a digital I/O card, and it can transmit or receive signals from the target system, as a verifier's intention. In addition, it can generate faults and inject them into the target system. And it can be monitored by displaying the received signals from the target system to the graphical wave signals. We can evaluate its reliability by analyzing the graphical wave signals. In this paper, the proposed verification system has been applied to the FPGA firmware of a nuclear power plant control system. As a result, we found its usefulness and reliability.
Keywords
Verification System; Fault Injection; Hardware Verification; Lab VIEW; Simulation;
Citations & Related Records
Times Cited By KSCI : 2  (Citation Analysis)
연도 인용수 순위
1 Mei-Chen Hsueh, Timothy K. Tsai, Ravishankar K. Iyer, "Fault Injection Techniques and Tools", IEEE Computer Society Press Los Alamitos, CA, USA, Vol.30, No 4, pp.75-82, 1997.   DOI   ScienceOn
2 Eliane Martins, Amanda C.A.Rosa, "A Fault Injection Approach Based on Reflective Programming", Dependable Systems and Networks, 2000. DSN 2000. Proceedings International Conference on, New York, NY , USA, pp.407-416, 2000.
3 고석환 , 장문석 , 주영철 , 이윤섭, LabView를 이 용한 풍력발전 성능평가용 모니터링 시스템 개발, 한국태양에너지학회 논문집, v.29 n.6 69-75 2009.
4 TODD A. DELONG, BARRY W. JOHNSON, JOSEPH A. PROFETA III, "A Fault Injection Technique for VHDL Behavioral-Level Models", Design & Test of Computers, IEEE, pp.24-33, 1996.
5 권현일, 김경호, 이충용, eHSPA 규격을 만족하는 FPGA 모뎀 플랫폼 설계 및 검증기법, 대한전자공학회 전자공학회논문지, 46권 2호 pp.24-30, 2009.
6 J.A. Clark and D.K. Pradhan, "Fault Injection: A Method for Validating Computing-System Dependability,"Computer, pp. 47-56, June 1995.