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

Ravi, S. et al. (2004). Security in embedded systems: Design
challenges. ACM Transactions on Embedded Computing
Systems , 3 (3), 461-491. doi:10.1145/1015047.1015049

Smith, J., & Simpson, K. (2001). Functional safety: A
straight forward guide to IEC 61508 and related standards .
Oxford, UK: Butterworth Heinemann.

Rezepov, V. et al. (2004). VVER-1000 reactors for nuclear
power plants . Moscow: Akademkniga.

Sommerville, J. (2011). Software engineering (9th ed.).
Reading, MA: Addison-Wesley.

RG 5.71. (2010). Cyber security programs for nuclear
facilities. Washington, DC: U.S. Nuclear Regulatory
Commission.

Storey, N. (1996). Safety-critical computer systems . Read-
ing, MA: Addison Wesley Longman.

Tam, S. (2003). Error detection and correction in virtex-
II pro devices . Application Note: Virtex-II Pro Family.
XAPP645 (v1.1).

Rosenberg, M., & Bobryakov, S. (2003). Elsevier's diction-
ary on nuclear engineering . London: Elsevier Science.

Rozen, Y. (2007). Electromagnetic compatibility of
instrumentation and control systems components (1),
rules for regulations and estimation. Nuclear and Radia-
tion Safety, 2.

Tarasyuk, O., Gorbenko, A., Kharchenko, V., Ruban, V., &
Zasukha, S. (2011). Safety of Rocket-Space Engineering
and Reliability of Computer Systems: 2000-2009 Years.
Radio-Electronic and Computer Systems , 11 , 23-45.

Rozen, Y. (2008). Electromagnetic compatibility of
instrumentation and control systems components (2),
Устойчивость к электромагнитным помехам. Nuclear
and Radiation Safety, 4.

Tehranipoor, M., et al. (2010). A survey of hardware
trojan taxonomy and detection. In Proceedings of IEEE
Design & Test of Computers . IEEE.

Tokarenko, V. (2000). System of safety analysis of
atomic technologies SABAT. Issues of Atomic Science
and Technique , 3 , 45-70.

Sadeghi, A.-R. et al. (2011). Towards hardware-intrinsic
security: Foundations and practice . Berlin: Springer.

Samoilov, O. et al. (1989). Safety of nuclear energetical
installation . Moscow: Energoizdat.

USNRC. (1981). Functional criteria for emergency re-
sponse facilities . Washington, DC: U.S. Nuclear Regula-
tory Commission.

Scott, J., & Lawrence, J. (1994). Testing existing software
for safety related applications . Lawrence Livermore
National Laboratory.

USNRC. (2010). Standard review plan for the review of
safety analysis reports for nuclear power plants: LWR
Ed. section 7.0: Instrumentation and control - Overview
of review process (rev. 6). Washington, DC: US Nuclear
Regulatory Commission.

Sergienko, V. et al. (2008). Calibration of invariants
measurements methods of critical software: Profile of
injecting test faults. Radio Electronic and Computer
Systems , 5 , 161-167. Vilkomir, S. (2009). Statistical testing for NPP I&C system

reliability evaluation. Paper presented at the meeting of
the 6th American Nuclear Society International Topical
Meeting on Nuclear Plant Instrumentation, Controls, and
Human Machine Interface Technology, Knoxville, USA.

Siora, A., Sklyar, V., Rozen, Yu., Vinogradskaya, S.,
& Yastrebenetsky, M. (2009). Licensing Principles of
FPGA-Based NPP I&C Systems. Paper presented at the
meeting of the 17th International Conference on Nuclear
Engineering, Brussels, Belgium. Vilkomir, S. A., & Kharchenko, V. S. (1999). Methodology

of the review of software for safety important systems.
In G. I. Schueller, P. Kafka (Eds). Safety and Reliability.
Proceedings of ESREL'99 - The Tenth European Confer-
ence on Safety and Reliability (pp. 593-596). Munich-
Garching, Germany.

Siora, A., Krasnobaev, V., & Kharchenko, V. (2009). Fault-
Tolerance Systems with Version-Information Redundancy .
Ukraine: Ministry of Education and Science of Ukraine,
National Aerospace University KhAI.

Sklyar, V., & Kharchenko, V. (2006). Safety features
and assessment of software of NPP instrumentation and
control systems. Nuclear Measuring-Information Tech-
nologies , 1 , 3-18.

Vilkomir, S., & Kharchenko, V. (2000). An “asymmetric”
approach to the assessment of safety-critical software
during certification and licensing. Paper presented at
ESCOM-SCOPE 2000 Conference, Munich, Germany.