1 |
A.K. Mishra, S.R. Shimjith, T.U. Bhatt, A.P. Tiwari, Kalman filter-based dynamic compensator for vanadium self powered neutron detectors, IEEE Trans. Nucl. Sci. 61 (2014) 1360-1368.
DOI
|
2 |
G.F. Lynch, R.B. Shields, P.G. Coulter, Characterization of platinum self-powered detectors, IEEE Trans. Nucl. Sci. 24 (1977) 692-695.
DOI
|
3 |
W.H. Todt, Characteristics of Self-Powered Neutron Detectors Used in Power Reactors, Imaging and Sensing Technology Corporation, Horseheads (NY), 1997.
|
4 |
M. Borairi, Reactor Regulating System (Lecture Notes), Oshawa (ON, Canada), 2014.
|
5 |
R.W. Butler, What is Formal Methods, Langely Formal Methods [Internet]. NASA, 6 August 2001 [cited 2016 Feb 20]. Available from: http://shemesh.larc.nasa.gov/fm/fm-what.html.
|
6 |
H. Yalin, Exploring Formal Verification Methodology for FPGA-based Digital Systems, Sandhia National Laboratories, Alburquerque (NM), 2012.
|
7 |
M. Yau, G. Apostolakis, S. Guarro, The use of prime implicants in dependability of software controlled systems, Reliab. Eng. Syst. Saf. 62 (1998) 23-32.
DOI
|
8 |
J. Ranta, The Current State of FPGA Technology in the Nuclear Domain, VTT Technical Research, Finland, 2012.
|
9 |
International Electrotechnical Commission, Nuclear Power Plants-Instrumentation and Control Important for Safety-Software Aspects for Computer-Based Systems Performing Category B or C Functions, 2004. Geneva, Switzerland.
|
10 |
International Electrotechnical Commission, Nuclear Power Plants-Instrumentation and Control Important to Safety-Development of HDL-Programmed Integrated Circuits for Systems Performing Category A Functions, IEC, Geneva (Switzerland), 2012.
|
11 |
J. She, J. Jiang, Potential improvement of CANDU NPP safety margins by shortening the response time of shutdown systems using FPGA based implementation, Nucl. Eng. Des. 244 (2012) 43-51.
DOI
|
12 |
J. Naser, Recommended Approaches and Design Criteria for Application of Field Programmable Gate Arrays in Nuclear Plant Instrumentation and Control, Electric Power Research Institute (EPRI), Palo Alto (CA) USA, 2011.
|
13 |
P. McNelles, L. Lu, A Review of the Current State of FPGA Systems in Nuclear Instrumentation and Control, Proceedings of the 21st International Conference on Nuclear Engineering, Chengdu (China), 2013.
|
14 |
J.-J. Lu, H.-P. Chou, K.-W. Wong, Conceptual Design of FPGA-based RPS for the Lungmen Nuclear Power Plant, NPIC & HMIT, Las Vegas (NV), 2010, pp. 944-953.
|
15 |
H. Huang, H. Chou, C. Lin, Design of a FPGA based ABWR feedwater controller, Nucl. Eng. Technol. 44 (2012) 363-368.
DOI
|
16 |
International Atomic Energy Agency (IAEA), Application of Field Programmable Gate Arrays in Instrumentation and Control Systems of Nuclear Power Plants, IAEA, Vienna (Austria), 2016.
|
17 |
J. She, J. Jiang, On the speed of response of an FPGA-based shutdown system in CANDU nuclear power plants, Nucl. Eng. Des. 241 (2011) 2280-2287.
DOI
|
18 |
E.S. Bakhmach, A.D. Herasimenko, V.A. Golovyr, V.S. Kharchenko, Yu.V. m Rozen, A.A. Siora, V.V. Sklyar, V.I. Tokarev, S.V. Vinogradskaya, M.A. Yastrebenetsky, FPGA-Based NPP Instrumentation and Control Systems: Development and Safety Assessment, Radiy, Kirovograd, Kharkiv (Ukraine), 2008.
|
19 |
J. Naser, Guidelines on the Use of Field Programmable Gate Arrays (FPGAs) in Nuclear Power Plant I&C Systems, Electric Power Research Institute (EPRI), Palo Alto (CA) USA, 2009.
|
20 |
International Electrotechnical Commission (IEC), 62566, Development of HDL Programmed Integrated Circuits for Systems Performing Category A Functions, IEC, Geneva (Switzerland), 2012.
|
21 |
United States Nuclear Regulatory Commission (U.S. NRC), NUREG-7006, Review Guidelines for Field Programmable Gate Arrays in Nuclear Power Plant Safety Systems, U.S. NRC, Washington (DC), 2010.
|
22 |
ASCA Inc, Dymonda 7.0 Software Guide, ASCA Inc., Redondo Beach (CA), 2013.
|
23 |
A. Al-Dabbagh, L. Lu, Reliability modeling of networked control systems using dynamic flowgraph methodology, Reliab. Eng. Syst. Saf. 95 (2010) 1202-1209.
DOI
|
24 |
T. Aldemir, M.P. Stovsky, J. Kirschenbaum, D. Mandelli, P. Bucci, L.A. Mangan, D.W. Miller, X. Sun, E. Ekici, S. Guarro, M. Yau, B. Johnson, C. Eika, S.A. Arndt, Dynamic Reliability Modeling of Digital Instrumentation and Control Systems for Nuclear Reactor Probabilistic Risk Assessments, U.S. Nuclear Regulatory Commission, Washington (DC), 2007.
|
25 |
T. Aldemir, D.W. Miller, M. Stovsk, J. Kirschenbaum, P. Bucci, L.A. Mangan, A. Fentiman, S.A. Arndt, Methodologies for the probabilistic risk assessment of digital reactor protection and control systems, Nucl. Technol. 159 (2007) 167-191.
DOI
|
26 |
S. Authen, J.-E. Holmberg, Reliability analysis of digital systems in a probabilistic risk analysis for nuclear power plants, Nucl. Eng. Technol. 44 (2012) 471-482.
DOI
|
27 |
C. Garett, S. Guarro, G. Apostolakis, The dynamic flowgraph methodology for assessing the dependability of embedded software systems, IEEE Trans. Syst. Man Cybern 25 (1995) 824-840.
DOI
|
28 |
P. McNelles, L. Lu, Lab-Scale Design, Demonstration and Safety Assessment of an FPGA-based Post-Accident Monitoring System for Westinghouse AP1000 Nuclear Power Plants, Proceedings of the 22nd International Conference on Nuclear Engineering, Prague (Czech Republic), 2014.
|
29 |
K. Bjorkman, Solving dynamic flowgraph methodology models using binary decision diagrams Reliab, Eng. Syst. Saf. 111 (2013) 206-216.
DOI
|
30 |
T. Aldemir, S. Guarro, D. Mandelli, J. Kirschenbaum, L.A. Mangan, P. Bucci, M. Yau, E. Ekici, D.W. Miller, X. Sun, S.A. Arndt, Probabilistic risk assessment modeling of digital instrumentation and control using two dynamic methodologies, Reliab. Eng. Syst. Saf. 95 (2010) 1011-1039.
DOI
|
31 |
Organization for Economic Co-Operation and Development - Nuclear Energy Agency (OECD-NEA), Recommendations on Assessing Digital System Reliability in Probabilistic Risk Assessments of Nuclear Power Plants, OECD-NEA, Paris, France, 2009.
|
32 |
Institute for Electrical and Electronics Engineers, IEEE, 1164-1993-IEEE Standard Multivalue Logic System for VHDL Model Interoperability (Stdlogic1164), IEEE Standard [Internet]. [cited 2015 Dec 20]. Available from: https://standards.ieee.org/findstds/standard/1164-1993.html.
|
33 |
Synario Design Automation, VHDL Reference Manual, Synario Design Automation, Redmond (WA), 1997.
|
34 |
A.K. Mishra, S.R. Shimjith, T.U. Bhatt, A.P. Tiwari, Dynamic compensation of vanadium self powered neutron detectors for use in reactor control, IEEE Trans. Nucl. Sci. 60 (2013) 310-318.
DOI
|