Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2011 | 10.1109/ICSMC.2011.6083932 | Systems, Man, and Cybernetics |
Keywords | Field | DocType |
automotive engineering,design engineering,graphical user interfaces,man-machine systems,HMI aspects,automotive climate control system,design patterns,generic climate control system,human-machine interaction,statecharts model,user interaction analysis,Automotive System,Design Patterns,Formal Methods,Human Factors,Human-Machine Interaction,Statecharts | Systems engineering,Computer science,Software design pattern,Formal description,Graphical user interface,Artificial intelligence,Formal methods,Control system,Human machine interaction,Simulation,Automotive systems,Machine learning,Automotive industry | Conference |
ISSN | ISBN | Citations |
1062-922X | 978-1-4577-0652-3 | 5 |
PageRank | References | Authors |
0.42 | 3 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Asaf Degani | 1 | 70 | 6.86 |
Andrew W. Gellatly | 2 | 17 | 1.63 |
Michael Heymann | 3 | 184 | 23.54 |