Software qualification activities for safety critical software

Gee Yong Park, Se Woo Cheon, Kee Choon Kwon, Kwang Yong Koh, Poong Hyun Seong, Eunkyoung Jee, Sungduck Cha

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Citations (Scopus)

Abstract

Rigorous verification and validation (V&V) activities and software safety analyses have been performed on the safety critical software for a digital reactor protection system (RPS) that has been developed under the KNICS (Korea Nuclear Instrumentation and Control) project. This paper describes various V&V activities performed in the KNICS project and presents a strategy and various techniques for a software safety analysis. Some experiences obtained from the application of these activities to safety software are also presented.

Original languageEnglish
Title of host publication6th American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies 2009
Pages312-323
Number of pages12
Publication statusPublished - 2009
Event6th American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies 2009 - Knoxville, TN, United States
Duration: 2009 Apr 52009 Apr 9

Publication series

Name6th American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies 2009
Volume1

Other

Other6th American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies 2009
CountryUnited States
CityKnoxville, TN
Period09/4/509/4/9

Keywords

  • Reactor protection system
  • Safety software
  • Software safety analysis
  • V&V activities

ASJC Scopus subject areas

  • Human-Computer Interaction
  • Energy Engineering and Power Technology
  • Nuclear Energy and Engineering

Fingerprint Dive into the research topics of 'Software qualification activities for safety critical software'. Together they form a unique fingerprint.

  • Cite this

    Park, G. Y., Cheon, S. W., Kwon, K. C., Koh, K. Y., Seong, P. H., Jee, E., & Cha, S. (2009). Software qualification activities for safety critical software. In 6th American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies 2009 (pp. 312-323). (6th American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies 2009; Vol. 1).