Exhaustive Test Case Generation for Nuclear Safety Software Based on the Software Logic Model-Reference-Cited by-同舟云学术

Exhaustive Test Case Generation for Nuclear Safety Software Based on the Software Logic Model

Published:2023-10-12 Issue: Volume: Page:1-18
ISSN:0029-5450
Container-title:Nuclear Technology
language:en
Short-container-title:Nuclear Technology

Author:

Lee Sang Hun¹,Lee Seung Jun²,Shin Sung Min³,Lee Eun-Chan⁴,Kang Hyun Gook⁵

Affiliation:

1. Korea Institute of Nuclear Safety (KINS), 62 Gwahak-ro, Yuseong-gu, Daejeon, Republic of Korea, 34142

2. Ulsan National Institute of Science and Technology (UNIST), School of Mechanical, Aerospace and Nuclear Engineering, 50 UNIST-gil, Ulsan, Republic of Korea, 44919

3. Korea Atomic Energy Research Institute (KAERI), 111 Daedeok-daero, 989beon-gil, Yuseong-gu, Daejeon, Republic of Korea, 34057

4. Korea Hydro & Nuclear Power Co., Ltd, 1655 Bulguk-ro, Gyeongju-si, Gyeongsangbuk-do, Republic of Korea, 38120

5. Rensselaer Polytechnic Institute (RPI), Department of Mechanical Aerospace and Nuclear Engineering, 110 8th Street, Troy, New York 12180

Funder

Nuclear Safety Research Program through the Korea Foundation of Nuclear Safety

Nuclear Safety and Security Commission of the Republic of Korea

Publisher

Informa UK Limited

Subject

Condensed Matter Physics,Nuclear Energy and Engineering,Nuclear and High Energy Physics

Link

https://www.tandfonline.com/doi/pdf/10.1080/00295450.2023.2250133

Reference38 articles.

1. NATIONAL RESEARCH COUNCIL, Digital Instrumentation and Control Systems in Nuclear Power Plants: Safety and Reliability Issues, National Academies Press (1997).

2. D. LEE and I. KIM, “Application of Digital Technology for the Plant Protection System in Ulchin Nuclear Plant Units 5 and 6,” presented at the 2006 Int. Congress Advanced Nuclear Power Plants, Reno, Nevada, June 4–8, 2006.

3. L. SHI et al., “Probabilistic Risk Assessments of Digital I&C in Nuclear Power Plant,” presented at the 10th Probabilistic Safety Assessment Management Conf., Seattle, Washington, June 7–11, 2010.

4. An analysis of safety-critical digital systems for risk-informed design

5. P. H. SEONG, Reliability and Risk Issues in Large Scale Safety-Critical Digital Control Systems, Springer-Verlag, London (2009).