This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
Modeling Human-Machine Interactions Using Statecharts: One Hot and Cool Example
Technical Paper
2011-01-1020
ISSN: 0148-7191, e-ISSN: 2688-3627
Annotation ability available
Sector:
Language:
English
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.
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.Also In
References
- Harel, D. 1987 Statecharts: A visual formalism for complex systems Science of Computer Programming 8 231 274
- Harel, D. Pnueli, A. 1985 On the development of reactive systems Apt, K. R. Logics and Models of Concurrent Systems, NATO ASI Series F-13 New York Springer-Verlag 477 498
- Harel, D. Politi, M. 1998 Modeling reactive systems with statecharts: The STATEMATE approach New York McGraw-Hill
- Parnas, D. 1969 On the use of transition diagrams in the design of a user interface for an interactive computer system Proceeding of the 24th Annual ACM Conference 379 385
- Sheridan, T. B. 2002 Humans and automation: System design and research issues New York John Wiley
- Simon, H. 1962 The Architecture of Complexity Proceedings of the American Philosophical Society 106 6
- Degani, A. 2004 Taming Hal: Designing interfaces beyond 2001 New York Palgrave Macmillan
- Sarter, N. Woods, D. 1995 “How in the world did we get into that mode?” Mode error and awareness in supervisory control Human Factors 37 1 5 19
- Sarter, N. Woods, D. Billings, C. 1997 Automation Surprises Salvendy, G. Handbook of human factors and ergonomics 1926 1943 New York John Wiley
- Heymann, M. Degani, A. 2007 Formal analysis and automatic generation of user interfaces: Approach, methodology, and an algorithm Human Factors 49 2 311 330
- Wasserman, A. I. 1985 Extending state transition diagrams for the specification of human-computer interaction IEEE transactions on Software Engineering SE-11 8 699 713
- Harel, D. 2009 Statecharts in the Making: A Personal Account Communications of the ACM 52 3
- Leveson, N. 1995 Safeware: System safety and computers New York Addison-Wesley