Modeling and Formal Analysis of Human-Machine Interaction

Michael Heymann, Asaf Degani and Michael Shafto

in The Oxford Handbook of Cognitive Engineering

Published in print February 2013 | ISBN: 9780199757183
Published online May 2013 | | DOI:

Series: Oxford Library of Psychology

 Modeling and Formal Analysis of Human-Machine             Interaction

Show Summary Details


We describe a formal, model-based, approach for the analysis and design of human-automation interaction. The approach is guided by two primary objectives: first, that the interaction be correct in the sense that it will enable the user to operate the system reliably; second, that the interaction be as simple as possible while maintaining all the required operational flexibility. With these objectives we first discuss a methodology for verification of user-interface correctness, thereby addressing the issue of operational reliability, and then present an algorithmic approach for designing simple and succinct interfaces.

Keywords: formal methods; verification; interface correctness; user interfaces analysis and design

Article.  8681 words. 

Subjects: Psychology ; Cognitive Psychology

Full text: subscription required

How to subscribe Recommend to my Librarian

Buy this work at Oxford University Press »

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.