Software qualification activities for safety critical software

Gee Yong Park, Se Woo Cheon, Kee Choon Kwon, Kwang Yong Koh, Poong Hyun Seong, Eunkyoung Jee, Sungdeok 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
Volume1
Publication statusPublished - 2009 Dec 1
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

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

Fingerprint

Nuclear instrumentation

ASJC Scopus subject areas

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

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 (Vol. 1, pp. 312-323)

Software qualification activities for safety critical software. / Park, Gee Yong; Cheon, Se Woo; Kwon, Kee Choon; Koh, Kwang Yong; Seong, Poong Hyun; Jee, Eunkyoung; Cha, Sungdeok.

6th American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies 2009. Vol. 1 2009. p. 312-323.

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

Park, GY, Cheon, SW, Kwon, KC, Koh, KY, Seong, PH, 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. vol. 1, pp. 312-323, 6th American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies 2009, Knoxville, TN, United States, 09/4/5.
Park GY, Cheon SW, Kwon KC, Koh KY, Seong PH, Jee E et al. 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. Vol. 1. 2009. p. 312-323
Park, Gee Yong ; Cheon, Se Woo ; Kwon, Kee Choon ; Koh, Kwang Yong ; Seong, Poong Hyun ; Jee, Eunkyoung ; Cha, Sungdeok. / Software qualification activities for safety critical software. 6th American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies 2009. Vol. 1 2009. pp. 312-323
@inproceedings{1bf619985200446ca7eb11f949985ef6,
title = "Software qualification activities for safety critical software",
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.",
keywords = "Reactor protection system, Safety software, Software safety analysis, V&V activities",
author = "Park, {Gee Yong} and Cheon, {Se Woo} and Kwon, {Kee Choon} and Koh, {Kwang Yong} and Seong, {Poong Hyun} and Eunkyoung Jee and Sungdeok Cha",
year = "2009",
month = "12",
day = "1",
language = "English",
isbn = "9781615676958",
volume = "1",
pages = "312--323",
booktitle = "6th American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies 2009",

}

TY - GEN

T1 - Software qualification activities for safety critical software

AU - Park, Gee Yong

AU - Cheon, Se Woo

AU - Kwon, Kee Choon

AU - Koh, Kwang Yong

AU - Seong, Poong Hyun

AU - Jee, Eunkyoung

AU - Cha, Sungdeok

PY - 2009/12/1

Y1 - 2009/12/1

N2 - 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.

AB - 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.

KW - Reactor protection system

KW - Safety software

KW - Software safety analysis

KW - V&V activities

UR - http://www.scopus.com/inward/record.url?scp=77952067852&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=77952067852&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:77952067852

SN - 9781615676958

VL - 1

SP - 312

EP - 323

BT - 6th American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies 2009

ER -