Modeling Human-Machine Interactions Using Statecharts: One Hot and Cool Example

Paper #:
  • 2011-01-1020

Published:
  • 2011-04-12
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.
Pages:
7
Abstract:
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.
Access
Now
SAE MOBILUS Subscriber? You may already have access.
Buy
Select
Price
List
Download
$28.00
Mail
$28.00
Members save up to 42% off list price.
Share
HTML for Linking to Page
Page URL

Related Items

Technical Paper / Journal Article
1990-02-01
Training / Education
2018-07-16
Technical Paper / Journal Article
1990-02-01
Training / Education
2018-02-05
Technical Paper / Journal Article
1990-02-01
Technical Paper / Journal Article
1990-02-01