ANS is committed to advancing, fostering, and promoting the development and application of nuclear sciences and technologies to benefit society.
Explore the many uses for nuclear science and its impact on energy, the environment, healthcare, food, and more.
Explore membership for yourself or for your organization.
Meeting Spotlight
Nuclear Energy Conference & Expo (NECX)
September 8–11, 2025
Atlanta, GA|Atlanta Marriott Marquis
Standards Program
The Standards Committee is responsible for the development and maintenance of voluntary consensus standards that address the design, analysis, and operation of components, systems, and facilities related to the application of nuclear science and technology. Find out What’s New, check out the Standards Store, or Get Involved today!
Latest Magazine Issues
Jun 2025
Jan 2025
Latest Journal Issues
Nuclear Science and Engineering
August 2025
Nuclear Technology
Fusion Science and Technology
July 2025
Latest News
The U.S. Million Person Study of Low-Dose-Rate Health Effects
There is a critical knowledge gap regarding the health consequences of exposure to radiation received gradually over time. While there is a plethora of studies on the risks of adverse outcomes from both acute and high-dose exposures, including the landmark study of atomic bomb survivors, these are not characteristic of the chronic exposure to low-dose radiation encountered in occupational and public settings. In addition, smaller cohorts have limited numbers leading to reduced statistical power.
Sang Hun Lee, Hyun Gook Kang (RPI), Seung Jun Lee (UNIST), Sung Min Shin (KAERI), Eunchan Lee (Korea Hydro & Nuclear Power Co., Ltd.)
Proceedings | Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technolgies (NPIC&HMIT 2019) | Orlando, FL, February 9-14, 2019 | Pages 803-812
An issue on incorporating the software reliability within the NPP PRA model has been emerged in the licensing processes of digitalized NPPs. Since software failure induces CCFs of the processor modules, the reliability of the software used in NPP safety-critical I&C systems must be quantified and verified with proper test cases and environment. In order to prove the software to be error-free or have very low failure probability, an exhaustive testing of software is required. In this study, a software testing method based on the MCS-based exhaustive test case generation scheme combined with the simulation-based test-bed is proposed. The software test-bed was developed by emulating the microprocessor architecture of PLC used in NPP safety-critical applications and capturing its behavior at each machine instruction. For the test case generation, the software logic model was developed from the formal definition of FBD/LD and the sets of MCSs which represent the necessary and sufficient conditions for the software variables’ states to produce safety software output were generated. The MCSs were then converted into the test sets which are used as inputs to test-bed to verify that the test cases produce correct output after software execution. The effectiveness of the proposed method is demonstrated with the safety-critical trip logic software of IDiPS-RPS, a fully digitalized reactor protection system. The method provides a systematic way to conduct software exhaustive testing while effectively reducing the software testing effort by emulating PLC behavior in machine-level compared to existing software testing methods.
