Incremental objective achievement model in computerized procedure execution

Reliability Engineering and System Safety

Volumn 70, Issue 2, 2000, Pages 185-195

  Jung, Yeonsub ^a   Shin, Yeongcheol ^a   Park, Iksoo ^a  

^a Korea Electric Power Research Institute (KEPRI)   (South Korea)

Author keywords

[No Author keywords available]

Indexed keywords

BLOCK CODES; BOOLEAN ALGEBRA; COMPUTER CONTROL SYSTEMS; DECISION THEORY; INTERFACES (COMPUTER); MAN MACHINE SYSTEMS; STATE SPACE METHODS; TREES (MATHEMATICS);

INCREMENTAL OBJECTIVE ACHIEVEMENT MODELS; SUCCESS LOGIC TREES;

ACCIDENT PREVENTION;

EID: 0034325076     PISSN: 09518320     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0951-8320(00)00057-0     Document Type: Article

References (9)

1. Lapinsky G. Lessons learned from the special inspection program for emergency operation procedures. NUREG-1358, 1988.
2. Handelsby F, Ness E, Teigen J. OECD HALDEN REACTOR PROJECT: COPMA-II on-line functional specification, HWR-319, 1992.
3. BarnesV, Desmond P, Moore C, O'Hara TM. Preliminary review criteria for evaluating computer-based procedure. BNL Technical Report E2090-T4-2-9/96, 1996.
4. Lipner MH, Kerch SP. operational benefits of an advanced computerized procedures system. IEEE 1995.
5. Reynes L., Beltranda G., Computerized A. Control room to improve nuclear power plant operation and safety. Nuclear Safety. 31:(4):1990;504-511.
6. Connolly D. XML: principles, tools, and techniques. World Wide Web Journal. 2:(4):1997;00.
7. Ylikoski K, Dahll G. OECD HALDEN REACTOR PROJECT: verification of procedures. HWR-318, 1992.
8. Guy L., Steele J.R. Common LISP. 1990;Butterworth-Heinemann, London.
9. Niwa Y., Hollnagel E., Green M. Guidelines for computerized presentation of emergency operating procedures. Nuclear Engineering and Design. 167:1996;113-127.