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.
Modeling Human-Machine Interactions Using Statecharts: One Hot and Cool Example
Sae Technical Papers
SAE 2011 World Congress & Exhibition ; 2011
12.04.2011
Aufsatz (Konferenz)
Englisch
Modeling Human-Machine Interactions Using Statecharts: One Hot and Cool Example
British Library Conference Proceedings | 2011
|Formal modeling and analysis of UML statecharts
British Library Online Contents | 2007
|A supervisor of traffic light systems using statecharts
Tema Archiv | 2007
|Auto-coding UML statecharts for flight software
IEEE | 2006
|Auto-Coding UML Statecharts for Flight Software
NTRS | 2006
|