V&V-based remaining fault estimation model for safety-critical software of a nuclear power plant

Cited 6 time in webofscience Cited 0 time in scopus
  • Hit : 450
  • Download : 0
Quantitative software reliability measurement approaches have some limitations in demonstrating the proper level of reliability in cases of safety-critical software. One of the more promising alternatives is the use of software development quality information. Particularly in the nuclear industry, regulatory bodies in most countries use both probabilistic and deterministic measures for ensuring the reliability of safety-grade digital computers in NPPs. The point of deterministic criteria is to assess the whole development process and its related activities during the software development life cycle for the acceptance of safety-critical software. In addition software Verification and Validation (V&V) play an important role in this process. In this light, we propose a V&V-based fault estimation method using Bayesian Nets to estimate the remaining faults for safety-critical software after the software development life cycle is completed. By modeling the fault insertion and elimination processes during the whole development phases, the proposed method systematically estimates the expected number of remaining faults. (C) 2012 Elsevier Ltd. All rights reserved.
Publisher
PERGAMON-ELSEVIER SCIENCE LTD
Issue Date
2013-01
Language
English
Article Type
Article
Keywords

MOTOR PROTECTION RELAY; BAYESIAN NETWORKS; RELIABILITY ESTIMATION; SYSTEMS; NETS

Citation

ANNALS OF NUCLEAR ENERGY, v.51, pp.38 - 49

ISSN
0306-4549
DOI
10.1016/j.anucene.2012.06.030
URI
http://hdl.handle.net/10203/103668
Appears in Collection
NE-Journal Papers(저널논문)
Files in This Item
There are no files associated with this item.
This item is cited by other documents in WoS
⊙ Detail Information in WoSⓡ Click to see webofscience_button
⊙ Cited 6 items in WoS Click to see citing articles in records_button

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0