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

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

Department of Computer Science and Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

6 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 language	English
Title of host publication	6th American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies 2009
Pages	312-323
Number of pages	12
Publication status	Published - 2009
Event	6th American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies 2009 - Knoxville, TN, United States Duration: 2009 Apr 5 → 2009 Apr 9

Publication series

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

Other

Other	6th American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies 2009
Country/Territory	United States
City	Knoxville, TN
Period	09/4/5 → 09/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

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

Software qualification activities for safety critical software. / Park, Gee Yong; Cheon, Se Woo; Kwon, Kee Choon et al.
6th American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies 2009. 2009. p. 312-323 (6th American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies 2009; Vol. 1).

Research output: Chapter in Book/Report/Conference proceeding › Conference 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. 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. 2009. p. 312-323. (6th American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies 2009).

Park, Gee Yong ; Cheon, Se Woo ; Kwon, Kee Choon et al. / 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. 2009. pp. 312-323 (6th American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies 2009).

@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 Sungduck Cha",

year = "2009",

language = "English",

isbn = "9781615676958",

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

pages = "312--323",

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

note = "6th American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies 2009 ; Conference date: 05-04-2009 Through 09-04-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, Sungduck

PY - 2009

Y1 - 2009

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

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

SP - 312

EP - 323

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

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

Y2 - 5 April 2009 through 9 April 2009

ER -

Software qualification activities for safety critical software

Abstract

Publication series

Other

Keywords

ASJC Scopus subject areas

Other files and links

Fingerprint

Cite this