KAIST :::: NICIEL

Lab Intro

  • HOME
  • /
  • /

Reliability Analysis of I&C Systems ( related papers, related sites)

Background

  • •Traditional analog-based safety related I&C systems have been replaced by modern digital based systems.
  • •It is insufficient in understanding the reliability of the digital systems.
  • •Safety analysis of the digital systems is needed for the system reliability.
  • •Error detection coverage is the ability to detect errors which are caused by fault in the system.
  • •It is a critical factor for the safety analysis of digital systems.
  • •Fault tolerant systems have an error detection coverage probabilities and the coverage determines the overall system's reliability.

Research topics

  • •C++ based hardware description for fault simulation of target system
  • •Fault injection method
  • •Error detection method
  • •Evaluation of error detection coverage of the system

Related Papers

International Journal Papers

  • Jong Gyun Choi and Poong Hyun Seong, "Software Dependability Models under Memory Faults with Application to A Digital System in Nuclear Power Plants", Reliability Engineering and System Safety, No. 59, 321-329, 1998
  • Jong Gyun Choi and Poong Hyun Seong, "Dependability estimation of a digital system with consideration of software masking effects on hardware faults", Reliability Engineering and System Safety, Vol. 71, P.45 - 55, 2000
  • Jong Gyun Choi, Poong Hyun Seong, "Dependability Estimation of Digital System by Operational Profile-Based Fault Injection", International Topical Meeting on PSA '99, Washington, DC, USA, P. 499 - 506, 1999, 8

International Conference Papers

  • Man Cheol Kim and Poong Hyun Seong, "An Integrated Model for Reliability Estimation of Digital Nuclear Protection System Based on Fault Tree and Software Control Flow Methodologies", Japan-Korea Seminar on Advanced Reactors, Serial. 4, Japan, 2000, 10
  • Jong Gyun Choi and Poong Hyun Seong, "An Integrated Approach for Reliability Estimation of Nuclear Power Plant Digital Protection Systems: An application to Dynamic Safety System", International Seminar on Software Reliability of Man-Machine Systems, Japan, 2000, 8
  • Jong Hyun Kim and Poong Hyun Seong, "An Information Theory-based Approach for Modeling the Cognitive Behavior of NPP Operator", The Conference of CUP's Nuclear instrumentation and Control Subtask, Jeju, Korea, P. 77 - 97, 2001, 11
  • Man Cheol Kim and Poong Hyun Seong, "A Quantitative Model of System Man Interaction based on Discrete Function Theory", International Seminar on Human-Centered Automation and Software Reliability of Man-Machine Systems from Cognitive Engineering Aspect, Kyoto, Japan, P. 101 - 125, 2001, 7
  • Man Cheol Kim, Suk Joon Kim, Poong Hyun Seong , “A Quantification Method for Fault Coverage of NPP Digital Systems Combining Mathematical Analysis and Computer Simulation”, Transactions of the American Nuclear Society, 2003, 6
  • Suk Joon Kim, Man Cheol Kim, Poong Hyun Seong, “Evaluation of Fault Coverage for Digitalized System in Nuclear Power Plant using VHDL”, The 14th IEEE International Symposium on Software Reliability Engineering, 2003, 11
  • Suk Joon Kim, Poong Hyun Seong, Jun Seok Lee, “Quantitative Evaluation of Fault coverage for Digitalized Systems in NPPs”, NPIC & HMIT 2004, 2004, 9
  • Jun Seok Lee, Suk Joon Kim, Poong Hyun Seong, “Estimation of reliability on digital plant protection system in nuclear power plant using fault simulation with self-checking”, NUTHOS-6, 2004, 10

Domestic Journal Papers

  • Jong Gyun Choi and Poong Hyun Seong, "A Dependability Modeling of Software under Memory Faults for Digital System in Nuclear Power Plants", Journal of Korea Nuclear Society, Vol. 29, No. 6, P. 433 - 443, 1997, 12
  • Hyun Gi Jung and Poong Hyun Seong, "Fault-Tolerance Performance Evaluation of Fieldbus for NPCS Network of KNGR (accepted)", Journal of Korea Nuclear Society, 2001, 2

Domestic Conference Papers

  • Jong Gyun Choi, Poong Hyun Seong, "A Dependability Estimation of Microprocessor-Base Software Under Memory Faults Using Stochastic Activity Network(SAN)", Proc. of the Korean Nuclear Society, Cheju, 1996, 5
  • Jong Gyun Choi, Poong Hyun Seong,"Development of Reliability Assessment Tool for Nuclear Digital I&C System", Korea Nuclear Society, Daejeon, 2000, 10
  • Man Cheol Kim, Poong Hyun Seong,"An Integrated Model for Reliability Estimation of Digital Nuclear Protection System Based on Fault Tree and Software Control Flow Methodologies", Korea Nuclear Society, Daejeon, 2000, 10
  • Man Cheol Kim, Poong Hyun Seong, "A Quantitative Model of System Man Interaction Using Discrete Functions", Korea Nuclear Society, Seoul, P. 86 - 86, 2001, 10
  • Jong Gyun Choi, Poong Hyun Seong, "Application of Discrete Function and Software Control Flow to Dependability Assessment of Embedded Digital System", Korea Nuclear Society, Cheju, 2001, 5
  • Man Cheol Kim, Suk Joon Kim, Poong Hyun Seong, “A Quantitative Method for the Fault Coverage of Watchdog Timers in NPP Digital Systems”, Korea Nuclear Society, Kyeongju, 2003, 5
  • Suk Joon Kim, Jun Suk Lee, and Poong Hyun Seong, “Evaluation of Fault Coverage for Digitalized System in Nuclear Power Plants using VHDL”, Korea Nuclear Society, Yongpyeong, 2003, 10
  • Jun Seok Lee, Man Cheol Kim, and Poong Hyun Seong, “Coverage estimation of digital plant protection system in a nuclear power plant”, Korea Nuclear Society, Yongpyeong, 2004, 10s