HMI aspects of automotive climate control systems

In this paper we discuss a formal approach to the design and analysis of automotive systems, from a human-machine interaction (HMI) point of view. Specifically, we detail the behavior of a generic climate control system, present a statecharts model of this system, and discuss aspects of user interac...

Full description

Saved in:
Bibliographic Details
Main Authors: Degani, A., Gellatly, A., Heymann, M.
Format: Conference Proceeding
Language:English
Subjects:
Automotive engineering
Automotive System
Design Patterns
Floors
Formal Methods
Human Factors
Human-Machine Interaction
Meteorology
Pressing
Statecharts
Temperature control
Vehicles
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:In this paper we discuss a formal approach to the design and analysis of automotive systems, from a human-machine interaction (HMI) point of view. Specifically, we detail the behavior of a generic climate control system, present a statecharts model of this system, and discuss aspects of user interaction analysis. Several general principles for the design of climate control systems are illustrated and discussed. The topic of design patterns, in the context of a formal description of user interaction, is introduced, and two design patterns are illustrated and discussed.
ISSN:1062-922X
2577-1655
DOI:10.1109/ICSMC.2011.6083932