research-article

FortClash: Predicting and Mediating Unintended Behavior in Home Automation

Authors:

Kris LuytenAuthors Info & Claims

Proceedings of the ACM on Human-Computer Interaction, Volume 6, Issue EICS

Article No.: 154, Pages 1 - 20

https://doi.org/10.1145/3532204

Published: 17 June 2022 Publication History

Abstract

Smart home inhabitants can specify trigger-condition-action rules to control the home's behavior. As the number of rules and their complexity grow, however, so does the probability of issues such as inconsistencies and redundancies. These can lead to unintended behavior, including security vulnerabilities and wasted resources, which harms the inhabitants' trust in the system. Existing approaches to handle unintended behavior typically require inhabitants to define all-encompassing, permanent solutions by modifying the rules. Although this is fitting in certain situations, some unforeseen situations might occur. We argue that the user always must have the last word to avoid unwanted behaviors, without altering the overall behavior. With FortClash, we present an approach to predict many different types of unintended behavior, and contribute four novel mechanisms to mediate them that rely on making one-time exceptions. With FortClash, inhabitants gain a new tool to deal with unintended behavior in the short-term that is compatible with existing long-term approaches such as editing rules.

References

[1]

2021. If This Then That. https://ifttt.com/ Accessed: 2021-04--20.

[2]

A. Al Farooq, E. Al-Shaer, T. Moyer, and K. Kant. 2019. IoTC2: A Formal Method Approach for Detecting Conflicts in Large Scale IoT Systems. In 2019 IFIP/IEEE Symposium on Integrated Network and Service Management (IM). 442--447.

[3]

Pierre A. Akiki, Arosha K. Bandara, and Yijun Yu. 2017. Visual Simple Transformations: Empowering End-Users to Wire Internet of Things Objects. ACM Transactions on Computer-Human Interaction (TOCHI) 24, 2 (April 2017), 10:1--10:43. https://doi.org/10.1145/3057857

Digital Library

[4]

Ahmed S. Alfakeeh, Ali H. Al-Bayatti, Francois Siewe, and Thar Baker. 2019. Agent-based Negotiation Approach for Feature Interactions in Smart Home Systems using Calculus of the Context-aware Ambient. Transactions on Emerging Telecommunications Technologies n/a, n/a (Dec. 2019), e3808. https://doi.org/10.1002/ett.3808 Publisher: John Wiley & Sons, Ltd.

Digital Library

[5]

Stavros Antifakos, Nicky Kern, Bernt Schiele, and Adrian Schwaninger. 2005. Towards Improving Trust in Context-aware Systems by Displaying System Confidence. In Proceedings of the 7th International Conference on Human Computer Interaction with Mobile Devices & Services. ACM Press, 9--14. https://doi.org/10.1145/1085777.1085780

Digital Library

[6]

Carmelo Ardito, Maria F. Costabile, Giuseppe Desolda, Marco Manca, Maristella Matera, Fabio Paternò, and Carmen Santoro. 2019. Improving Tools that Allow End Users to Configure Smart Environments. In End-User Development (Lecture Notes in Computer Science), Alessio Malizia, Stefano Valtolina, Anders Morch, Alan Serrano, and Andrew Stratton (Eds.). Springer International Publishing, 244--248.

[7]

Mark Assad, David J. Carmichael, Judy Kay, and Bob Kummerfeld. 2007. PersonisAD: Distributed, Active, Scrutable Model Framework for Context-Aware Services. In Pervasive Computing. Vol. 4480. Springer Berlin Heidelberg, Berlin, Heidelberg, 55--72. http://link.springer.com/10.1007/978--3--540--72037--9_4

[8]

Lisanne Bainbridge. 1983. Ironies of automation. Automatica 19, 6 (Nov. 1983), 775--779. https://doi.org/10.1016/0005--1098(83)90046--8

Digital Library

[9]

