Session details: Theme: Software design and development: SVT - Software verification and testing track

2021 ◽  
Author(s):  
Erika Abraham ◽  
Nikolai Kosmatov
Keyword(s):  
Software Design ◽  
Software Verification ◽  
Design And Development

scholarly journals Design and Development Framework of Safety-Critical Software in HTR-PM

2017 ◽  
Vol 2017 ◽  
pp. 1-9 ◽  
Author(s):  
Chao Guo ◽  
Huasheng Xiong ◽  
Xiaojin Huang ◽  
Duo Li
Keyword(s):  
Power Plant ◽  
Software Design ◽  
Nuclear Power ◽  
Software Verification ◽  
Software Test ◽  
Release Time ◽  
Design And Development ◽  
Efficient Operation ◽  
Development Framework ◽  
Software Release

With the development of information technology, the instrumentation and control system of nuclear power plant nowadays rely heavily on the massive and complex software to ensure the safe and efficient operation of the power plant. The improvement of the software design and development for the safety systems has been a research focus for its decisive impact on the nuclear safety. The framework of the software design and development for reactor protection system in High Temperature Gas-Cooled Reactor-Pebble bed Module was introduced in this paper. Firstly, during the design period, in addition to multichannel redundancy, grouping of protection variables and diverse 2-out-of-4 logics were adopted by different subsystems of each channel in case of common cause failure. Then a series of development characteristics together with strict software verification and validation were performed. Thirdly, during the software test period, an improved software reliability growth model based on the Goel-Okumoto model according to the analysis of fault severity was proposed to help in estimating the reliability of the software product and identifying the software release time.

Sign in / Sign up

Export Citation Format

Share Document