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!
cited_by
cites
container_end_page 1800
container_issue
container_start_page 1795
container_title
container_volume
creator Degani, A.
Gellatly, A.
Heymann, M.
description 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.
doi_str_mv 10.1109/ICSMC.2011.6083932
format conference_proceeding
fullrecord <record><control><sourceid>ieee_CHZPO</sourceid><recordid>TN_cdi_ieee_primary_6083932</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>6083932</ieee_id><sourcerecordid>6083932</sourcerecordid><originalsourceid>FETCH-LOGICAL-i175t-1cab197210a5c9e4082f4c54dfaf2ea729e406060f76cc0e6226f166a76408ea3</originalsourceid><addsrcrecordid>eNo1T11Lw0AQPL_AtPYP6Ev-QOLuXu4u9yjB2kCLDyr4Vs5zDyKJKb1T6L83YmUeZpkZhh0hrhFKRLC3bfO0aUoCxFJDLa2kEzHDShkDWkl7KjKa7gK1UmdiYU3975E8FxmCpsISvV6KWYwfAAQV1pnA1abNXdyxTzEfQ-6-0jiMqfvm3Pfd4NLE42faj30eDzHxEK_ERXB95MWR5-Jlef_crIr140Pb3K2LDo1KBXr3htYQglPecgU1hcqr6j24QOwM_Wp6QjDae2BNpANq7YyesuzkXNz89XbMvN3tp2f2h-1xuvwBiLtIKg</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>HMI aspects of automotive climate control systems</title><source>IEEE Xplore All Conference Series</source><creator>Degani, A. ; Gellatly, A. ; Heymann, M.</creator><creatorcontrib>Degani, A. ; Gellatly, A. ; Heymann, M.</creatorcontrib><description>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.</description><identifier>ISSN: 1062-922X</identifier><identifier>ISBN: 9781457706523</identifier><identifier>ISBN: 1457706520</identifier><identifier>EISSN: 2577-1655</identifier><identifier>EISBN: 1457706539</identifier><identifier>EISBN: 9781457706530</identifier><identifier>EISBN: 9781457706516</identifier><identifier>EISBN: 1457706512</identifier><identifier>DOI: 10.1109/ICSMC.2011.6083932</identifier><language>eng</language><publisher>IEEE</publisher><subject>Automotive engineering ; Automotive System ; Design Patterns ; Floors ; Formal Methods ; Human Factors ; Human-Machine Interaction ; Meteorology ; Pressing ; Statecharts ; Temperature control ; Vehicles</subject><ispartof>2011 IEEE International Conference on Systems, Man, and Cybernetics, 2011, p.1795-1800</ispartof><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/6083932$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,776,780,785,786,2052,27904,54533,54898,54910</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/6083932$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Degani, A.</creatorcontrib><creatorcontrib>Gellatly, A.</creatorcontrib><creatorcontrib>Heymann, M.</creatorcontrib><title>HMI aspects of automotive climate control systems</title><title>2011 IEEE International Conference on Systems, Man, and Cybernetics</title><addtitle>ICSMC</addtitle><description>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.</description><subject>Automotive engineering</subject><subject>Automotive System</subject><subject>Design Patterns</subject><subject>Floors</subject><subject>Formal Methods</subject><subject>Human Factors</subject><subject>Human-Machine Interaction</subject><subject>Meteorology</subject><subject>Pressing</subject><subject>Statecharts</subject><subject>Temperature control</subject><subject>Vehicles</subject><issn>1062-922X</issn><issn>2577-1655</issn><isbn>9781457706523</isbn><isbn>1457706520</isbn><isbn>1457706539</isbn><isbn>9781457706530</isbn><isbn>9781457706516</isbn><isbn>1457706512</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2011</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><recordid>eNo1T11Lw0AQPL_AtPYP6Ev-QOLuXu4u9yjB2kCLDyr4Vs5zDyKJKb1T6L83YmUeZpkZhh0hrhFKRLC3bfO0aUoCxFJDLa2kEzHDShkDWkl7KjKa7gK1UmdiYU3975E8FxmCpsISvV6KWYwfAAQV1pnA1abNXdyxTzEfQ-6-0jiMqfvm3Pfd4NLE42faj30eDzHxEK_ERXB95MWR5-Jlef_crIr140Pb3K2LDo1KBXr3htYQglPecgU1hcqr6j24QOwM_Wp6QjDae2BNpANq7YyesuzkXNz89XbMvN3tp2f2h-1xuvwBiLtIKg</recordid><startdate>201110</startdate><enddate>201110</enddate><creator>Degani, A.</creator><creator>Gellatly, A.</creator><creator>Heymann, M.</creator><general>IEEE</general><scope>6IE</scope><scope>6IH</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIO</scope></search><sort><creationdate>201110</creationdate><title>HMI aspects of automotive climate control systems</title><author>Degani, A. ; Gellatly, A. ; Heymann, M.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i175t-1cab197210a5c9e4082f4c54dfaf2ea729e406060f76cc0e6226f166a76408ea3</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2011</creationdate><topic>Automotive engineering</topic><topic>Automotive System</topic><topic>Design Patterns</topic><topic>Floors</topic><topic>Formal Methods</topic><topic>Human Factors</topic><topic>Human-Machine Interaction</topic><topic>Meteorology</topic><topic>Pressing</topic><topic>Statecharts</topic><topic>Temperature control</topic><topic>Vehicles</topic><toplevel>online_resources</toplevel><creatorcontrib>Degani, A.</creatorcontrib><creatorcontrib>Gellatly, A.</creatorcontrib><creatorcontrib>Heymann, M.</creatorcontrib><collection>IEEE Electronic Library (IEL) Conference Proceedings</collection><collection>IEEE Proceedings Order Plan (POP) 1998-present by volume</collection><collection>IEEE Xplore All Conference Proceedings</collection><collection>IEEE Electronic Library (IEL)</collection><collection>IEEE Proceedings Order Plans (POP) 1998-present</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Degani, A.</au><au>Gellatly, A.</au><au>Heymann, M.</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>HMI aspects of automotive climate control systems</atitle><btitle>2011 IEEE International Conference on Systems, Man, and Cybernetics</btitle><stitle>ICSMC</stitle><date>2011-10</date><risdate>2011</risdate><spage>1795</spage><epage>1800</epage><pages>1795-1800</pages><issn>1062-922X</issn><eissn>2577-1655</eissn><isbn>9781457706523</isbn><isbn>1457706520</isbn><eisbn>1457706539</eisbn><eisbn>9781457706530</eisbn><eisbn>9781457706516</eisbn><eisbn>1457706512</eisbn><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.</abstract><pub>IEEE</pub><doi>10.1109/ICSMC.2011.6083932</doi><tpages>6</tpages></addata></record>
fulltext fulltext_linktorsrc
identifier ISSN: 1062-922X
ispartof 2011 IEEE International Conference on Systems, Man, and Cybernetics, 2011, p.1795-1800
issn 1062-922X
2577-1655
language eng
recordid cdi_ieee_primary_6083932
source IEEE Xplore All Conference Series
subjects Automotive engineering
Automotive System
Design Patterns
Floors
Formal Methods
Human Factors
Human-Machine Interaction
Meteorology
Pressing
Statecharts
Temperature control
Vehicles
title HMI aspects of automotive climate control systems
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-28T00%3A22%3A19IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-ieee_CHZPO&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=HMI%20aspects%20of%20automotive%20climate%20control%20systems&rft.btitle=2011%20IEEE%20International%20Conference%20on%20Systems,%20Man,%20and%20Cybernetics&rft.au=Degani,%20A.&rft.date=2011-10&rft.spage=1795&rft.epage=1800&rft.pages=1795-1800&rft.issn=1062-922X&rft.eissn=2577-1655&rft.isbn=9781457706523&rft.isbn_list=1457706520&rft_id=info:doi/10.1109/ICSMC.2011.6083932&rft.eisbn=1457706539&rft.eisbn_list=9781457706530&rft.eisbn_list=9781457706516&rft.eisbn_list=1457706512&rft_dat=%3Cieee_CHZPO%3E6083932%3C/ieee_CHZPO%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-i175t-1cab197210a5c9e4082f4c54dfaf2ea729e406060f76cc0e6226f166a76408ea3%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=6083932&rfr_iscdi=true