A method for evaluating fault coverage using simulated fault injection for digitalized systems in nuclear power plants

Reliability Engineering and System Safety

Volumn 91, Issue 5, 2006, Pages 614-623

  Kim, Suk Joon ^a   Seong, Poong Hyun ^a   Lee, Jun Seok ^a   Kim, Man Cheol ^a   Kang, Hyun Gook ^b   Jang, Seung Cheol ^b  

^a Korea Advanced Institute of Science and Technology (KAIST)   (South Korea)

^b Korea Atomic Energy Research Institute   (South Korea)

Author keywords

Digital plant protection system; Fault coverage; Heartbeat watchdog timer; Local coincidence logic processor; ROM checksum; Simulated fault injection

Indexed keywords

COMPUTER SIMULATION; ERROR CORRECTION; EVALUATION; RELIABILITY; SECURITY SYSTEMS;

DIGITAL PLANT PROTECTION SYSTEM; FAULT COVERAGE; HEARTBEAT-WATCHDOG TIMER; LOCAL COINCIDENCE LOGIC PROCESSOR; ROM CHECKSUM; SIMULATED FAULT INJECTION;

NUCLEAR POWER PLANTS;

EID: 31544480891     PISSN: 09518320     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ress.2005.05.002     Document Type: Article

References (15)

1. Kaufman LM, Johnson BW. Embedded digital system reliability and safety analyses, NUREG/GR-0200; 2001.
2. National Research Council Digital instrumentation and control systems in nuclear power plants 1997 National Academy Press Washington, DC
3. Hyun Gook Kang, and Taeyong Sung An analysis of safety-critical digital systems for risk-informed design Reliab Eng Syst Saf 78 3 2002 307 314
4. Joanne B. Dugan, and Kishor S. Trivedi Coverage modeling for dependability analysis of fault-tolerant systems IEEE Trans Comput 38 6 1989 775 787
5. A. Khoche, S.D. Sherlekar, G. Venkateshesh, and R. Venkateswaran A behavioral fault simulator for ideal IEEE Design Test Comput 9 4 1992 14 21
6. Y.H. Levendel, and P.R. Menon Test generation algorithms for computer hardware description languages IEEE Trans Comp C31 1982 577 589
7. W. Mao, and R. Gulati Improving gate level fault coverage by RTL fault grading Proceeding of international test conference 1996 pp. 150-159
8. R.J. Hayne, and B.W. Johnson Behavioral fault modeling in a VHDL synthesis environment Proceeding of 17th VLSI test symposium 1999 pp. 333-340
9. MIL-HDBK-217F. Reliability prediction of electronic equipment; Dec 2 1991.
10. M. Sueh, T. Tsai, and R.K. Iyer Fault injection techniques and tools IEEE Comput 30 4 1997 75 82
11. J.A. Clark, and D.K. Pradhan Fault injection: a method for validating computer-system dependability IEEE Comput 28 1995 47 56
12. Technical Manual for Digital Plant Protection System (DPPS) for Ulchin 5 and 6, Westinghouse electric company LLC; 2002.
13. AT89 Series Hardware Description, Atmel Corporation; 2000.
14. Andrew S. Tanenbaum Structured computer organization 1984 Prentice-Hall International Englewood Cliffs, NJ, USA
15. D.P. Siewiorek, and R.S. Swarz Reliable computer systems-design and evaluation A.K. Peters 1998