Modeling Human-Machine Interactions Using Statecharts: One Hot and Cool Example 2011-01-1020
In this paper we discuss the use of a formal approach to the problem of describing, evaluating, and specifying human-machine interaction. The statecharts language, originally conceived by David Harel [1], is used to describe the behavior of the machine (i.e., its states and transitions), interface indications (e.g., light indicators on switches), and user interaction (selecting applications, switching modes, entering parameters, etc.). We illustrate how the statecharts language can be used to describe driver interaction with a climate control system, and show how it is possible to systematically evaluate user interaction. The paper concludes with several observations about the utility of formal language for generating sound design specification of human-machine systems.
Citation: Degani, A. and Gellatly PhD, A., "Modeling Human-Machine Interactions Using Statecharts: One Hot and Cool Example," SAE Technical Paper 2011-01-1020, 2011, https://doi.org/10.4271/2011-01-1020. Download Citation
Author(s):
Asaf Degani, Andrew W. Gellatly PhD
Affiliated:
General Motors Company
Pages: 7
Event:
SAE 2011 World Congress & Exhibition
ISSN:
0148-7191
e-ISSN:
2688-3627
Related Topics:
Switches
Vehicle drivers
Simulation and modeling
SAE MOBILUS
Subscribers can view annotate, and download all of SAE's content.
Learn More »