Published October 2016 | Version v1
Miscellaneous

A quantitative calculation for software reliability evaluation

  • 1. Korea Atomic Energy Research Institute, Daejeon (Korea, Republic of)

Description

To meet these regulatory requirements, the software used in the nuclear safety field has been ensured through the development, validation, safety analysis, and quality assurance activities throughout the entire process life cycle from the planning phase to the installation phase. A variety of activities, such as the quality assurance activities are also required to improve the quality of a software. However, there are limitations to ensure that the quality is improved enough. Therefore, the effort to calculate the reliability of the software continues for a quantitative evaluation instead of a qualitative evaluation. In this paper, we propose a quantitative calculation method for the software to be used for a specific operation of the digital controller in an NPP. After injecting random faults in the internal space of a developed controller and calculating the ability to detect the injected faults using diagnostic software, we can evaluate the software reliability of a digital controller in an NPP. We tried to calculate the software reliability of the controller in an NPP using a new method that differs from a traditional method. It calculates the fault detection coverage after injecting the faults into the software memory space rather than the activity through the life cycle process. We attempt differentiation by creating a new definition of the fault, imitating the software fault using the hardware, and giving a consideration and weights for injection faults

Part of:
Proceedings of the KNS 2016 Autumn Meeting

Additional details

Publishing Information

Publisher
KNS
Imprint Place
Daejeon (Korea, Republic of)
Imprint Title
Proceedings of the KNS 2016 Autumn Meeting
Imprint Pagination
[1 CD-ROM]
Journal Page Range
[3 p.]

Conference

Title
2016 Autumn Meeting of the KNS
Dates
26-28 Oct 2016
Place
Kyungju (Korea, Republic of)

INIS

Country of Publication
Korea, Republic of
Country of Input or Organization
Korea, Republic of
INIS RN
48067706
Subject category
S22: GENERAL STUDIES OF NUCLEAR REACTORS;
Resource subtype / Literary indicator
Conference, Non-conventional Literature
Descriptors DEI
COMPUTER CALCULATIONS; LIFE CYCLE; NUCLEAR POWER PLANTS; QUALITY ASSURANCE; REGULATIONS; RELIABILITY; SAFETY ANALYSIS; VALIDATION
Descriptors DEC
LAWS; NUCLEAR FACILITIES; POWER PLANTS; TESTING; THERMAL POWER PLANTS

Optional Information

Notes
7 refs, 5 figs