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

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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


    Additional title:

    Sae Technical Papers


    Contributors:

    Conference:

    SAE 2011 World Congress & Exhibition ; 2011



    Publication date :

    2011-04-12




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




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

    Degani, A. / Gellatly, A.W. / Society of Automotive Engineers | British Library Conference Proceedings | 2011


    Formal modeling and analysis of UML statecharts

    Shuzhen, Y. / Maozhong, J. | British Library Online Contents | 2007


    A supervisor of traffic light systems using statecharts

    Huang, Yi-Sheng / Lee, Shung-Shing / Liu, Yung-Kuer | Tema Archive | 2007


    Auto-coding UML statecharts for flight software

    Benowitz, E. / Clark, K. / Watney, G. | IEEE | 2006


    Auto-Coding UML Statecharts for Flight Software

    Benowitz, Edward G / Clark, Ken / Watney, Garth J. | NTRS | 2006