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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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


    Weitere Titelangaben:

    Sae Technical Papers


    Beteiligte:

    Kongress:

    SAE 2011 World Congress & Exhibition ; 2011



    Erscheinungsdatum :

    12.04.2011




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    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 Archiv | 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