A Quantitative Study on Important Factors of the PSA of Safety-Critical Digital Systems

  • Published : 2001.12.01

Abstract

This paper quantitatively presents the effects of important factors of the probabilistic safety assessment (PSA) of safety-critical digital systems. The result which is quantified using fault tree analysis methodology shows that these factors remarkably affect the system safety. In this paper we list the factors which should be represented by the model for PSA. Based on the PSA experience, we select three important factors which are expected to dominate the system unavailability. They are the avoidance of common cause failure, the coverage of fault tolerant mechanisms and software failure probability. We Quantitatively demonstrate the effect of these three factors. The broader usage of digital equipment in nuclear power plants gives rise to the safety problems. Even though conventional PSA methods are immature for applying to microprocessor-based digital systems, practical needs force us to apply it because the result of PSA plays an important role in proving the safety of a designed system. We expect the analysis result to provide valuable feedback to the designers of digital safety- critical systems.

Keywords

References

  1. R. M. White and D. B. Boettcher, 'Putting Sizewell B digital protection in context,' Nuclear Engineering International, pp. 41-43, April (1994)
  2. J. L. Mourlenvat, A. Parry, J. F. Petetrot and J. F. Aschenbrenner, 'Instrumentation and Control Revamping,' Nuclear Technology, Vol. 92, pp. 300-308, December (1990)
  3. G. Ives, 'Digital Systems: Review of safety critical applications,' Nuclear Engineering Internatinal, pp. 37-40, April (1994)
  4. J. L. Rouvroye & A. C. Brombacher, 'New quantitive safety standards: different techniques, different results?' Reliability Engineering in System Safety, Vol. 66, pp. 121-125, (1999) https://doi.org/10.1016/S0951-8320(99)00028-9
  5. NUREG/CR-4780, Procedures for Treating Common Cause Failures in Safety and Reliability Studies, February (1988)
  6. Hyun Gook Kang & Taeyong Sung, 'PSA as a Measure of Digital Systems' Safety,' Proceeding of the Korean Nuclear Society Spring Meeting, Cheju, Korea, May (2001)
  7. B. Littlewood and L. Strigini, 'Validation of ultrahigh dependability for software based systems,' Communications of ACM, Vol. 36, No. 11, (1993) https://doi.org/10.1145/163359.163373
  8. I. S. Kim, et al., Suitability Review of FMEA and Reliability Analysis for Digital Plant Protection System and Digital Engineered Safety Features Actuation System, KINS/HR-327, (2000)