Documenting the design of safety-critical, user interfaces

Interacting with Computers

Volumn 8, Issue 3, 1996, Pages 221-239

  Johnson, Chris ^a  

^a UNIVERSITY OF GLASGOW   (United Kingdom)

Author keywords

Decision theory; Design rationale; Safety critical interfaces

Indexed keywords

ACCIDENT PREVENTION; DECISION THEORY; HUMAN COMPUTER INTERACTION; INTERACTIVE COMPUTER SYSTEMS; LAWS AND LEGISLATION; SYSTEMS ANALYSIS;

DESIGN RATIONALE; INTERFACE DESIGN DECISIONS; INTERFACE DEVELOPMENT; SAFETY CRITICAL USER INTERFACES;

USER INTERFACES;

EID: 0030291259     PISSN: 09535438     EISSN: None     Source Type: Journal    
DOI: 10.1016/0953-5438(96)82730-5     Document Type: Article

References (26)

1. Chan, T. (1994) 'A graphical tool to support the QOC notation' Technical report, Department of Computer Science, University of York, York, UK MSc thesis
2. Conklin, J. and Begeman, M.L. (1989) 'gIBIS: a tool for all reasons' J. Amer. Soc. Info. Sci. 200-213
3. Fennell, D. (1988) Investigation Into The Kings Cross Underground Fire UK Department of Transport
4. International Atomic Energy Agency and The Commission of the European Community (1984) Critical Survey of Research On Human Factors And The Man-Machine Interaction IAEA-SM-26B/29, Vienna, Austria
5. Johnson, C.W. (1993) 'A probabilistic logic for the development of safety-critical interactive systems' Int. J. Man-Mach. Studies 39, 2, 333-351
6. Johnson, C.W. (1993a) Specifying and prototyping dynamic human-computer interfaces for stochastic applications' in Alty, J.L., Diaper, D. and Guest, S. (eds) People And Computers VIII Cambridge University Press, 233-248
7. Johnson, C.W. (1994) The formal analysis of human-computer interaction during accidents investigations' in Cockton, G., Draper, S.W. and Weir, G.R.S. (eds) People And Computers IX Cambridge University Press, 285-300
8. Johnson, C.W. (1995) 'Decision theory and safety-critical interfaces' in Nordby, K., Helmersen, P.H., Gilmore, D. and Arnesen, S.A. (eds) Human Computer Interaction -Interact '95 Chapman And Hall, 127-132
9. Johnson, C.W. (1996) 'Integrating human factors and systems engineering to reduce the risk of operator "error"' Safety Science, 22, 1, 195-214
10. Johnson, C.W. (1996a) 'Literate specification: using design rationale to support formal methods in the development of human-machine interfaces' Human Computer Interaction J. (in press)
11. Johnson, C.W. and Harrison, M.D. (1992) 'Using temporal logic to support the specification and prototyping of interactive control systems' Int. J. Man-Mach. Studies 36, 357-385
12. Johnson, C.W. and Harrison, M.D. (1994) 'Software engineering for human computer interaction' SIGCHI Bull. 26, 2, 46-48
13. Johnson, C.W., McCarthy, J.C. and Wright, P.C. (1995) 'Using a formal language to support natural language in accident reports' Ergonomics 38, 6, 1265-1283
14. Klein, M. (1993) 'Capturing design rationale in concurrent engineering teams' IEEE Comput. 26, 1, 39-47
15. Knuth, D.E. (1984) 'Literate programming' Comput. J. 27, 2, 97-111
16. MacLean, A., Young, R.M., Bellotti, V.M.E. and Moran, T.P. (1991) 'Questions, options, and criteria: elements of design space analysis' Human-Computer Interaction 6, 3-4, 201-50
17. McDermid, J. (1994) 'Support for safety-cases and safety arguments using SAM' Reliability Engineering and System Safety, 43, 2, 111-127
18. Ministry Of Defence (1991) Requirements for the Procurement of Safety Critical Software UK MOD DEF-STAN 00-55
19. President's Task Force (1981) Report On Aircraft Crew Complement, US Government, Washington DC, USA
20. Puppe, C. (1991) Distorted probabilities and choice under risk (Lecture Notes In Economics And Mathematical Systems, No 363) Springer Verlag
21. Rasmussen, J. and Pedersen, O.M. (1983) 'Human factors in probabilistic risk analysis and in risk management' Technical Report Risø-N-18-83 The Risø National Laboratory, Roskilde, Denmark
22. Buckingham Shum, S. (1991) 'Cognitive dimensions of design rationale' in Diaper, D. and Hammond, N. (eds) People And Computers VI: Proc. HCI'91 Cambridge University Press
23. Swain, A.D. and Gutman, H.E. (1980) Handbook of: Human Reliability Analysis With Emphasis on Nuclear Power Plant Applications: Technical Report NUREG/CR-1278, US Nuclear Regulatory Commission, Washington DC, USA
24. Watson, I.A. (1985) 'Review of human factors in reliability and risk assessment' in Burgoyne, J. (ed) The Assessment And Control Of Major Hazards Pergamon Press, 323-337
25. Wickens, C.D. (1984) Engineering Psychology And Human Performance C.E. Merrill
26. Wilson, S., McDermid, J., Fenelon, P. and Kirkham, P. (1995) 'No more spineless safety-cases: A structured method and comprehensive tool support' in Proc. INEC95; 2nd Int. Conf. Control and Instrumentation in Nuclear Installations