Compilation of References - Nuclear Power Plant Instrumentation and Control Systems for Safety and Security - page 441

Kharchenko, V. et al. (2002). NPP instrumentation and
control systems safety standardization and assessment
(7), regulatory requirements on software. Nuclear and
Radiation Safety , 1 , 18-33.

Klevtsov, A. (2008a). Development of automated system
for support of expert activity during safety assessment of
instrumentation and control systems. In Modeling and
analysis of safety and risk in complex systems: Proceed-
ings of international scientific school MASR-2008 (pp.
420-425). Saint Petersburg, Russia: Saint-Petersburg State
University of Aerospace Instrumentation.

Kharchenko, V. et al. (2012b). GAP- and HTT-based
analysis of safety-critical systems. Radioelectronic and
Computer Systems , 7 (59), 198-204.

Klevtsov, A. (2008b). The model for safety assessment of
NPP's instrumentation and control systems under nuclear
and radiation safety expert reviewing. Radio Electronic
and Computer Systems , 7 , 53-58.

Kharchenko, V. et al. (2012c). Gap-and-IMECA-based
assessment of I&C systems cyber security. Advances in
Intelligent and soft . Computing , 170 , 149-164.

Kharchenko, V. S., & Sklyar, V. V. (Eds.). (2008). FPGA-
based NPP instrumentation and control systems: Devel-
opment and safety assessment. Research and Production
Corporation Radiy, National Aerospace University named
after N.E. Zhukovsky KhAI . State Scientific Technical
Center on Nuclear and Radiation Safety.

Kolesov, S., et al. (2000). Safety parameters display
system (SPDS) for Ukrainian NPP with WWER-1000
reactor type. In Proceedings of International Topical
Meeting on Nuclear Plant Instrumentation, Controls, and
Human-Machine Interface Technologies (NPIC&HMIT
2000). Washington, DC: NPIC & HMIT.

Kharchenko, V., & Sklyar, V. (Eds.). (2008). FPGA-based
NPP Instrumentation and Control Systems: Development
and Safety Assessment, RPC Radiy, National Aerospace
University “KhAI” . State Scientific and Technical Center
for Nuclear and Radiation Safety.

Konorev, B. et al. (2007). Target technology of cost-
effective assessment of reliability and functional safety
of critical software. Radio Electronic and Computer
Systems , 6 , 162-170.

Konorev, B. et al. (2010). Independent verification and
prediction of hidden defects of software of critical systems:
Complex of static analysis tools. In Problems of safety
assurance of NPP instrumentation and control systems:
Collected articles (pp. 152-156). Odessa, Ukraine:
Astroprint.

Kharchenko, V., & Sklyar, V. (Eds.). (2008). FPGA-based
NPP: Instrumentation and control systems: Development
and safety assessment. National Aerospace University
KhAI . State Scientific and Technical Centre for Nuclear
and Radiation Safety.

Khvastunov, R. et al. (1981). Expert assessments and
their application in power engineering . Moscow, Rus-
sia: Energoizdat.

KTA. (1985). KTA 3501. Reactor protection system and
monitoring equipment of the safety system . Cologne,
Germany: GRS.

Klevtsov, A., & Yastrebenetsky, M. (2007c). Perspectives
of developing and using of knowledge base at NPP's I&C
for expert activity support. In Proceedings of International
Conference on Knowledge Management in Nuclear Facili-
ties: Book of Extended Synopsis (pp. 119-120). Vienna,
Austria: IAEA.

Lahtinen, J., Valkonen, J., Bjorkman, K., Frits, J., &
Niemela, I. (2010). Model checking methodology for
supporting safety critical software development and
verification. Paper presented at ESREL 2010 Annual
Conference, Rhodes, Greece.

Larichev, O. (2008). Theory and methods of decisions-
making . Moscow, Russia: Logos.

Klevtsov, A. (2007a). The knowledge base for safety as-
sessment of NPP's instrumentation and control systems.
Radio Electronic and Computer Systems , 7 , 114-120. Law of Ukraine. (1995). On nuclear energy use and radia-

tion safety . Kiev, Ukraine: Verkhovna Rada of Ukraine.

Klevtsov, A. (2007b). Creating and using of knowledge
base for support of expert activity. Nuclear and Radiation
Safety , 1 , 86-97.

Law of Ukraine. (2000). On authorizing activity in nuclear
energy use . Kiev, Ukraine: Verkhovna Rada of Ukraine.