A formal and structured approach to the use of task analysis in accident modelling

International Journal of Human Computer Studies

Volumn 49, Issue 3, 1998, Pages 223-244

  Botting, R M ^a   Johnson, C W ^a  

^a UNIVERSITY OF GLASGOW   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; HUMAN ENGINEERING; JOB ANALYSIS; OBJECT ORIENTED PROGRAMMING; RISK ASSESSMENT;

ACCIDENT REPORTS; TASK ANALYSIS;

ACCIDENT PREVENTION;

EID: 0032166043     PISSN: 10715819     EISSN: None     Source Type: Journal    
DOI: 10.1006/ijhc.1998.0222     Document Type: Article

References (23)

1. DIAPER, D., Ed. (1989). Task Analysis for Human-Computer Interaction. Chicester, UK: Ellis Horwood.
2. DILLAR, A. (1995). Z: An Introduction to Formal Methods, 2nd edn. New York: Wiley.
3. DIX, A., FINLAY, J., ABOWD, G. & BEALE, R. (1993). Human_Computer Interaction. UK: Prentice-Hall International.
4. DUKE, R., ROSE, G. & SMITH, G. (1994). Object-Z: a specification language advocated for the description of standards. Technical Report 94-95, Department of Computer Science, University of Queensland.
5. CACCIABUE, P. C. (1997). Methodology of human factors analysis for systems engineering: theory and applications. IEEE Transactions on systems, Man, and Cybernetics, 27, 325-339.
6. FIELDS, R. E., WRIGHT, P. C. & HARRISON, M. D. (1995). A task centered approach to analysing human error tolerance requirements. Proceedings, ICRE '95 - Second IEEE International Symposium on Requirements Engineering.
7. HOLLNAGEL, E. (1993). The phenotype of erroneous actions. International Journal of Man-Machine Studies, 39, 1-32.
8. ISO (1994). ISO/IEC JTC1/SC24 N1152. Report of the ISO/IEC JTC/SC24 Special Rapporteur Group on Formal Description Techniques, May.
9. JAHINIAN, F. & MOK, A. K. (1986). Safety analysis of timing properties in real-time systems. IEEE Transactions on Software Engineering, 12, 890-904.
10. JOHNSON, C. (1997a) Proving properties of accidents. In C. HOLLOWAY, Ed., 4th NASA Langley Workshop on Formal Methods, NASA Langley Research Centre, Hampton, United States of America.
11. JOHNSON, C. (1998). The epistemics of accidents. International Journal of Human-Computer Systems, 47, 659-688.
12. JONES, C. B. (1990). Systematic Software Development using VDM, International Series in Computer Science, 2nd edn. Englewood Cliffs, NJ: Prentice-Hall.
13. KING, D. F. (1996). Report on the incident to a Boeing 737-400, G-OBMM near Daventry on 25 February 1995. Technical Report, Air Accidents Investigation Branch, Department of Transport, Farnborough, UK.
14. KIRWAN, B. & AINSWORTH, L. K., Eds. (1992). A Guide to Task Analysis. London: Taylor and Francis.
15. LANO, K. (1995). Formal Object-Oriented Development. Berlin: Springer-Verlag.
16. LANO, K. & HAUGHTON, H., Eds. (1994). Object-Oriented Specification Case Studies, The Object-Oriented Series. Englewood Cliffs, NJ: Prentice-Hall.
17. LEVESON, N. (1986). Software safety: why, what and how. ACM Computing Survey, 18, 25-69.
18. MITCHELL, C. M. (1987). GT-MSOCC: a research domain for modelling human-computer interaction and aiding decision making in supervisory control systems. IEEE Transactions on Systems, Man, and Cybernetics, SMC-17, 553-572.
19. PALANQUE, P., PATERNO, F., BASTIDE, R. & MEZZANOTTE, M. (1996). Towards an integrated proposal for interactive system design based on TLM and ICO. In M. D. HARRISON & J. VANDERDONCKT, eds., The Design, Specification and Verification of Interactive Systems '96. Berlin, Germany: Springer-Verlag.
20. PETERSON, J. L. (1981). Petri Net Theory and the Modelling of Systems. Englewood Cliffs, NJ: Prentice-Hall.
21. SUCHMAN, L. (1987). Plans and Situated Actions. Cambridge, MA: Cambridge University Press.
22. TELFORD, A. J. & JOHNSON, C. W. (1996). Using formal methods to analyse human error and system failure during accident investigations. Software Engineering Journal, 11, 355-356.
23. WRIGHT, P. C., FIELDS, R. E. & HARRISON, M. D. (1994) Deriving human-error tolerance requirements from tasks. Proceedings, ICRE'94_IEEE International Symposium on Requirements Engineering, Colorado.