论文信息 - Applying Formal Methods for Human Error Tolerant Design

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.

[1] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.

[2] Michael D. Harrison,et al. User Centred System Modelling using the Template Model , 1994, DSV-IS.

[3] Gregory D. Abowd,et al. Formal Aspects of Human-computer Interaction , 1991 .

[4] B. Fields,et al. From informal requirements to agent-based specification , 1994, SGCH.

[5] A. D. Swain,et al. Handbook of human-reliability analysis with emphasis on nuclear power plant applications. Final report , 1983 .

[6] Fabio Paterno. Design, specification, verification of interactive systems: an international workshop sponsored by EUROGRAPHICS, ERCIM and CNUCE-CNR , 1994, SGCH.

[7] Michael D. Harrison,et al. Abstract Interaction Objects , 1993, Comput. Graph. Forum.

[8] P. M. Melliar-Smith,et al. An interval logic for higher-level temporal reasoning , 1983, PODC '83.

[9] Erik Hollnagel,et al. Human Reliability Analysis: Context and Control , 1994 .

[10] John A. McDermid,et al. Causality as a means for the expression of requirements for safety critical systems , 1994, Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance.

[11] Michael D. Harrison,et al. Folding Human Factors into Rigorous Development , 1994, DSV-IS.

[12] Bob Fields,et al. Deriving human-error tolerance requirements from tasks , 1994, Proceedings of IEEE International Conference on Requirements Engineering.