Abstract
An approach to analysis of multiversion I&C systems which bases on theoretic-set model of defects is proposed. Metrics for evaluation of diversity are proposed and analyzed.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Kersken M., Saqlietti F. Software Fault Tolerance: Achievement and Assessment Strategies. Gakchinq, Germany, GRS, 1992.
Littlewood B., Strigini L. A discussion of practices for enhancing diversity in software designs, DISPO Project Technical Report, LS-DI-TR-04. London, Centre for Software Reliability, City University, 2000.
Kharchenko V.S. et al. Diversity metrics: Classification, analysis and use for assessment of computer control systems reliability and safety. Open Information Computer Integrating Technologies 2001, 9:194–214 (In Russian).
Preckshot G. Method for Performing Diversity and Defense-in-Depth Analysis of Reactor Protection Systems, NUREG/CR-6303. Livermore, USA, Lawrence Livermore National Laboratory, 1994.
Laprie J.-C. Dependability Handbook. Toulouse, France, Laboratory for Dependability Engineering, LAAS, 1998.
Lyu M.R. Handbook of Software Reliability Engineering. New York, McGraw-Hill, 1996.
Kharchenko V.S. Methods of an Estimation of the Multiversion Safety Systems. Proc. 17th Intern. System Safety Conf., Orlando, USA, 16–21 August 1999.
Kharchenko V.S. Multiversion Systems: Models, Reliability, Design, Technologies. Proc. 10th European Conf. on Safety and Reliability, Munich, Germany, 13–17 September 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag London
About this paper
Cite this paper
Kharchenko, V., Yastrebenetsky, M., Sklyar, V. (2004). Diversity Assessment of Nuclear Power Plants Instrumentation and Control Systems. In: Spitzer, C., Schmocker, U., Dang, V.N. (eds) Probabilistic Safety Assessment and Management. Springer, London. https://doi.org/10.1007/978-0-85729-410-4_218
Download citation
DOI: https://doi.org/10.1007/978-0-85729-410-4_218
Publisher Name: Springer, London
Print ISBN: 978-1-4471-1057-6
Online ISBN: 978-0-85729-410-4
eBook Packages: Springer Book Archive