Skip to main content

Hardware Redundant Vital Computers — Demonstration of Safety on the Basis of Current Standards

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1698))

Abstract

A 2 out of 2 computer is used as an example to discuss the safety strategy of hardware redundant vital computers. One prerequisite for safety is a short fault disclosure time. A maximum fault disclosure time is standardised in ENV 50129. ENV 50129 contains a note which recommends a measure how to fulfil the standard’s requirement. This paper analysis whether the standard’s requirement is consistent with the safety target or not, and whether the measure is suitable to meet the requirement. Alternative requirements and measures are recommended.

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

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. CENELEC ENV 50129:1998 Railway applications: Safety related electronic systems for signalling

    Google Scholar 

  2. IEC Functional safety of electrical / electronic / programmable electronic safety-related systems; especially Part 2: Requirements for electrical / electronic / programmable electronic safety related systems; 1997-02-01

    Google Scholar 

  3. El Koursi, Meganck (ed.): ACRuDA Deliverable D1; State of the Art-Safety Architectures Synthesis; ACRuDA/INRETS/MK-PM/WP1/D1/97.12/V2

    Google Scholar 

  4. Krebs, Mitra: Fundamentals of Multichannel Vital Computers in ACRuDA Deliverable D7: Synthesis and Conclusion; TÜV Report No.: 947/T 98/130, 25 September 1998

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Krebs, H., Mitra, S. (1999). Hardware Redundant Vital Computers — Demonstration of Safety on the Basis of Current Standards. In: Felici, M., Kanoun, K. (eds) Computer Safety, Reliability and Security. SAFECOMP 1999. Lecture Notes in Computer Science, vol 1698. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48249-0_14

Download citation

  • DOI: https://doi.org/10.1007/3-540-48249-0_14

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-66488-8

  • Online ISBN: 978-3-540-48249-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics