EconPapers    
Economics at your fingertips  
 

A practical application of NUREG/CR-6430 software safety hazard analysis to FPGA software

Sejin Jung, Junbeom Yoo and Young-Jun Lee

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

Abstract: Hazard analysis is a widely-used technique to achieve the system/software safety by analyzing hazards systematically. While programmable logic controller-based digital instrumentation and control systems have been replaced with field programmable gate array (FPGA)-based ones, hazard analysis on FPGA software as well as FPGA-based controllers becomes one of the prerequisites of operational approval. The NUREG/CR-6430 provides applicable processes/methods of software safety hazard analysis (e.g., guide phrases and analysis techniques). Hazard analysis of FPGA software is different from typical software hazard analysis, since the FPGA is a hardware-based platform. This paper proposes a refined process and guide phrases at the software requirement analysis part in NUREG/CR-6430, tailored for the new target - FPGA software. We performed hazard analysis on FPGA software for a prototype version of an FPGA-based controller in Korea to show feasibility of the refined process and guide phrases.

Keywords: NUREG/CR-6430; Software hazard analysis; FPGA; Digital I&C (search for similar items in EconPapers)
Date: 2020
References: View references in EconPapers View complete reference list from CitEc
Citations:

Downloads: (external link)
http://www.sciencedirect.com/science/article/pii/S0951832020305305
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:202:y:2020:i:c:s0951832020305305

DOI: 10.1016/j.ress.2020.107029

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 ().

 
Page updated 2025-03-19
Handle: RePEc:eee:reensy:v:202:y:2020:i:c:s0951832020305305