Abstract
This paper describes recent work concerned with the specification of requirements on interactive systems and the definition of user-level properties of such systems. A formal notation for describing and reasoning about the behaviour of systems and emergent properties is discussed, along with a technique that uses the formalism to investigate the resilience of systems to operator errors. These techniques are being used in the context of a project with British Aerospace; the concepts are illustrated with a simple example from the area of aircraft warning systems.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
G. D. Abowd. Formal Aspects of Human-Computer Interaction. PhD thesis, University of Oxford Computing Laboratory: Programming Research Group, 1991. Available as Technical Monograph PRG-97.
A. Coombes, J. McDermid, and P. Morris. Causality as a means for the expression of requirements for safety critical systems. In COMPASS'94, 1994.
David Duke and Michael Harrison. Abstract interaction objects. Computer Graphics Forum, 12(3):25–36, 1993.
D. Duke and M. Harrison. Folding human factors into rigorous development. In Paternó [Pat94].
B. Fields, M. Harrison, and P. Wright. From informal requirements to agent-based specification: an aircraft warnings case study (extended abstract). ACM SIGCHI Bulletin, 26(2):65–68, 1994.
C. A. R. Hoare. Communicating Sequential Processes. International Series in Computer Science. Prentice-Hall International, 1985.
E. Hollnagel. Human reliability analysis—Context and control. Academic Press, 1993.
F. Paternò, editor. Proceedings, EUROGRAPHICS Workshop on the Design, Specification, Verification of Interactive Systems, Bocca di Magra, Italy, June 1994.
C.R. Roast and M.D. Harrison. User centred system modelling using the template model. In Paternò [Pat94].
A.D. Swain and H.E. Guttman. Handbook of human reliability analysis with emphasis on nuclear power plant applications. Technical Report NUREG/CR-1278, Sandia National Laboratory, N.M., 1983.
Richard L. Schwartz, P.M. Melliar-Smith, and Friedrich H. Vogt. An interval logic for higher-level temporal reasoning. In ACM Symposium on Principles of Distributed Computing, pages 173–186, August 1983.
Peter Wright, Bob Fields, and Michael Harrison. Deriving human-error tolerance requirements from tasks. In First International Conference on Requirements Engineering. IEEE, 1994.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fields, B., Wright, P., Harrison, M. (1995). Applying formal methods for human error tolerant design. In: Taylor, R.N., Coutaz, J. (eds) Software Engineering and Human-Computer Interaction. SE-HCI 1994. Lecture Notes in Computer Science, vol 896. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0035815
Download citation
DOI: https://doi.org/10.1007/BFb0035815
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-59008-8
Online ISBN: 978-3-540-49173-6
eBook Packages: Springer Book Archive