Accident sequence analysis of human-computer interface design

Abstract It is important to predict potential accident sequences of human–computer interaction in a safety-critical computing system so that vulnerable points can be disclosed and removed. We address this issue by proposing a Multi-Context human–computer interaction Model along with its analysis techniques, an Augmented Fault Tree Analysis, and a Concurrent Event Tree Analysis. The proposed augmented fault tree can identify the potential weak points in software design that may induce unintended software functions or erroneous human procedures. The concurrent event tree can enumerate possible accident sequences due to these weak points.

[1]  P. C. Cacciabue,et al.  Dynamic logical analytical methodology versus fault tree: the case study of the auxiliary feedwater system of a nuclear power plant , 1986 .

[2]  Françoise Decortis,et al.  COSIMO: A cognitive simulation model of human decision making and behavior in accident management of complex plants , 1992, IEEE Trans. Syst. Man Cybern..

[3]  Vinh Ngoc Dang.  Modeling operator cognition for accident sequence analysis : development of an operator-plant simulation , 1996 .

[4]  Ali Mosleh,et al.  Procedure for the analysis of errors of commission during non-power modes of nuclear power plant operation , 1996 .

[5]  Ali Mosleh,et al.  A procedure for the analysis of errors of commission in a Probabilistic Safety Assessment of a nuclear power plant at full power , 1995 .

[6]  J. Wreathall,et al.  Knowledge-base for the new human reliability analysis method, A Technique for Human Error Analysis (ATHEANA) , 1996 .

[7]  Ali Mosleh,et al.  A methodology for modeling operator errors of commission in probabilistic risk assessment , 1994 .

[8]  G. Apostolakis,et al.  The Use of the Dynamic Flowgraph Methodology in Modeling Human Performance and Team Effects , 1996 .

[9]  G. W. Parry,et al.  A process for application of ATHEANA - a new HRA method , 1996 .

[10]  Donald MacKenzie,et al.  Computer-related accidental death: an empirical exploration , 1994 .

[11]  Jon Damon Reese,et al.  Analyzing Software Specifications for Mode Confusion Potential , 1998 .

[12]  Michael Shafto,et al.  MODES IN AUTOMATED COCKPITS: PROBLEMS, DATA ANALYSIS, AND A MODELING FRAMEWORK , 1996 .

[13]  Ali Mosleh,et al.  The development and application of the accident dynamic simulator for dynamic probabilistic risk assessment of nuclear power plants , 1996 .

[14]  Chin-Feng Fan,et al.  Frame-based safety analysis approach for decision-based errors , 1997 .

[15]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[16]  James R. Lyle,et al.  Software safety and program slicing , 1993, COMPASS '93: Proceedings of the Eighth Annual Conference on Computer.

[17]  N. Siu,et al.  Dynamic event trees in accident sequence analysis: application to steam generator tube rupture , 1993 .