Extending the application of formal methods to analyse human error and system failure during accident investigations

Software Engineering Journal

Volumn 11, Issue 6, 1996, Pages 355-365

  Johnson, C W ^a   Telford, A J ^a  

^a UNIVERSITY OF GLASGOW   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ACCIDENT PREVENTION; COMPUTER SYSTEM RECOVERY; ERROR ANALYSIS; FORMAL LOGIC; HIGH LEVEL LANGUAGES; SYSTEM THEORY; USER INTERFACES;

TEMPORAL LOGIC;

SOFTWARE ENGINEERING;

EID: 0030287373     PISSN: 02686961     EISSN: None     Source Type: Journal    
DOI: 10.1049/sej.1996.0046     Document Type: Article

References (24)

1. LEVESON, N.G.: 'Safeware: system safety and computers' (Addison Wesley, Reading, USA, 1995)
2. WOODS, D., JOHANSEN, L., COOK, R., and SARTER, N.: 'Behind human error: cognitive systems, computers and hindsight'. Technical Report 94-01, CSERIAC State of the Art Report, 1994
3. Air Accidents Investigations Branch: 'Report on the incident involving BAC 1-11 G-AYWB and Boeing 737 EI-BTZ on 12 April 1988 at Gatwick Airport'. Department of Transport, number 2/89, London, UK, 1989 (Her Majesty's Stationery Office)
4. JOHNSON, C.W.: 'The formal analysis of human-compuer interaction during accidents investigations' in COCKTON, G., DRAPER, S.W. and WEIR, G.R.S. (Eds.): 'People and computers IX' (Cambridge University Press, Cambridge, UK, 1994)
5. JOHNSON, C.W.: 'The application of Petri nets to represent and reason about human factors problems during accident analyses' in PALANQUE, P., and BASTIDE, R. (Eds.): 'The second Eurographics workshop on the design, specification and verification of interactive systems' (Springer Verlag, Berlin, Germany, 1995) pp. 345-357
6. BOWEN, J., and STAVRIDOU, V.: 'Safety-critical systems, formal methods and standards', Softw. Eng. J., 1993, 8, (4), 189-209
7. HARRISON, M.D., and THIMBLEBY, H.W. (Eds): 'Formal methods in human computer interaction' (Cambridge University Press, Cambridge, UK, 1989)
8. DIX, A.J.: 'Formal methods for interactive systems' (Academic Press, London, UK, 1991)
9. SUFRIN, B., and HE., J.: 'Specification, refinement and analysis of interactive processes' in HARRISON, M.D., and THIMBLEBY, H.W. (Eds.): 'formal methods in human computer interaction' (Cambridge University Press, Cambridge, UK, 1990) pp 153-200
10. JOHNSON, C.W., MCCARTHY, J.C., and WRIGHT, P.C.: 'using a formal language to support natural language in accident reports', Ergonomics, 1995, 38, (6), pp. 265-1283
11. THOMAS, M.: 'The story of the Therac-25 in LOTOS', High Integrity Syst. J., 1993, (1), pp. 3-16
12. THOMAS, M.: 'A proof of incorrectness using LP: the editing problem in the Therac-25', High Integrity Syst. J., 1993, (1), pp. 49-62
13. JOHNSON, C.W.: 'Techniques for the evaluation of design notations' in HARRISON, M.D., and VANDERDONK, J. (Eds.): 'Design, specification and verification of interactive systems '96' (Springer Verlag, Berlin, Germany, 1996)
14. JOHNSON, C.W.: 'Representing and reasoning about the impact of environmental layout upon human computer interaction', Ergonomics, 1996, 39, (3), pp. 512-530
15. LAMPORT, L.: 'The temporal logic of actions'. Research Report 79, DEC Systems Research Center, 130 Lytton Avenue, Palo Alto, California 94301, USA, December 1991
16. MANNA, Z., and PNUELI, A.: 'Verification of concurrent programs: the temporal framework' in BOYER, R.S., and STROTHER MOORE, J. (Eds.): 'The correctness problem in computer science' (Academic Press, London, UK, 1981) pp. 213-273
17. LADKIN, P.: 'Reasons and causes'. Technical report, Technische Fakultat, Universitat Bielefeld, Germany, 1996 (available via http://www.techfak.uni-bielefeld.de$∼ladkin)
18. FREMLIN, J.H.: 'Power production: what are the risks' (Adam Hilger Ltd., Boston, USA, 1985)
19. BIGNELL, V. and FORTUNE, J.: 'Understanding systems failures' (Manchester University Press, 1984)
20. REASON, J.: 'Human error' (Cambridge University Press, Cambridge, UK, 1990)
21. PERROW, C.: 'Normal accidents: living with high-risk technologies' (Basic Books, New York, USA, 1984)
22. TELFORD, A., and JOHNSON, CW.: 'Viewpoints for accident analysis'. Technical report, Department of Computer Science, University of Glasgow, Glasgow, UK, 1996
23. JOHNSON, C.W., and TELFORD, A.: 'The formal analysis of human factors errors and system faiilures'. Technical Report TR-1996-6, Department of Computer Science, University of Glasgow, Glasgow, UK, 1996
24. FINKELSTEIN, A., and SOMMERVILLE, I.: 'The Viewpoints FAQ', Softw. Eng. J., 1996, 11, (1), pp. 2-4