Nuclear Engineering and Technology

Korean Nuclear Society (한국원자력학회)
권호 표지

A Quantitative Model of System-Man Interaction Based on Discrete Function Theory

  • Published : 2004.10.01
Download PDF
⟨ Previous Next ⟩

Abstract

A quantitative model for a control system that integrates human operators, systems, and their interactions is developed based on discrete functions. After identifying the major entities and the key factors that are important to each entity in the control system, a quantitative analysis to estimate the recovery failure probability from an abnormal state is performed. A numerical analysis based on assumed values of related variables shows that this model produces reasonable results. The concept of 'relative sensitivity' is introduced to identify the major factors affecting the reliability of the control system. The analysis shows that the hardware factor and the design factor of the instrumentation system have the highest relative sensitivities in this model. T도 probability of human operators performing incorrect actions, along with factors related to human operators, are also found to have high relative sensitivities. This model is applied to an analysis of the TMI-2 nuclear power plant accident and systematically explains how the accident took place.

Keywords

References

  1. S. R. Welke, B. W. Johnson and J. H. Aylor, 'Reliability Model of Hardware/Software Systems', IEEE Trans. Reliability, vol. 44, pp. 413-418, Sep. (1995) https://doi.org/10.1109/24.406575
  2. K. Vemuri, J. B. Dugan, and K. Sullivan, 'Automatic Synthesis of Fault Trees for Computer-Based Systems,' IEEE Trans. Reliability, vol. 48, pp. 394-402, Dec.(1999) https://doi.org/10.1109/24.814522
  3. M. R. Lyu, 'An Integrated Approach to Achieving High Software Reliability', Proc. 1998 IEEE Aerospace Conf., vol. 4, pp. 123-136,(1998) https://doi.org/10.1109/AERO.1998.682162
  4. H. S. Son and P. H. Seong, 'Development of a Safety Critical Software Requirements Verification Method with Combined CPN and PVS: A Nuclear Power Plant Protection System Application', Reliab. Eng, Syst. Saf., vol.80, pp.19-32, (2003) https://doi.org/10.1016/S0951-8320(02)00159-X
  5. H. G. Kang and P. H. Seong, 'Information Theoretic Approach to Man-Machine Interface Complexity Evaluation', IEEE Trans. Syst., Man, and Cybern. A, vol. 31, pp. 163-171, May (2001) https://doi.org/10.1109/3468.925655
  6. Y. Jung, Y. Shin and I. Park, 'An incremental objective achievement model in computerized procedure execution', Reliab. Eng, Syst. Saf., vol.70, pp. 185-195, Nov. (2000) https://doi.org/10.1016/S0951-8320(00)00057-0
  7. A. D. Swain and H. E. Guttmann, Handbook of Human Reliability Analysis With Emphasis on Nuclear Power Plant Applications Final Report, NUREG-CR-1278, S.N.L, (1983)
  8. U. S. NRC, Technical Basis andImplementation Guidelines for ATHEANA, NUREG-1624, (1998)
  9. E. Hollnagel, CREAM : Cognitive Reliability and Error Analysis Method, New York:Elsevier, (1998)
  10. C. M. Thomson et al., 'The Application of ATHEANA: A Technique for Slip error Analysis', Proc. IEEE Sixth Annual Human Factors Meeting, Orlando, Florida, (1997) https://doi.org/10.1109/HFPP.1997.624860
  11. M. C. Kim and P. H. Seong, 'Incorporating Second Generation Human Reliability Analysis Methods into Current Probabilistic Safety Assessment' Transactions on American Nuclear Society, vol.90, pp.430-431, (2004)
  12. M. C. Kim and P. H. Seong, 'An Integrated Model For Reliability Estimation of Digital Nuclear Protection System Based on Fault Tree and Software Control Flow Methodologies' Proc. 4th Japan-Korea Seminar on Advanced Reactors, Japan, Oct. (2000)
  13. J. B. Dugan, S. J. Bavuso, and M. A. Boyd, 'Dynamic fault-tree models for fault tolerant computer systems', IEEE Trans. Reliability, vol. 41, pp. 363-377, Sep. (1992) https://doi.org/10.1109/24.159800
  14. J. G. Choi and P. H. Seong, 'Dependability Assessment of Nuclear Digital Systems using Discrete Function Theory and Fault Injection Experiment', Reliab. Eng, Syst. Saf., submitted for publication, (2004)
  15. M. Davio, J. -P. Deschamps and A. Thayse, Discrete and Switching Functions, London: Georgi Publishing Company and McGraw-Hill International Book Company, (1978)
  16. N. G. Leveson, Safeware, New York: Addison-Wesley Publishing Company, (1995)