Automation of Quantitative Requirements Determination to Software Reliability of Safety Critical NPP I&C Systems

2016 ◽  
Author(s):  
Bohdan Volochiy ◽  
Oleksandr Mulyak ◽  
Leonid Ozirkovskyi ◽  
Vyacheslav Kharchenko
Keyword(s):  
Software Reliability ◽  
Safety Critical ◽  
Requirements Determination

Prediction and Sensibility Analysis for Nuclear Safety-Critical Software Reliability of DCS

2018 ◽  
Author(s):  
Liu Ying ◽  
Wang Ya-feng ◽  
Pang Bo ◽  
Tang Lei ◽  
Feng Bo ◽  
...  
Keyword(s):  
Software Reliability ◽  
Comprehensive Evaluation ◽  
Evaluation Model ◽  
Nuclear Safety ◽  
Safety Critical ◽  
Qualitative And Quantitative ◽  
Software Failure ◽  
Comprehensive Evaluation Model ◽  
Common Cause Failures ◽  
Sensibility Analysis

With the development of control and information technology at NPPs, software reliability is important because software failure is usually considered as one form of common cause failures in Digital I&C Systems (DCS). The reliability analysis of DCS, particularly qualitative and quantitative evaluation on the nuclear safety-critical software reliability belongs to a great challenge. To solve this problem, not only comprehensive evaluation model and stage evaluation models are built in this paper, but also prediction and sensibility analysis are given to the models. It can make basement for evaluating the reliability and safety of DCS.

Design of a Platform for Safety Justification of Safety-Critical Software

2017 ◽  
Author(s):  
Guo Jia ◽  
Yang Ming
Keyword(s):  
Software Reliability ◽  
Nuclear Power ◽  
Power Plants ◽  
Graphical Interface ◽  
Key Factors ◽  
Safety Critical ◽  
Software Products ◽  
Software Product ◽  
Quality And Reliability ◽  
User Friendly

Since safety-critical software is crucial to nuclear safety in the occurrence of accident, it is required to have rather higher requirements in both reliability and safety than the non-safety one. However, since the complexity of a software product, how to ensure the reliability and safety of a software product is still a challenging work. The paper presents a design of a platform for safety justification of safety-critical software of nuclear power plants. A syllogism referred as to Claim, Argument and Evidence (CAE) is applied to clarify the key factors that will affect software reliability and the dependencies between them. The proposed safety justification platform offers a user-friendly graphical interface to help construct a CAE model by a drag and drop way. The proposed safety justification platform could be used for the rigorous argument of various factors that may affect the reliability of a safety-critical software product during different phases of its life cycle and establishing their causalities. In this way, it could greatly improve its creditability and applicability and lowering the uncertainties in software development and application, and therefore has a significant engineering values in ensuring and improving the quality and reliability of nuclear software products.

Bayesian theory based software reliability demonstration test method for safety critical software

2014 ◽  
Vol 24 (5) ◽  
Author(s):  
YUMEI WU ◽  
RISHENG YANG ◽  
HAIFENG LI ◽  
MINYA LU
Keyword(s):  
Software Reliability ◽  
Prior Distribution ◽  
Distribution Density ◽  
High Reliability ◽  
Test Method ◽  
Published Data ◽  
Density Functions ◽  
Data Sets ◽  
Safety Critical ◽  
Decreasing Functions

The original software reliability demonstration test (SRDT) does not take adequate account of prior knowledge or the prior distribution, which can lead to an expensive use of many resources. In the current paper, we propose a new improved Bayesian based SRDT method. We begin by constructing a framework for the SRDT scheme, then we use decreasing functions to construct the prior distribution density functions for both discrete and continuous safety-critical software, and then present schemes for both discrete and continuous Bayesian software demonstration functions (which we call DBSDF and CBSDF, respectively). We have carried out a set of experiments comparing our new schemes with the classic demonstration testing scheme on several published data sets. The results reveal that the DBSDF and CBSDF schemes are both more efficient and more applicable, and this is especially the case for safety-critical software with high reliability requirements.

Test based safety-critical software reliability estimation using Bayesian method and flow network structure

2019 ◽  
Vol 233 (5) ◽  
pp. 847-856
Author(s):  
Yaguang Yang
Keyword(s):  
Software Reliability ◽  
Probabilistic Method ◽  
Reliability Estimation ◽  
Software Test ◽  
Consensus Method ◽  
Software Systems ◽  
Engineering Systems ◽  
Critical Systems ◽  
Safety Requirements ◽  
Safety Critical

System safety is closely related to system reliability. Safety requirements many times are translated to reliability requirements. Nowadays, software systems exist in many engineering systems. However, there is no consensus method for software reliability estimation. On the contrary, there is an increasing interest in estimating the software reliability due to concerns for safety-critical systems. In this article, we try to close the gap by proposing a systematic and probabilistic method to estimate the software reliability based on software test data.

Sign in / Sign up

Export Citation Format

Share Document