A model for computerized procedures based on flowcharts and success logic trees

Reliability Engineering and System Safety

Volumn 83, Issue 3, 2004, Pages 351-362

  Jung, Yeonsub ^a   Seong, PoongHyun ^b   Kim, ManCheol ^b  

^a Korea Hydro & Nuclear Power Co   (South Korea)

^b Korea Advanced Institute of Science and Technology (KAIST)   (South Korea)

Author keywords

Action; Check; Computer; Control; EOP; Evaluation; Flowchart; ImPRO; MMI; Model; Nuclear power plant; Operation; Procedure; Process; Step; Success logic tree; XML

Indexed keywords

COMPUTER PROGRAMMING; FEEDBACK; FLOWCHARTING; FORMAL LOGIC; HUMAN COMPUTER INTERACTION; MATHEMATICAL MODELS; NUCLEAR POWER PLANTS; XML;

SEQUENCE FLOWCHART CONTROL (SFC) LANGUAGE; SUCCESS LOGIC TREES;

COMPUTER CONTROL SYSTEMS;

EID: 0346970948     PISSN: 09518320     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ress.2003.10.012     Document Type: Article

References (17)

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. Lipner M.H., Kerch S.P. Operational benefits of an advanced computerized procedures system. 1995;IEEE, USA.
4. Reynes L., Beltranda G. A computerized control room to improve nuclear power plant operation and safety. Nucl Safety. 31:(4):1990;1990.
5. Forzano P., Castagna P. Procedure, quality, standards, and role of human factors and computerized tools. Proceedings of the IEEE Sixth Conference on Human Factors and Power Plants. 1997.
6. IAEA. Computerization of operation and maintenance for nuclear power plant, IAEA-TECDOC-808; 1995.
7. O'Hara J.M., Higgins J.C., Stubler W.F., Kramer J. Computer-based procedures: technical basis and human factors review guidance, NUREG/CR-6634(BNL-NUREG-52564). 2000.
8. Niwa Y., Hollnagel E., Green M. Guidelines for computerized presentation of emergency operating procedures. Nucl Engng Des. 1996;167.
9. Mallen C. Designing intelligent help for information processing system. Int J Human-Comput Studies. 1996;45.
10. Jung Y., Shin Y., Park I. An incremental objective achievement model in computerized procedure execution. Reliab Engng Syst Safety. 70:(2):2000.
11. Connolly D. XML: principles, tools, and techniques. World Wide Web J. 2:(4):1997.
12. IEC. Programmable controllers - Part 3: programming languages. IEC 61131-3; 1993.
13. Wourms D, Rankin W. Computer based procedure (Tech Report CSERIADC-RA-94-002). Wright-Patterson Air Force Base, OH: Crew Systems Ergonomics Information Analysis Center; 1994.
14. Wason P.C., Johnson-Laird P.N. Psychology of reasoning: structure and content. 1972;Batsford, London.
15. Gorn E., Lohse E., Smith R.V., Traub J.F. A standard working paper - conventions for the use of symbols in the preparation of flowcharts for information processing systems. Commun ACM. 8:(7):1965.
16. http://www.treeflowchart.com.
17. Jung Y. ISA 2001 Conference. A real-time plant database based on XML and its application to a computer based procedure. 2001.