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.
Conference 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
Jul 2025
Jan 2025
Latest Journal Issues
Nuclear Science and Engineering
August 2025
Nuclear Technology
Fusion Science and Technology
July 2025
Latest News
DOE on track to deliver high-burnup SNF to Idaho by 2027
The Department of Energy said it anticipated delivering a research cask of high-burnup spent nuclear fuel from Dominion Energy’s North Anna nuclear power plant in Virginia to Idaho National Laboratory by fall 2027. The planned shipment is part of the High Burnup Dry Storage Research Project being conducted by the DOE with the Electric Power Research Institute.
As preparations continue, the DOE said it is working closely with federal agencies as well as tribal and state governments along potential transportation routes to ensure safety, transparency, and readiness every step of the way.
Watch the DOE’s latest video outlining the project here.
Lalit Singh, Hitesh Rajput
Nuclear Technology | Volume 195 | Number 3 | September 2016 | Pages 301-309
Technical Paper | doi.org/10.13182/NT15-151
Articles are hosted by Taylor and Francis Online.
Verification of safety is a key activity in designing safety critical systems. The objective of safety verification is to avoid unacceptable risk of damage to public health or property or physical injury by any means. To ensure the goals of safety, these systems must reach a safe state for the occurrence of any failure. There is a need to verify the design of such systems to identify and overcome the probable risks, if any. This paper presents a case for safety verification of the main steam system of a nuclear reactor. The technique shown is based on Petri nets, to model and analyze the safety critical computer-based systems for safety verification. The paper further argues that the proposed technique is beneficial in improving faulty design.