Skip to main content

Metric-Probabilistic Assessment of Multi-Version Systems: Some Models and Techniques

  • Conference paper
Dependable Computer Systems

Part of the book series: Advances in Intelligent and Soft Computing ((AINSC,volume 97))

Abstract

This chapter presents a set of models of multi-version systems and related techniques of diversity level and multi-version systems safety assessment. Spectrum of concepts related to common cause failure (CCF) is expanded, as well as models of multi-version systems (MVS) and multi-version projects (MVP). Approach to metric-probabilistic assessment is proposed and considered in the context of evaluating the software-based and FPGA-based MVS. Direct and indirect estimation of diversity with metrics are considered as parts of system safety or reliability assessment with relevant reliability models. Comparative analysis of the reliability of redundant multi-channel systems of different architectures with the option of diverse components is carried out.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Pullum, L.: Software Fault Tolerance Techniques and Implementation, AHC Library (2001)

    Google Scholar 

  2. Wood, R., Belles, R., Cetiner, M., et al.: Diversity Strategies for NPP I&C Systems, NUREG/CR-7007 ORNL/TM-2009/302 (2009)

    Google Scholar 

  3. Kharchenko, V., Siora, A., Sklyar, V., et al.: Multi-Diversity Versus Common Cause Failures: FPGA-Based Multi-Version NPP I&C Systems. In: Proceedings of the 76th Conference NPIC&HMIT, Las-Vegas, Nevada, USA (2010)

    Google Scholar 

  4. Littlewood, B., Strigini, L.: A Discussion of Practices for Enhancing Diversity in Software Designs. Technical report LS_DI_TR-04, City University, London, Great Britain (2000)

    Google Scholar 

  5. Kharchenko, V., Siora, A., Sklyar, V., et al.: Diversity-Oriented FPGA-Based NPP I&C Systems: Safety Assessment, Development, Implementation, In: Proceeding by 18th International Conference on Nuclear Engineering (ICONE18), Xi’an, China, 10 p (2010)

    Google Scholar 

  6. Hokstad, P., Rausand, M.: Common Cause Failure Modeling: Status and Trends. In: Misra, K.B. (ed.) Handbook of Performability Engineering, pp. 621–640. Springer, Heidelberg (2008), doi:10.1007/978-1-84800-131-2_39

    Chapter  Google Scholar 

  7. Duzhyi, V., Kharchenko, V., Starov, O., Rusin, D.: Research Sports Programming Services as Multi-version Projects. Radioelectronic and Computer 47, 29–35 (2010)

    Google Scholar 

  8. Kharchenko, V., Sklyar, V. (eds.): 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, 188 p (2008)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kharchenko, V., Volkoviy, A., Siora, O., Duzhyi, V. (2011). Metric-Probabilistic Assessment of Multi-Version Systems: Some Models and Techniques. In: Zamojski, W., Kacprzyk, J., Mazurkiewicz, J., Sugier, J., Walkowiak, T. (eds) Dependable Computer Systems. Advances in Intelligent and Soft Computing, vol 97. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21393-9_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-21393-9_7

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-21392-2

  • Online ISBN: 978-3-642-21393-9

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics