Environmental Engineering Reference
In-Depth Information
GOST. (1992a). Information technology: Types
of testing of automated systems . Moscow, Russia:
Publishing House of Standards.
Klevtsov, A. (2007b). Creating and using of
knowledge base for support of expert activity.
Nuclear and Radiation Safety , 1 , 86-97.
GOST. (1992b). Information technology: Complex
of standards on automated systems: Automated
systems: Stages of creation . Moscow, Russia:
Publishing House of Standards.
Klevtsov, A. (2008a). Development of automated
system for support of expert activity during safety
assessment of instrumentation and control sys-
tems. In Modeling and analysis of safety and risk
in complex systems: Proceedings of international
scientific school MASR-2008 (pp. 420-425). Saint
Petersburg, Russia: Saint-Petersburg State Uni-
versity of Aerospace Instrumentation.
IAEA. (2002). Instrumentation and control sys-
tems important to safety in nuclear power plants:
Safety guide . Vienna, Austria: IAEA.
IEC. (2008). Functional safety of electrical/elec-
tronic/programmable electronic safety/related
systems . IEC.
Klevtsov, A. (2008b). The model for safety as-
sessment of NPP's instrumentation and control
systems under nuclear and radiation safety expert
reviewing. Radio Electronic and Computer Sys-
tems , 7 , 53-58.
IEC. (2011). Nuclear power plants - Instrumenta-
tion and control for systems important to safety
- General requirements for systems . IEC.
Klevtsov, A., & Yastrebenetsky, M. (2007c). Per-
spectives 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 Facilities:
Book of Extended Synopsis (pp. 119-120). Vienna,
Austria: IAEA.
ISO/IEC. (2008). Systems and software engineer-
ing - Software life cycle processes . ISO/IEC.
Kharchenko, V. et al. (2002). NPP instrumenta-
tion and control systems safety standardization
and assessment (7), regulatory requirements on
software. Nuclear and Radiation Safety , 1 , 18-33.
Konorev, B. et al. (2007). Target technology of
cost-effective assessment of reliability and func-
tional safety of critical software. Radio Electronic
and Computer Systems , 6 , 162-170.
Kharchenko, V., et al. (2004). Methods of modeling
and assessment of software quality and depend-
ability . Kharkov, Ukraine: Zhukovsky National
Aerospace University KhAI.
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 instru-
mentation and control systems: Collected articles
(pp. 152-156). Odessa, Ukraine: Astroprint.
Kharchenko, V., & Sklyar, V. (2008). FPGA-based
NPP instrumentation and control systems: Devel-
opment and safety assessment . Kharkov, Ukraine:
Zhukovsky National Aerospace University KhAI.
Khvastunov, R. et al. (1981). Expert assessments
and their application in power engineering . Mos-
cow, Russia: Energoizdat.
Larichev, O. (2008). Theory and methods of
decisions-making . Moscow, Russia: Logos.
Klevtsov, A. (2007a). The knowledge base for
safety assessment of NPP's instrumentation and
control systems. Radio Electronic and Computer
Systems , 7 , 114-120.
Law of Ukraine. (1995). On nuclear energy use
and radiation safety . Kiev, Ukraine: Verkhovna
Rada of Ukraine.
Search WWH ::




Custom Search