By Topic

A Domain-Specific Safety Analysis for Digital Nuclear Plant Protection Systems

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Sanghyun Yoon ; Coll. of Inf. & Comm., Konkuk Univ., Seoul, South Korea ; Jaeyeon Jo ; Junbeom Yoo

Rigorous safety demonstration through safety analysis is strongly mandated for safety-critical systems. Nuclear plant protection systems often use techniques such as FTA, FMEA and HAZOP. Safety experts perform them manually, and quality of the analysis totally depends on the ability and experience of the experts. If we restrict the application domain of safety analysis into specific critical failures, we could automate a large part of the analysis and also improve its quality too. This paper proposes a domain-specific safety analysis technique, NuFTA, for nuclear plant protection systems. NuFTA mechanically constructs a software fault tree of nuclear reactor protection systems specified with NuSCR requirement formal specification language. The root failures of the fault tree constructed through NuFTA are restricted into 'shutdown' events of nuclear reactors, which is the most important event in the domain. Within the domain specific restrictions, NuFTA can construct software fault trees mechanically and aid safety experts' analyses efficiently.

Published in:

Secure Software Integration & Reliability Improvement Companion (SSIRI-C), 2011 5th International Conference on

Date of Conference:

27-29 June 2011