Software of Safety Important I&C Systems - Nuclear Power Plant Instrumentation and Control Systems for Safety and Security - page 176

REFERENCES

IEC 61508 (2008). Functional Safety of Electri-
cal/Electronic/Programmable Electronic Safety-
related Systems. International Electrotechnical
Commission.

Adziev, A. V. (1998). Myths about software safety:
Lessons of famous disasters. Open systems, 1998,
vol. 6. Retrieved December 16, 2012, from http://
www.osp.ru/os/1998/06/179592/

IEEE 610.12 (1990). Standard Glossary of
Software Engineering Terminology. Institute of
Electrical and Electronics Engineers.

Aizenberg, A., & Yastrebenetsky, M. (2002).
Comparison of safety management principles
for control systems of carrier rockets and nuclear
power plants. Space Science and Technology , 1 ,
55-60.

IEEE 982.1 (1988). Standard Dictionary of Mea-
sures to Produce Reliable Software. Institute of
Electrical and Electronics Engineers.

IEEE 982.2 (1988). Standard Guide of Measures
to Produce Reliable Software. Institute of Electri-
cal and Electronics Engineers.

Anderson, R. B. (1979). Proving Programs Cor-
rect . New York: Wiley.

Ben-Ari, M. (2000). Understanding programming
languages . Wiley.

ISO. IEC 9126-1 (1999). Information technology.
Software product quality - Part 1: Quality model.
International Organization for Standardization.

DSTU-2850 (1994) Computer software - Metrics
and methods for quality assessment. Ukrainian
state standard.

ISO/IEC TR 9126 (2000). Information technol-
ogy. Software product quality - Part 2: External
metrics; Part 3: Internal metrics; Part 4: Quality
in use metrics. International Organization for
Standardization.

Everett, W., Keene, S., & Nikora, A. (1998). Ap-
plying Software Reliability Engineering in the
1990s. IEEE Transactions on Reliability 50th An-
niversary Special Publication, 47 (3-SP), 372-378.

Kersken, M. (2001). Qualification of pre-devel-
oped software for safety-critical I&C applica-
tion in NPP's. Paper presented at CNRA/CSNI
Workshop on Licensing and Operating Experience
of Computer-Based I&C Systems, Hluboka-nad-
Vltavou, Czech Republic.

Huang, H.-W., Wang, L.-H., Liao, B.-C., Chung,
H.-H., & Jiin-Ming, L. (2011). Software safety
analysis application of safety-related I&C sys-
tems in installation phase. Progress in Nuclear
Energy , 6 (53), 736-741. doi:10.1016/j.pnu-
cene.2011.04.002

Kharchenko, V. S. (Ed.). (2012). CASE-as-
sessment of critical software systems. Quality.
Reliability. Safety. Kharkiv, Ukraine: National
Aerospace University KhAI.

IEC 60812 (2006). Analysis technique for system
reliability - Procedure for Failure Mode and Ef-
fects Analysis (FMEA). International Electrotech-
nical Commission.

Kharchenko, V. S., & Vilkomir, S. A. (2000).
The Formalized Models of Software Verification
Assessment. Paper presented at 5th International
Conference Probabilistic Safety Assessment and
Management, Osaka, Japan.

IEC 60880 (2006). Nuclear power plants - Instru-
mentation and control systems important to safety
- Software aspects for computer-based systems
performing category A functions. International
Electrotechnical Commission.

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.

IEC 61025 (2006). Fault tree analysis. Interna-
tional Electrotechnical Commission.