Using Formal Verification to Evaluate Human-Automation Interaction: A Review

  title={Using Formal Verification to Evaluate Human-Automation Interaction: A Review},
  author={Matthew L. Bolton and Ellen J. Bass and Radu I. Siminiceanu},
  journal={IEEE Transactions on Systems, Man, and Cybernetics: Systems},
Failures in complex systems controlled by human operators can be difficult to anticipate because of unexpected interactions between the elements that compose the system, including human-automation interaction (HAI). HAI analyses would benefit from techniques that support investigating the possible combinations of system conditions and HAIs that might result in failures. Formal verification is a powerful technique used to mathematically prove that an appropriately scaled model of a system does… CONTINUE READING
Highly Cited
This paper has 124 citations. REVIEW CITATIONS


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

124 Citations

Citations per Year
Semantic Scholar estimates that this publication has 124 citations based on the available data.

See our FAQ for additional information.


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

Modelling and analysing the interactive behaviour of an infusion pump

  • J.C.C.M.D. Harrison
  • Proc. 4th Int. ECEASST , Potsdam, Germany, 2011.
  • 2011
Highly Influential
17 Excerpts

Similar Papers

Loading similar papers…