Learning Formal Human-machine Interface Designs From Task Analytic Models. (September 2015)

• Record Type: Journal Article
• Authors: Li, Meng; Molinaro, Kylie; Bolton, Matthew L.
• Is Part Of: Proceedings of the Human Factors and Ergonomics Society ... Annual Meeting. Volume 59:Part 1(2015)
• Page Start: 652
• Page End: 656
• Publication Date: 2015-09
• Subjects: Human engineering -- Congresses; 620.8205
• DOI: 10.1177/1541931215591142
• Languages: English
• ISSNs: 1541-9312

Abstract

User-centered design (UCD) is an approach for creating human-machine interfaces so that they support human operator tasks. UCD can be challenging because designers can fail to account for human-machine interactions that occur due to the inherent concurrence between the human and the other elements of the system. Formal methods are tools that enable analysts to consider all of the possible system interactions using a combination of formal modeling, specification, and proof-based verification. However, the creation of formal models of interface designs can be extremely difficult. This work describes a method that supports UCD by automatically generating formal designs of human-machine interface behavior from task analytic models, where the resulting interface will always support the behavior captured in the task model. This paper describes the method and demonstrates its capabilities with a vending machine application. Results and future research directions are discussed.