@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",
}