-
1
-
-
31544459218
-
A computational method for probabilistic safety assessment of I&C systems and human operators in nuclear power plants
-
M. C. Kim, Seong, P. H., “A computational method for probabilistic safety assessment of I&C systems and human operators in nuclear power plants,” Reliability Engineering and System Safety, 91[5] (2006).
-
(2006)
Reliability Engineering and System Safety
, vol.91
, Issue.5
-
-
Kim, M.C.1
Seong, P.H.2
-
2
-
-
50249121897
-
The improvement of nuclear safety regulation: American, European, Japanese, and South Korean experiences
-
B. S. Cho, “The improvement of nuclear safety regulation: American, European, Japanese, and South Korean experiences,” Nuclear Engineering and Technology, 37[3] (2005).
-
(2005)
Nuclear Engineering and Technology
, vol.37
, Issue.3
-
-
Cho, B.S.1
-
4
-
-
0026188075
-
Safety verification of ADA programs using software fault trees
-
N. G. Leveson, S. C. Cha, T. J. Shimeall, “Safety verification of ADA programs using software fault trees,” IEEE Software, 8[4] (1991).
-
(1991)
IEEE Software
, vol.8
, Issue.4
-
-
Leveson, N.G.1
Cha, S.C.2
Shimeall, T.J.3
-
5
-
-
0033079418
-
Fault tree developed by an object-based method improves requirements specification for safety-related systems
-
M. Cepin, B. Mavko, “Fault tree developed by an object-based method improves requirements specification for safety-related systems,” Reliability Engineering and System Safety, 63[2] (1999).
-
(1999)
Reliability Engineering and System Safety
, vol.63
, Issue.2
-
-
Cepin, M.1
Mavko, B.2
-
6
-
-
0036891201
-
‘An analysis of safety-critical digital systems for risk-informed design,'
-
H. G. Kang, T. Sung, “An analysis of safety-critical digital systems for risk-informed design,'' Reliability Engineering and System Safety, 78[3] (2002).
-
(2002)
Reliability Engineering and System Safety
, vol.78
, Issue.3
-
-
Kang, H.G.1
Sung, T.2
-
8
-
-
2442462439
-
Probabilistic safety assessment for instrumentation and control systems in nuclear power plants: An overview
-
L. Lu, J. Jiang, “Probabilistic safety assessment for instrumentation and control systems in nuclear power plants: An overview,” J. Nucl. Sci. Technol., 41[3] (2004).
-
(2004)
J. Nucl. Sci. Technol
, vol.41
, Issue.3
-
-
Lu, L.1
Jiang, J.2
-
9
-
-
35548972444
-
Plant risk effect analysis focusing on digital I&C equipment failures
-
H. G. Kang, S. C. Jang, “Plant risk effect analysis focusing on digital I&C equipment failures,” J. Nucl. Sci. Technol., 44[4] (2007).
-
(2007)
J. Nucl. Sci. Technol
, vol.44
, Issue.4
-
-
Kang, H.G.1
Jang, S.C.2
-
10
-
-
31944449171
-
‘A safety assessment methodology for a digital reactor protection system,'
-
D. Y. Lee, J. G. Choi, Y. Lyou, “A safety assessment methodology for a digital reactor protection system,'' Int. J. Control, Automation, and Systems, 4[1] (2006).
-
(2006)
Int. J. Control, Automation, and Systems
, vol.4
, Issue.1
-
-
Lee, D.Y.1
Choi, J.G.2
Lyou, Y.3
-
11
-
-
31544480891
-
“A method for evaluating fault coverage using simulated fault injection for digitalized systems in nuclear power plants
-
S. J. Kim et al., “A method for evaluating fault coverage using simulated fault injection for digitalized systems in nuclear power plants,'' Reliability Engineering and System Safety, 91[5] (2006).
-
(2006)
Reliability Engineering and System Safety
, vol.91
, Issue.5
-
-
Kim, S.J.1
-
12
-
-
33645388430
-
‘Evaluation of error detection coverage and fault-tolerance of digital plant protection system in nuclear power plants,'
-
J. S. Lee et al., “Evaluation of error detection coverage and fault-tolerance of digital plant protection system in nuclear power plants,'' Annals of Nuclear Energy, 33 (2006).
-
(2006)
Annals of Nuclear Energy
, pp. 33
-
-
Lee, J.S.1
-
14
-
-
50249094308
-
-
KNICS-RPS-AR103. Rev. 02, Korea Atomic Energy Research Institute
-
J. G. Choi, RPS Unavailability Analysis, KNICS-RPS-AR103. Rev. 02, Korea Atomic Energy Research Institute (2004).
-
(2004)
RPS Unavailability Analysis
-
-
Choi, J.G.1
-
19
-
-
0346341075
-
A fast BDD algorithm for the reliability analysis of large coherent systems
-
W. S. Jung, S. H. Han, J. J. Ha, “A fast BDD algorithm for the reliability analysis of large coherent systems,”” Reliability Engineering and System Safety, 83[3] (2004).
-
(2004)
Reliability Engineering and System Safety
, vol.83
, Issue.3
-
-
Jung, W.S.1
Han, S.H.2
Ha, J.J.3
-
20
-
-
32044463040
-
ATWS frequency quantification focusing on digital I&C failures
-
H. G. Kang, S. C. Jang, H. G. Lim, “ATWS frequency quantification focusing on digital I&C failures,”” J. Korean Nucl. Soc., 36[2] (2004).
-
(2004)
J. Korean Nucl. Soc
, vol.36
, Issue.2
-
-
Kang, H.G.1
Jang, S.C.2
Lim, H.G.3
|