A Software Fault Tree Analysis Technique for Formal Requirement Specifications of Nuclear Reactor Protection Systems

Sejin Jung, Junbeom Yoo and Young-Jun Lee

Reliability Engineering and System Safety, 2020, vol. 203, issue C

Abstract: Rigorous safety demonstration of software, as well as systems, is required when developing digital reactor protection systems in nuclear power plants. Various safety analysis techniques try to identify, analyze, and find remedies for potential hazards at each stage of software development life-cycle. This paper proposes a software fault tree analysis technique for software requirements written in the NuSCR formal specification language. The proposed method can mechanically construct software fault trees and calculate minimal cut-sets, encompassing timing constraints of multi-cycles, from NuSCR formal specifications. We also improved the fault tree construction and analysis tool into “NuFTA 2.0†to cope with multi-cycled executions. The case study with a preliminary version of requirements specification for a Korean nuclear power plant in operation shows the proposed technique’s effectiveness and applicability to other V&Vs such as simulation.

Keywords: Software Safety Analysis; Software Fault Tree Analysis; Requirements Specification; Formal Specification (search for similar items in EconPapers)
Date: 2020
References: View references in EconPapers View complete reference list from CitEc
Citations: View citations in EconPapers (7)

Downloads: (external link)
http://www.sciencedirect.com/science/article/pii/S0951832020305652
Full text for ScienceDirect subscribers only

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:eee:reensy:v:203:y:2020:i:c:s0951832020305652

DOI: 10.1016/j.ress.2020.107064

Access Statistics for this article

Reliability Engineering and System Safety is currently edited by Carlos Guedes Soares

More articles in Reliability Engineering and System Safety from Elsevier
Bibliographic data for series maintained by Catherine Liu ().