Applying formal methods for human error tolerant design
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.
KeywordsUser Error User Task Fuel Level Human Reliability Interval Logic
Unable to display preview. Download preview PDF.
- [Abo91]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.Google Scholar
- [CMM94]A. Coombes, J. McDermid, and P. Morris. Causality as a means for the expression of requirements for safety critical systems. In COMPASS'94, 1994.Google Scholar
- [DH93]David Duke and Michael Harrison. Abstract interaction objects. Computer Graphics Forum, 12(3):25–36, 1993.Google Scholar
- [DH94]D. Duke and M. Harrison. Folding human factors into rigorous development. In Paternó [Pat94].Google Scholar
- [FHW94]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.Google Scholar
- [Hoa85]C. A. R. Hoare. Communicating Sequential Processes. International Series in Computer Science. Prentice-Hall International, 1985.Google Scholar
- [Hol93]E. Hollnagel. Human reliability analysis—Context and control. Academic Press, 1993.Google Scholar
- [Pat94]F. Paternò, editor. Proceedings, EUROGRAPHICS Workshop on the Design, Specification, Verification of Interactive Systems, Bocca di Magra, Italy, June 1994.Google Scholar
- [RH94]C.R. Roast and M.D. Harrison. User centred system modelling using the template model. In Paternò [Pat94].Google Scholar
- [SG83]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.Google Scholar
- [SMSV83]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.Google Scholar
- [WFH94]Peter Wright, Bob Fields, and Michael Harrison. Deriving human-error tolerance requirements from tasks. In First International Conference on Requirements Engineering. IEEE, 1994.Google Scholar