Formal analysis of human-computer interaction using model-checking

  title={Formal analysis of human-computer interaction using model-checking},
  author={Antonio Cerone and Peter A. Lindsay and Simon Connelly},
  journal={Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05)},
Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in human reliability assessment (HRA). This paper investigates an approach to task failure analysis based on patterns of behaviour, by contrast to more traditional event-based approaches. It considers, as a case study, a formal model of an air traffic control (ATC) system which incorporates controller behaviour. The cognitive model is formalised in… CONTINUE READING
Highly Cited
This paper has 28 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 17 extracted citations


Publications referenced by this paper.
Showing 1-10 of 19 references

Model Checking

  • E. Clarke, O. Grumberg, D. Peled
  • MIT Press
  • 1999
2 Excerpts

Final report: Safety analysis of air traffic control upgrades

  • N. Leveson
  • NASA technical report,
  • 1997
3 Excerpts

Similar Papers

Loading similar papers…