Development of simulation-based testing environment for safety-critical software-Reference-Cited by-同舟云学术

Development of simulation-based testing environment for safety-critical software

Published:2018-05 Issue:4 Volume:50 Page:570-581
ISSN:1738-5733
Container-title:Nuclear Engineering and Technology
language:en
Short-container-title:Nuclear Engineering and Technology

Author:

Lee Sang Hun,Lee Seung Jun,Park Jinkyun,Lee Eun-chan,Kang Hyun Gook

Funder

Evaluation of human error probabilities and safety software reliabilities in digital environment

Central Research Institute (CRI)

Korea Hydro and Nuclear Power (KHNP) company

Publisher

Elsevier BV

Subject

Nuclear Energy and Engineering

Reference33 articles.

1. Digital I&C Systems in Nuclear Power Plants. Risk-screening of Environmental Stressors and a Comparison of Hardware Unavailability with an Existing Analog System;Hassan,1998

2. Digital Instrumentation and Control Systems in Nuclear Power Plants: Safety and Reliability Issues;National Research Council,1997

3. An analysis of safety-critical digital systems for risk-informed design;Kang;Reliab. Eng. Syst. Saf.,2002

4. Operating and Maintenance Experience with Computer-based Systems in Nuclear Power Plants;Ragheb,1996

5. Guidance for Evaluation of D3 in Digital Computer-based Instrumentation and Control Systems;U.S. Nuclear Regulatory Commission,2012

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Sustainable Energy Safety Management Utilizing an Industry-Relative Assessment of Enterprise Equipment Technical Condition;Sustainability;2024-01-16

2. Intelligent fault monitoring and reliability analysis in safety–critical systems of nuclear power plants using SIAO-CNN-ORNN;Multimedia Tools and Applications;2024-01-06

3. Automated Simulation-Based Integration Testing for Multiple PLCs in a Reactor Protection System;2023 30th Asia-Pacific Software Engineering Conference (APSEC);2023-12-04

4. Application of Formal Verification Methods in a Safety-Oriented Software Development Life Cycle;2023 13th International Conference on Dependable Systems, Services and Technologies (DESSERT);2023-10-13

5. Exhaustive Test Case Generation for Nuclear Safety Software Based on the Software Logic Model;Nuclear Technology;2023-10-12