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.
Division Spotlight
Robotics & Remote Systems
The Mission of the Robotics and Remote Systems Division is to promote the development and application of immersive simulation, robotics, and remote systems for hazardous environments for the purpose of reducing hazardous exposure to individuals, reducing environmental hazards and reducing the cost of performing work.
Meeting Spotlight
2024 ANS Annual Conference
June 16–19, 2024
Las Vegas, NV|Mandalay Bay Resort and Casino
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
May 2024
Jan 2024
Latest Journal Issues
Nuclear Science and Engineering
June 2024
Nuclear Technology
Fusion Science and Technology
Latest News
Oklo to collaborate with Atomic Alchemy on isotope production
Fast reactor developer Oklo, which recently went public on the New York Stock Exchange, announced on May 13 that it has signed a memorandum of understanding with Atomic Alchemy to cooperate on the production of radioisotopes for medical, energy, industry, and science applications.
Sang Hun Lee, Seung Jun Lee, Sung Min Shin, Eun-Chan Lee, Hyun Gook Kang
Nuclear Technology | Volume 210 | Number 5 | May 2024 | Pages 850-867
Research Article | doi.org/10.1080/00295450.2023.2250133
Articles are hosted by Taylor and Francis Online.
An issue regarding the incorporation of software reliability within the nuclear power plant (NPP) probabilistic risk assessment model has emerged in the licensing processes of digitalized NPPs. Since software failure induces common-cause failure of the processor modules, the reliability of the software used in the NPP safety-critical instrumentation and control systems must be quantified and verified with proper test cases and environments.
In this study, a software testing method based on the minimal cut set (MCS)–based exhaustive test case generation scheme is proposed where the software logic model is developed from available information on the software development and the MCSs that represent the necessary and sufficient conditions for the software variables’ states to produce safety software outputs are generated. The MCSs are then converted into the test cases, which can be used as inputs to the test bed to verify that the test cases produce correct outputs after software execution. The effectiveness of the proposed method is demonstrated with the safety-critical trip logic software of the APR-1400 reactor protection system. The method provides a systematic way to conduct exhaustive software testing and prove the functionality of the nuclear safety software based on the test result without uncertainties.