Browse > Article

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

Kim, Man-Cheol (Korea Atomic Energy Research Institute)
Seong, Poong-Hyun (Korea Atomic Energy Research Institute)
Publication Information
Nuclear Engineering and Technology / v.36, no.5, 2004 , pp. 430-449 More about this Journal
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
Index Terms-discrete function theory; human operators; man-machine interaction; quantitative model;
Citations & Related Records
연도 인용수 순위
  • Reference
1 M. Davio, J. -P. Deschamps and A. Thayse, Discrete and Switching Functions, London: Georgi Publishing Company and McGraw-Hill International Book Company, (1978)
2 N. G. Leveson, Safeware, New York: Addison-Wesley Publishing Company, (1995)
3 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)
4 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)
5 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)   DOI   ScienceOn
6 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)
7 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)   DOI   ScienceOn
8 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)
9 U. S. NRC, Technical Basis andImplementation Guidelines for ATHEANA, NUREG-1624, (1998)
10 E. Hollnagel, CREAM : Cognitive Reliability and Error Analysis Method, New York:Elsevier, (1998)
11 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)   DOI
12 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)   DOI   ScienceOn
13 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)   DOI   ScienceOn
14 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)   DOI   ScienceOn
15 M. R. Lyu, 'An Integrated Approach to Achieving High Software Reliability', Proc. 1998 IEEE Aerospace Conf., vol. 4, pp. 123-136,(1998)   DOI
16 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)   DOI   ScienceOn