Radiation-hardened-by-design preamplifier with binary weighted current source for radiation detector von Seung, Minuk, Choi, Jong-Gyun, Choi, Woo-young, Kwon, Inyong

Volltext

Application of STPA-SafeSec for a cyber-attack impact analysis of NPPs with a condensate water system test-bed von Shin, Jinsoo, Choi, Jong-Gyun, Lee, Jung-Woon, Lee, Cheol-Kwon, Song, Jae-Gu, Son, Jun-Young

Volltext

An Integrated Software Testing Framework for FPGA-Based Controllers in Nuclear Power Plants von Kim, Jaeyeob, Kim, Eui-Sub, Yoo, Junbeom, Lee, Young Jun, Choi, Jong-Gyun

Volltext

NuDE 2.0: A Formal Method-based Software Development, Verification and Safety Analysis Environment for Digital I&Cs in NPPs von Kim, Eui-Sub, Lee, Dong-Ah, Jung, Sejin, Yoo, Junbeom, Choi, Jong-Gyun, Lee, Jang-Soo

Volltext

Evaluation of effectiveness of fault-tolerant techniques in a digital instrumentation and control system with a fault injection experiment von Kim, Man Cheol, Seo, Jeongil, Jung, Wondea, Choi, Jong Gyun, Kang, Hyun Gook, Lee, Seung Jun

Volltext

DEVELOPMENT OF RPS TRIP LOGIC BASED ON PLD TECHNOLOGY von Choi, Jong-Gyun, Lee, Dong-Young

Volltext

AN OVERVIEW OF RISK QUANTIFICATION ISSUES FOR DIGITALIZED NUCLEAR POWER PLANTS USING A STATIC FAULT TREE von Kang, Hyun-Gook, Kim, Man-Cheol, Lee, Seung-Jun, Lee, Ho-Jung, Eom, Heung-Seop, Choi, Jong-Gyun, Jang, Seung-Cheol

Volltext

Reliability assessment of embedded digital system using multi-state function von Choi, Jong Gyun, Seong, Poong Hyun

Volltext

Radiation-hardened-by-design preamplifier with binary weighted current source for radiation detector von Minuk Seung, Jong-Gyun Choi, Woo-young Choi, Inyong Kwon

Volltext

A practical challenge-response authentication mechanism for a Programmable Logic Controller control system with one-time password in nuclear power plants von Son, JunYoung, Noh, Sangkyun, Choi, JongGyun, Yoon, Hyunsoo

Volltext

An evaluation and acceptance of COTS software for FPGA-based controllers in NPPS von Jung, Sejin, Kim, Eui-Sub, Yoo, Junbeom, Kim, Jang-Yeol, Choi, Jong Gyun

Volltext

Reliability assessment method for NPP digital I&C systems considering the effect of automatic periodic tests von Lee, Seung Jun, Choi, Jong Gyun, Kang, Hyun Gook, Jang, Seung-Cheol

Volltext

Application of STPA-SafeSec for a cyber-attack impact analysis of NPPs with a condensate water system test-bed von Shin, Jinsoo, Choi, Jong-Gyun, Lee, Jung-Woon, Lee, Cheol-Kwon, Song, Jae-Gu, Son, Jun-Young

Volltext

Evaluation of effectiveness of fault-tolerant techniques in a digital instrumentation and control system with a fault injection experiment von Kim, Man Cheol, Seo, Jeongil, Jung, Wondea, Choi, Jong Gyun, Kang, Hyun Gook, Lee, Seung Jun

Volltext

FAULT DETECTION COVERAGE QUANTIFICATION OF AUTOMATIC TEST FUNCTIONS OF DIGITAL I&C SYSTEM IN NPPS von 최종균, SEUNG JUN LEE, 강현국, 허섭, YOUNG JUN LEE, 장승철

Volltext

Software Safety Lifecycles and the Methods of a Programmable Electronic Safety System for a Nuclear Power Plant von LEE, Jang-Soo, LINDNER, Arndt, CHOI, Jong-Gyun, MIEDL, Horst, KWON, Kee-Choon

Volltext

FAULT DETECTION COVERAGE QUANTIFICATION OF AUTOMATIC TEST FUNCTIONS OF DIGITAL I＆C SYSTEM IN NPPS von Choi, Jong-Gyun, Lee, Seung-Jun, Kang, Hyun-Gook, Hur, Seop, Lee, Young-Jun, Jang, Seung-Cheol

Volltext

An Integrated Software Testing Framework for FPGA-Based Controllers in Nuclear Power Plants von Kim, Jaeyeob, Kim, Eui-Sub, Yoo, Junbeom, Lee, Young Jun, Choi, Jong-Gyun

Volltext

NuDE 2.0: A Formal Method-based Software Development, Verification and Safety Analysis Environment for Digital I&Cs in NPPs von Kim, Eui-Sub, Lee, Dong-Ah, Jung, Sejin, Yoo, Junbeom, Choi, Jong-Gyun, Lee, Jang-Soo

Volltext

Defense-in-Depth and Diverse Qualification of Safety- Critical Software von Miedl, Horst, Lee, Jang-Soo, Lindner, Arndt, Hoffman, Ernst, Martz, Josef, Lee, Young-Jun, Choi, Jong-Gyun, Kim, Jang-Yeol, Cha, Kyoung-Ho, Cheon, Se-Woo, Lee, Cheol-Kwon, Park, Gee-Yong, Kwon, Kee-Choon

Volltext