Recently, a software program has been used in nuclear power plants (NPPs) to digitalize many instrumentation and control systems. To guarantee NPP safety, the reliability of the software used in safety-critical instrumentation and control systems must be quantified and verified with proper test cases and test environment. In this study, a software testing method using a simulation-based software test bed is proposed. The test bed is developed by emulating the microprocessor architecture of the programmable logic controller used in NPP safety-critical applications and capturing its behavior at each machine instruction. The effectiveness of the proposed method is demonstrated via a case study. To represent the possible states of software inpu...
Recently, instrumentation and control (I&C) systems in nuclear power plants have undergone digitaliz...
The current U.S. Nuclear Regulatory Commission (NRC) licensing process for digital systems rests on ...
[[abstract]]One of the major concerns when employing digital I and C system in nuclear power plant i...
Software has been used to digitalize many instrumentation and control (I&C) systems in nuclear p...
Recently, a software program has been used in nuclear power plants (NPPs) to digitalize many instrum...
An issue on incorporating the software reliability within the NPP PRA model has been emerged in the ...
Digitalization of the instrumentation and control systems in nuclear power plant entails some new fe...
Digital instrumentation and control (I&C) systems have several specific characteristics as compa...
In this master's thesis we investigate software testing of safety critical automation systems with p...
Existing nuclear power plants (NPPs) are switching from analog to digital control systems, and digit...
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Nuclear Engineering, 2004.Page 242 ...
Abstract: Software qualification includes such activities as a software Verification and Validation...
AbstractField-programmable gate arrays (FPGAs) have received much attention from the nuclear industr...
The objective of this project is to develop a method to predict the potential reliability of softwar...
Field-programmable gate arrays (FPGAs) have received much attention from the nuclear industry as an ...
Recently, instrumentation and control (I&C) systems in nuclear power plants have undergone digitaliz...
The current U.S. Nuclear Regulatory Commission (NRC) licensing process for digital systems rests on ...
[[abstract]]One of the major concerns when employing digital I and C system in nuclear power plant i...
Software has been used to digitalize many instrumentation and control (I&C) systems in nuclear p...
Recently, a software program has been used in nuclear power plants (NPPs) to digitalize many instrum...
An issue on incorporating the software reliability within the NPP PRA model has been emerged in the ...
Digitalization of the instrumentation and control systems in nuclear power plant entails some new fe...
Digital instrumentation and control (I&C) systems have several specific characteristics as compa...
In this master's thesis we investigate software testing of safety critical automation systems with p...
Existing nuclear power plants (NPPs) are switching from analog to digital control systems, and digit...
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Nuclear Engineering, 2004.Page 242 ...
Abstract: Software qualification includes such activities as a software Verification and Validation...
AbstractField-programmable gate arrays (FPGAs) have received much attention from the nuclear industr...
The objective of this project is to develop a method to predict the potential reliability of softwar...
Field-programmable gate arrays (FPGAs) have received much attention from the nuclear industry as an ...
Recently, instrumentation and control (I&C) systems in nuclear power plants have undergone digitaliz...
The current U.S. Nuclear Regulatory Commission (NRC) licensing process for digital systems rests on ...
[[abstract]]One of the major concerns when employing digital I and C system in nuclear power plant i...