Louise Barkhuus and Anind Dey. 2003. Is Context-Aware Computing Taking Control away from the User? Three Levels of Interactivity Examined. In UbiComp 2003: Ubiquitous Computing: 5th International Conference, Seattle, WA, USA, October 12--15, 2003. Proceedings, Anind K. Dey, Albrecht Schmidt, and Joseph F. McCarthy (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 149--156. https://doi.org/10.1007/978--3--540--39653--6_12

[10]

Barbara Rita Barricelli and Stefano Valtolina. 2015. Designing for End-User Development in the Internet of Things. In End-User Development. Springer International Publishing, Cham, 9--24.

[11]

Lyn Bartram, Johnny Rodgers, and Rob Woodbury. 2011. Smart Homes or Smart Occupants? Supporting Aware Living in the Home. In Human-Computer Interaction -- INTERACT 2011, Pedro Campos, Nicholas Graham, Joaquim Jorge, Nuno Nunes, Philippe Palanque, and Marco Winckler (Eds.). Springer Berlin Heidelberg, 52--64.

[12]

Victoria Bellotti and Keith Edwards. 2001. Intelligibility and Accountability: Human Considerations in Context-Aware Systems. Human-Computer Interaction 16, 2 (Dec. 2001), 193--212. https://doi.org/10.1207/S15327051HCI16234_05

Digital Library

[13]

Will Brackenbury, Abhimanyu Deora, Jillian Ritchey, Jason Vallee, Weijia He, Guan Wang, Michael L. Littman, and Blase Ur. 2019. How Users Interpret Bugs in Trigger-Action Programming. In Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems (CHI '19). Association for Computing Machinery, New York, NY, USA, 1--12. https://doi.org/10.1145/3290605.3300782

Digital Library

[14]

A.J. Bernheim Brush, Bongshin Lee, Ratul Mahajan, Sharad Agarwal, Stefan Saroiu, and Colin Dixon. 2011. Home Automation in the Wild: Challenges and Opportunities. In Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (CHI '11). ACM Press, 2115. https://doi.org/10.1145/1978942.1979249

Digital Library

[15]

Lei Bu, Wen Xiong, Chieh-Jan Mike Liang, Shi Han, Dongmei Zhang, Shan Lin, and Xuandong Li. 2018. Systematically Ensuring the Confidence of Real-Time Home Automation IoT Systems. ACM Transactions on Cyber-Physical Systems 2, 3 (June 2018), 22:1--22:23. https://doi.org/10.1145/3185501

Digital Library

[16]

Danilo Caivano, Daniela Fogli, Rosa Lanzilotti, Antonio Piccinno, and Fabio Cassano. 2018. Supporting End Users to Control their Smart Home: Design Implications from a Literature Review and an Empirical Investigation. Journal of Systems and Software 144 (Oct. 2018), 295--313. https://doi.org/10.1016/j.jss.2018.06.035

Digital Library

[17]

Nico Castelli, Corinna Ogonowski, Timo Jakobi, Martin Stein, Gunnar Stevens, and Volker Wulf. 2017. What Happened in my Home?: An End-User Development Approach for Smart Home Data Visualization. In Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems (CHI '17). ACM Press, 853--866. https://doi.org/10.1145/3025453.3025485

Digital Library

[18]

Keith Cheverst, Nigel Davies, Keith Mitchell, and Christos Efstratiou. 2001. Using Context as a Crystal Ball: Rewards and Pitfalls. Personal and Ubiquitous Computing 5, 1 (Feb. 2001), 8--11. https://doi.org/10.1007/s007790170020

Digital Library

[19]

Sven Coppers, Kris Luyten, Davy Vanacken, David Navarre, Philippe Palanque, and Christine Gris. 2019. Fortunettes: Feedforward About the Future State of GUI Widgets. The Proceedings of the ACM on Human Computer Interaction (PACM HCI) 3, EICS (June 2019), 20:1--20:20. https://doi.org/10.1145/3331162

Digital Library

[20]

Sven Coppers, Jan Van den Bergh, Kris Luyten, Karin Coninx, Iulianna van der Lek-Ciudin, Tom Vanallemeersch, and Vincent Vandeghinste. 2018. Intellingo: An Intelligible Translation Environment. In Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems (CHI '18). Association for Computing Machinery, New York, NY, USA, 1--13. https://doi.org/10.1145/3173574.3174098

Digital Library

[21]

Sven Coppers, Davy Vanacken, and Kris Luyten. 2020. FORTNIoT: Intelligible Predictions to Improve User Understanding of Smart Home Behavior. Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies 4, 4 (Dec. 2020). https://doi.org/10.1145/3432225 Place: New York, NY, USA Publisher: Association for Computing Machinery.

Digital Library

[22]

Fulvio Corno, Luigi De Russis, and Alberto Monge Roffarello. 2019. Empowering End Users in Debugging Trigger-Action Rules. In Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems (CHI '19). ACM, New York, NY, USA, 388:1--388:13. https://doi.org/10.1145/3290605.3300618

Digital Library

[23]

Fulvio Corno, Luigi De Russis, and Alberto Monge Roffarello. 2019. A High-level Semantic Approach to End-User Development in the Internet of Things. International Journal of Human-Computer Studies 125 (May 2019), 41--54. https://doi.org/10.1016/j.ijhcs.2018.12.008

Digital Library

[24]

Fulvio Corno, Luigi De Russis, and Alberto Monge Roffarello. 2019. My IoT Puzzle: Debugging IF-THEN Rules Through the Jigsaw Metaphor. In End-User Development (Lecture Notes in Computer Science), Alessio Malizia, Stefano Valtolina, Anders Morch, Alan Serrano, and Andrew Stratton (Eds.). Springer International Publishing, 18--33.

Digital Library

[25]

Fulvio Corno, Luigi De Russis, and Alberto Monge Roffarello. 2019. RecRules: Recommending IF-THEN Rules for End-User Development. ACM Transactions on Intelligent Systems and Technology 10, 5 (Sept. 2019), 58:1--58:27. https://doi.org/10.1145/3344211

Digital Library

[26]

Joelle Coutaz and James L. Crowley. 2016. A First-Person Experience with End-User Development for Smart Homes. IEEE Pervasive Computing 15, 2 (April 2016), 26--39. https://doi.org/10.1109/MPRV.2016.24

Digital Library

[27]

Simon P. Davies. 1993. Models and Theories of Programming Strategy. International Journal of Man-Machine Studies 39, 2 (Aug. 1993), 237--267. https://doi.org/10.1006/imms.1993.1061

Digital Library

[28]

Luigi De Russis and Fulvio Corno. 2015. HomeRules: A Tangible End-User Programming Interface for Smart Homes. In Proceedings of the 33rd Annual ACM Conference Extended Abstracts on Human Factors in Computing Systems (CHI EA '15). Association for Computing Machinery, Seoul, Republic of Korea, 2109--2114. https://doi.org/10.1145/2702613.2732795

Digital Library

[29]

Luigi De Russis and Alberto Monge Roffarello. 2018. A Debugging Approach for Trigger-Action Programming. In Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems (CHI EA '18). ACM Press, 1--6. https://doi.org/10.1145/3170427.3188641

Digital Library

[30]

Giuseppe Desolda, Carmelo Ardito, and Maristella Matera. 2017. Empowering End Users to Customize their Smart Environments: Model, Composition Paradigms, and Domain-Specific Tools. ACM Transactions on Computer-Human Interaction 24, 2 (April 2017), 1--52. https://doi.org/10.1145/3057859

Digital Library

[31]

Anind Dey, Timothy Sohn, Sara Streng, and Justin Kodama. 2006. iCAP: Interactive prototyping of context-aware applications. Pervasive Computing (2006), 254--271.

[32]

Colin Dixon, Ratul Mahajan, Sharad Agarwal, A. J. Brush, Bongshin Lee, Stefan Saroiu, and Paramvir Bahl. 2012. An Operating System for the Home. In Presented as part of the 9th USENIX Symposium on Networked Systems Design and Implementation (NSDI 12). USENIX, San Jose, CA, 337--352. https://www.usenix.org/conference/nsdi12/technical-sessions/presentation/dixon

[33]

Colin Dixon, Ratul Mahajan, Sharad Agarwal, A. J. Brush, Bongshin Lee, Stefan Saroiu, and Victor Bahl. 2010. The Home Needs an Operating System (and an App Store). In Proceedings of the 9th ACM SIGCOMM Workshop on Hot Topics in Networks (Hotnets-IX). ACM, New York, NY, USA, 18:1--18:6. https://doi.org/10.1145/1868447.1868465

Digital Library

[34]

Tom Djajadiningrat, Kees Overbeeke, and Stephan Wensveen. 2002. But How, Donald, Tell Us How?: on the Creation of Meaning in Interaction Design through Feedforward and Inherent Feedback. In Proceedings of the 4th conference on Designing interactive systems: processes, practices, methods, and techniques (DIS '02). ACM Press, 285. https://doi.org/10.1145/778712.778752

Digital Library

[35]

E. S. Reetz, D. Kuemper, K. Moessner, and R. Toenjes. 2013. How to Test IoT-based Services before Deploying them into Real World. In European Wireless 2013; 19th European Wireless Conference. 1--6.

[36]

W. Keith Edwards and Rebecca E. Grinter. 2001. At Home with Ubiquitous Computing: Seven Challenges. In Ubicomp 2001: Ubiquitous Computing: International Conference Atlanta Georgia, USA, September 30--October 2, 2001 Proceedings, Gregory D. Abowd, Barry Brumitt, and Steven Shafer (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 256--272. https://doi.org/10.1007/3--540--45427--6_22

[37]

Christoph Evers, Romy Kniewel, Kurt Geihs, and Ludger Schmidt. 2014. The User in the Loop: Enabling User Participation for Self-adaptive Applications. Future Generation Computer Systems 34 (May 2014), 110--123. https://doi.org/10.1016/j.future.2013.12.010

Digital Library

[38]

Kurt Geihs and Christoph Evers. 2016. User Intervention in Self-adaptive Context-aware Applications. In Proceedings of the Australasian Computer Science Week Multiconference (ACSW '16). ACM Press, 1--8. https://doi.org/10.1145/2843043.2843373

Digital Library

[39]

Giuseppe Ghiani, Marco Manca, Fabio Paternò, and Carmen Santoro. 2017. Personalization of Context-Dependent Applications Through Trigger-Action Rules. ACM Transactions on Computer-Human Interaction 24, 2 (April 2017), 14:1--14:33. https://doi.org/10.1145/3057861

Digital Library

[40]

Home Assistant 2021. Home Assistant. https://www.home-assistant.io/ Accessed: 2020-04--20.

[41]

Eric Horvitz. 1999. Principles of Mixed-initiative User Interfaces. In Proceedings of the SIGCHI conference on Human Factors in Computing Systems (CHI '99). ACM Press, 159--166. https://doi.org/10.1145/302979.303030

Digital Library

[42]

Justin Huang and Maya Cakmak. 2015. Supporting Mental Model Accuracy in Trigger-action Programming. In Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing (UbiComp '15). Association for Computing Machinery, Osaka, Japan, 215--225. https://doi.org/10.1145/2750858.2805830

Digital Library

[43]

Ting-Hao Kenneth Huang, Amos Azaria, and Jeffrey P. Bigham. 2016. InstructableCrowd: Creating IF-THEN Rules via Conversations with the Crowd. In Proceedings of the 2016 CHI Conference Extended Abstracts on Human Factors in Computing Systems (CHI EA '16). ACM, New York, NY, USA, 1555--1562. https://doi.org/10.1145/2851581.2892502

Digital Library

[44]

Timo Jakobi, Corinna Ogonowski, Nico Castelli, Gunnar Stevens, and Volker Wulf. 2017. The Catch(Es) with Smart Home: Experiences of a Living Lab Field Study. In Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems (CHI '17). ACM, New York, NY, USA, 1620--1633. https://doi.org/10.1145/3025453.3025799

Digital Library

[45]

Timo Jakobi, Gunnar Stevens, Nico Castelli, Corinna Ogonowski, Florian Schaub, Nils Vindice, Dave Randall, Peter Tolmie, and Volker Wulf. 2018. Evolving Needs in IoT Control and Accountability: A Longitudinal Study on Smart Home Intelligibility. Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies 2, 4 (Dec. 2018), 171:1--171:28. https://doi.org/10.1145/3287049

Digital Library

[46]

L. Zhang, W. He, J. Martinez, N. Brackenbury, S. Lu, and B. Ur. 2019. AutoTap: Synthesizing and Repairing Trigger-Action Programs Using LTL Properties. In 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE). 281--291. https://doi.org/10.1109/ICSE.2019.00043 Journal Abbreviation: 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE).

Digital Library

[47]

Jonathan Lazar, Adam Jones, and Ben Shneiderman. 2006. Workplace User Frustration with Computers: an Exploratory Investigation of the Causes and Severity. Behaviour & Information Technology 25, 3 (May 2006), 239--251. https://doi.org/10.1080/01449290500196963

[48]

Brian Y. Lim and Anind K. Dey. 2010. Toolkit to Support Intelligibility in Context-aware Applications. In Proceedings of the 12th ACM international conference on Ubiquitous computing (UbiComp '10). ACM Press, 13. https://doi.org/10.1145/1864349.1864353

Digital Library

[49]

Brian Y. Lim, Anind K. Dey, and Daniel Avrahami. 2009. Why and Why Not Explanations Improve the Intelligibility of Context-aware Intelligent Systems. In Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. ACM Press, 2119. https://doi.org/10.1145/1518701.1519023

Digital Library

[50]

Brian Y Lim, Qian Yang, Ashraf M Abdul, and Danding Wang. 2019. Why these Explanations? Selecting Intelligibility Types for Explanation Goals. In IUI Workshops 2019.

[51]

Meiyi Ma, Sarah Masud Preum, and John A. Stankovic. 2017. CityGuard: A Watchdog for Safety-Aware Conflict Detection in Smart Cities. In Proceedings of the Second International Conference on Internet-of-Things Design and Implementation (IoTDI '17). Association for Computing Machinery, New York, NY, USA, 259--270. https://doi.org/10.1145/3054977.3054989

Digital Library

[52]

Evan Magill and Jesse Blum. 2016. Exploring conflicts in Rule-Based Sensor Networks. Pervasive and Mobile Computing 27 (April 2016), 133--154. https://doi.org/10.1016/j.pmcj.2015.08.005

Digital Library

[53]

Marco Manca, Fabio, Paternò, Carmen Santoro, and Luca Corcella. 2019. Supporting End-user Debugging of Trigger-Action Rules for IoT Applications. International Journal of Human-Computer Studies 123 (March 2019), 56--69. https://doi.org/10.1016/j.ijhcs.2018.11.005

[54]

Anneliese von Mayrhauser and A. Marie Vans. 1997. Program Understanding Behavior During Debugging of Large Scale Software. In Workshop On Empirical Studies of Programmers. ACM, 157--179.

[55]

Sarah Mennicken and Elaine M. Huang. 2012. Hacking the Natural Habitat: An In-the-Wild Study of Smart Homes, Their Development, and the People Who Live in Them. In Pervasive Computing (Lecture Notes in Computer Science), Judy Kay, Paul Lukowicz, Hideyuki Tokuda, Patrick Olivier, and Antonio Krüger (Eds.). Springer Berlin Heidelberg, 143--160.

[56]

Sarah Mennicken, Jo Vermeulen, and Elaine M. Huang. 2014. From Today's Augmented Houses to Tomorrow's Smart Homes: new Directions for Home Automation Research. In Proceedings of the 2014 ACM International Joint Conference on Pervasive and Ubiquitous Computing - UbiComp '14 Adjunct. ACM Press, Seattle, Washington, 105--115. https://doi.org/10.1145/2632048.2636076

Digital Library

[57]

Rebeca Campos Motta, Káthia Marçal de Oliveira, and Guilherme Horta Travassos. 2019. A Framework to Support the Engineering of Internet of Things Software Systems. In Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '19). ACM, New York, NY, USA, 12:1--12:6. https://doi.org/10.1145/3319499.3328239

Digital Library

[58]

Bonnie M. Muir. 1994. Trust in Automation: Part I. Theoretical Issues in the Study of Trust and Human Intervention in Automated Systems. Ergonomics 37, 11 (Nov. 1994), 1905--1922. https://doi.org/10.1080/00140139408964957

[59]

Donald A Norman. 2013. The Design of Everyday Things: Revised and Expanded Edition. Constellation.

[60]

Fabio Paternò and Sadi Alawadi. 2019. Towards Intelligent Personalization of IoT Platforms End User Development. ACM.

[61]

Sílvia Resendes, Paulo Carreira, and André C. Santos. 2014. Conflict Detection and Resolution in Home and Building Automation Systems: a Literature Review. Journal of Ambient Intelligence and Humanized Computing 5, 5 (Oct. 2014), 699--715. https://doi.org/10.1007/s12652-013-0184--9

[62]

Tom A. Rodden, Joel E. Fischer, Nadia Pantidi, Khaled Bachour, and Stuart Moran. 2013. At Home with Agents: Exploring Attitudes Towards Future Smart Energy Infrastructures. In Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, New York, NY, USA, 1173--1182. https://doi.org/10.1145/2470654.2466152

Digital Library

[63]

Jochen Rode and Mary Beth Rosson. 2003. Programming at runtime: requirements and paradigms for nonprogrammer web application development. In IEEE Symposium on Human Centric Computing Languages and Environments, 2003. Proceedings. 23--30.

[64]

Philipp Rosenkranz, Matthias Wählisch, Emmanuel Baccelli, and Ludwig Ortmann. 2015. A Distributed Test System Architecture for Open-source IoT Software. In Proceedings of the 2015 Workshop on IoT challenges in Mobile and Industrial Systems (IoT-Sys '15). ACM Press, 43--48. https://doi.org/10.1145/2753476.2753481

Digital Library

[65]

S. Munir and J. A. Stankovic. 2014. DepSys: Dependency Aware Integration of Cyber-Physical Systems for Smart Homes. In 2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS). 127--138. https://doi.org/10.1109/ICCPS.2014.6843717 Journal Abbreviation: 2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).

Digital Library

[66]

Aaron Spaulding, Anthony Jameson, Jonathan Grudin, Neil Yorke-Smith, and Jack Zaientz. 2008. Usable artificial intelligence. In CHI '08 Extended Abstracts on Human Factors in Computing Systems (CHI EA '08). ACM Press, 3937. https://doi.org/10.1145/1358628.1358961

Digital Library

[67]

T. Shah, S. Venkatesan, T. Ngo, Pratima, and K. Neelamegam. 2019. Conflict Detection in Rule Based IoT Systems. In 2019 IEEE 10th Annual Information Technology, Electronics and Mobile Communication Conference (IEMCON). 0276--0284. https://doi.org/10.1109/IEMCON.2019.8936266 Journal Abbreviation: 2019 IEEE 10th Annual Information Technology, Electronics and Mobile Communication Conference (IEMCON).

[68]

Blase Ur, Elyse McManus, Melwyn Pak Yong Ho, and Michael L. Littman. 2014. Practical Trigger-action Programming in the Smart Home. In Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (CHI '14). ACM, New York, NY, USA, 803--812. https://doi.org/10.1145/2556288.2557420

Digital Library

[69]

Blase Ur, Melwyn Pak Yong Ho, Stephen Brawner, Jiyun Lee, Sarah Mennicken, Noah Picard, Diane Schulze, and Michael L. Littman. 2016. Trigger-Action Programming in the Wild: An Analysis of 200,000 IFTTT Recipes. In Proceedings of the 2016 CHI Conference on Human Factors in Computing Systems (CHI '16). ACM Press, 3227--3231. https://doi.org/10.1145/2858036.2858556

Digital Library

[70]

Claudia Vannucchi, Michelangelo Diamanti, Gianmarco Mazzante, Diletta Cacciagrano, Rosario Culmone, Nikos Gorogiannis, Leonardo Mostarda, and Franco Raimondi. 2017. Symbolic verification of event--condition--action rules in intelligent environments. Journal of Reliable Intelligent Environments 3, 2 (Aug. 2017), 117--130. https://doi.org/10.1007/s40860-017-0036-z

[71]

Jo Vermeulen, Geert Vanderhulst, Karin Coninx, and Kris Luyten. 2009. Answering Why and Why Not Questions in Ubiquitous Computing. UbiComp 2009, Orlando, FL, USA.

[72]

van der B. J. J. Vlist, J. Hu, G. Niezen, and L. M. G. Feijs. 2012. Semantic Connections : a New Interaction Paradigm for Smart Environments. In 7th International Workshop on Design and Semantics of Form and Movement (DeSForM 2012), April 18--20, 2012, Wellington, New Zealand.

[73]

Qi Wang, Pubali Datta, Wei Yang, Si Liu, Adam Bates, and Carl A. Gunter. 2019. Charting the Attack Surface of Trigger-Action IoT Platforms. In Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security (CCS '19). Association for Computing Machinery, London, United Kingdom, 1439--1453. https://doi.org/10.1145/3319535.3345662

Digital Library

[74]

Rayoung Yang and Mark W. Newman. 2013. Learning from a Learning Thermostat: Lessons for Intelligent Systems for the Home. In Proceedings of the 2013 ACM International Joint Conference on Pervasive and Ubiquitous Computing (UbiComp '13). ACM, New York, NY, USA, 93--102. https://doi.org/10.1145/2493432.2493489

Digital Library

[75]

Lana Yarosh and Pamela Zave. 2017. Locked or Not?: Mental Models of IoT Feature Interaction. In Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems (CHI '17). ACM Press, 2993--2997. https://doi.org/10.1145/3025453.3025617

Digital Library

Cited By

Dix ALuyten KMayer SPalanque PPanizzi ESpano LZiegler J(2024)Second Workshop on Engineering Interactive Systems Embedding AI TechnologiesCompanion Proceedings of the 16th ACM SIGCHI Symposium on Engineering Interactive Computing Systems10.1145/3660515.3662837(103-107)Online publication date: 24-Jun-2024
https://dl.acm.org/doi/10.1145/3660515.3662837
Gu JLi XZhang L(2024)A Petri Net-based Conflict Detection Method of Trigger-Action Programming in Smart Home Environments2024 4th International Conference on Electronic Information Engineering and Computer Science (EIECS)10.1109/EIECS63941.2024.10800411(1152-1157)Online publication date: 27-Sep-2024
https://doi.org/10.1109/EIECS63941.2024.10800411
Andrao MBalducci FBreve BCena FDesolda GDeufemia VGena CMatera MMattioli APaternò FSantoro CTreccani BVernero FZancanaro M(2023)Understanding Concepts, Methods and Tools for End-User Control of Automations in Ecosystems of Smart Objects and ServicesEnd-User Development10.1007/978-3-031-34433-6_7(104-124)Online publication date: 6-Jun-2023
https://dl.acm.org/doi/10.1007/978-3-031-34433-6_7

Index Terms

FortClash: Predicting and Mediating Unintended Behavior in Home Automation
1. Human-centered computing
  1. Human computer interaction (HCI)
  2. Interaction design
    1. Interaction design theory, concepts and paradigms

Recommendations

FORTNIoT: Intelligible Predictions to Improve User Understanding of Smart Home Behavior

Ubiquitous environments, such as smart homes, are becoming more intelligent and autonomous. As a result, their behavior becomes harder to grasp and unintended behavior becomes more likely. Researchers have contributed tools to better understand and ...
The Mediating of Perceived Usefulness and Perceived Ease of Use: The Case of Mobile Banking in Yemen

While there are a wide range of business opportunities available via mobile technologies, mobile banking services have not been widely accepted by bank clients in Yemen. This article aims to test the mediation effect of TAM core constructs between the ...
Predicting of Sleep Behaviour in Smart Homes Based on Multi-residents Using Machine Learning Techniques
Abstract
Sleep is a vital part of our daily lives; it plays a significant role in the overall health and welfare of a person. Smart Homes plays a vital role in recognizing human activities performed at home and making it a better place to live. This study ...

Comments

Information & Contributors

Information

Published In

cover image Proceedings of the ACM on Human-Computer Interaction

Proceedings of the ACM on Human-Computer Interaction Volume 6, Issue EICS

EICS

June 2022

736 pages

EISSN:2573-0142

DOI:10.1145/3544787

Editor:
Jeff Nichols
Apple Inc., United States

Issue’s Table of Contents

Copyright © 2022 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 17 June 2022

Published in PACMHCI Volume 6, Issue EICS

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

Fonds Wetenschappelijk Onderzoek
Special Research Fund (BOF) of Hasselt University

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
271
Total Downloads

Downloads (Last 12 months)63
Downloads (Last 6 weeks)3

Reflects downloads up to 28 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Dix ALuyten KMayer SPalanque PPanizzi ESpano LZiegler J(2024)Second Workshop on Engineering Interactive Systems Embedding AI TechnologiesCompanion Proceedings of the 16th ACM SIGCHI Symposium on Engineering Interactive Computing Systems10.1145/3660515.3662837(103-107)Online publication date: 24-Jun-2024
https://dl.acm.org/doi/10.1145/3660515.3662837
Gu JLi XZhang L(2024)A Petri Net-based Conflict Detection Method of Trigger-Action Programming in Smart Home Environments2024 4th International Conference on Electronic Information Engineering and Computer Science (EIECS)10.1109/EIECS63941.2024.10800411(1152-1157)Online publication date: 27-Sep-2024
https://doi.org/10.1109/EIECS63941.2024.10800411
Andrao MBalducci FBreve BCena FDesolda GDeufemia VGena CMatera MMattioli APaternò FSantoro CTreccani BVernero FZancanaro M(2023)Understanding Concepts, Methods and Tools for End-User Control of Automations in Ecosystems of Smart Objects and ServicesEnd-User Development10.1007/978-3-031-34433-6_7(104-124)Online publication date: 6-Jun-2023
https://dl.acm.org/doi/10.1007/978-3-031-34433-6_7

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Article

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Issue’s Table of Contents