Skip to main content
SpringerLink
Log in

Diversity as a Means for Reliability and Safety

  • Conference paper
Transport Systems Telematics (TST 2010)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 104))

Included in the following conference series:

Abstract

The diversity as a fault-tolerance and fail-safe method is the issue. The quantity evaluation is used for the depth of the diversity and formulas are derived for the probability of fault detection and dependability function as the diversity. The logic-probabilistic transition method is used.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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. Christiov, C., Popov, G.: Modeling Diversity as Fault-tolerance Tool. In: International Conference Automatics and Informatics 2009, Sofia 29.09 – 4.10.2009, pp. 127–131 (2009)

    Google Scholar 

  2. Popov, G.: Modelling Diversity as a Method of Detecting Faults in non Recovery Computer Systems. Information Technologies and Control 2, 15–19 (2005)

    Google Scholar 

  3. Harrison, D.: The use of Computers in safety critical Applications. In: HSC 1998 (1998)

    Google Scholar 

  4. Strigini, L.: Diversity: Directions for Research. Centre for Software Reliability. City University, London (2007)

    Google Scholar 

  5. Fantechi, S.G., Lombardi G.: Experimenting with Diversity in the Formal Development of Railway Signalling Systems, http://fmt.isti.cnr.it

  6. Medikonda, S., Panchumarthy, P.S.: An Approach to Modeling Software Safety in Safe-Critical Systems. Journal of Computers Science (5)4 (2009)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. European Polytechnic University, 158 Geo Milev str., 1574, Sofia, Bulgaria

    Christo Chrsistov

  2. Faculty of Electrification and Telecommunication, University of Transport, 158 Geo Milev str., 1574, Sofia, Bulgaria

    Nelly Stoytcheva & Maria Christova

Authors
  1. Christo Chrsistov
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Nelly Stoytcheva
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Maria Christova
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Politechnika Śląska, ul. Krasińskiego 8/201, 40-019, Katowice, Poland

    Jerzy Mikulski

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Chrsistov, C., Stoytcheva, N., Christova, M. (2010). Diversity as a Means for Reliability and Safety. In: Mikulski, J. (eds) Transport Systems Telematics. TST 2010. Communications in Computer and Information Science, vol 104. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16472-9_34

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-16472-9_34

  • Publisher Name: Springer, Berlin, Heidelberg

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

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

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation