Cited By
View all- Song ZChaki DLakhdari ABouguettaya A(2023)Positional Encoding-based Resident Identification in Multi-resident Smart HomesACM Transactions on Internet Technology10.1145/363135324:1(1-27)Online publication date: 22-Dec-2023
A Survey on Conflict Detection in IoT-based Smart Homes
Article No.: 122, Pages 1 - 40
Abstract
As the adoption of IoT-based smart homes continues to grow, the importance of addressing potential conflicts becomes increasingly vital for ensuring seamless functionality and user satisfaction. In this survey, we introduce a novel conflict taxonomy, complete with formal definitions of each conflict type that may arise within the smart home environment. We design an advanced conflict model to effectively categorize these conflicts, setting the stage for our in-depth review of recent research in the field. By employing our proposed model, we systematically classify conflicts and present a comprehensive overview of cutting-edge conflict detection approaches. This extensive analysis allows us to highlight similarities, clarify significant differences, and uncover prevailing trends in conflict detection techniques. In conclusion, we shed light on open issues and suggest promising avenues for future research to foster accelerated development and deployment of IoT-based smart homes, ultimately enhancing their overall performance and user experience.
References
[1]
Michael Sheng, Yongrui Qin, Lina Yao, and Boualem Benatallah. 2017. Managing the web of things: Linking the real world to the web (1st. ed.). Morgan Kaufmann Publishers Inc., San Francisco, CA, USA.
[2]
2018. openHAB: empowering the smart home. https://www.openhab.org/. (2018). Accessed: 2022-04-05.
[3]
2018. SmartThings: One simple home system. http://www.smartthings.com. (2018). Accessed: 2022-04-05.
[4]
2019. Android Things. https://developer.android.com/things. (2019). Accessed: 2022-04-05.
[5]
2019. IFTTT: What is IFTTT?https://ifttt.com/explore. (2019). Accessed: 2022-04-05.
[6]
2019. Tasker: Total Automation for Android. https://tasker.joaoapps.com. (2019). Accessed: 2022-04-05.
[7]
Raja Ben Abdessalem, Annibale Panichella, Shiva Nejati, Lionel C. Briand, and Thomas Stifter. 2018. Testing autonomous cars for feature interaction failures using many-objective search. In ASE 2018. IEEE, 143–154. DOI:
[8]
M. O. Ahmed and A. Elfaki. 2021. Adaptation Conflicts of Heterogeneous Devices in IOT Smart-Home. American Scientific Research Journal for Engineering, Technology, and Sciences. 81, 1 (Aug. 2021), 64–78.
[9]
A. Al-Fuqaha, M. Guizani, M. Mohammadi, M. Aledhari, and M. Ayyash. 2015. Internet of Things: A Survey on Enabling Technologies, Protocols, and Applications. IEEE Communications Surveys & Tutorials 17, 4 (2015), 2347–2376. DOI:
[10]
Fadi Al-Turjman and Mohammad Abujubbeh. 2019. IoT-enabled smart grid via SM: An overview. FGCS 96 (2019), 579–590.
[11]
A. Alfakeeh and A. Al-Bayatti. 2016. Feature interactions detection and resolution in smart homes systems. Int. J. Electron Electr. Eng. 4, 1 (2016), 66–73. DOI:
[12]
Ahmed S. Alfakeeh, Ali H. Al-Bayatti, Francois Siewe, and Thar Baker. 2022. Agent-based negotiation approach for feature interactions in smart home systems using calculus of the context-aware ambient. Transactions on Emerging Telecommunications Technologies 33, 2 (2022), e3808. DOI:
[13]
Ahmed Sayed Alghamdi. 2015. Features interaction detection and resolution in smart home systems using agent-based negotiation approach. (2015).
[14]
Mohannad Alhanahnah, Clay Stevens, and Hamid Bagheri. 2020. Scalable analysis of interaction threats in IoT systems. In Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis. 272–285. DOI:
[15]
Fahd Alharithi. 2019. Detecting Conflicts Among Autonomous Devices in Smart Homes. Ph.D. Dissertation. Florida Institute of Technology.
[16]
Parvaneh Asghari, Amir Masoud Rahmani, and Hamid Haj Seyyed Javadi. 2019. Internet of things applications: A systematic review. Computer Networks 148 (2019), 241–261. DOI:
[17]
Luigi Atzori, Antonio Iera, and Giacomo Morabito. 2010. The internet of things: A survey. Computer Networks 54, 15 (2010), 2787–2805. DOI:
[18]
Juan Carlos Augusto and Andrés Muñoz. 2019. User preferences in intelligent environments. Applied Artificial Intelligence 33, 12 (2019), 1069–1091.
[19]
Leonardo Babun, Z. Berkay Celik, Patrick McDaniel, and A. Selcuk Uluagac. 2019. Real-time analysis of privacy-(un) aware IoT applications. arXiv preprint arXiv:1911.10461 (2019).
[20]
Debasis Bandyopadhyay and Jaydip Sen. 2011. Internet of things: Applications and challenges in technology and standardization. Wireless Personal Communications 58, 1 (2011), 49–69. DOI:
[21]
K. K. Bhardwaj, A. Khanna, D. K. Sharma, and A. Chhabra. 2019. Designing energy-efficient IoT-based intelligent transport system: Need, architecture, characteristics, challenges, and applications. In Energy Conservation for IoT Devices Studies in Systems, Decision and Control, M. Mittal, S. Tanwar, B. Agarwal, L. Goyal, (Eds.)., vol 206. Springer, Singapore.
[22]
Julia Brich, Marcel Walch, Michael Rietzler, Michael Weber, and Florian Schaub. 2017. Exploring end user programming needs in home automation. ACM Transactions on Computer-Human Interaction (TOCHI) 24, 2 (2017), 1–35.
[23]
Rui Camacho, Paulo Carreira, Inês Lynce, and Sílvia Resendes. 2014. An ontology-based approach to conflict resolution in home and building automation systems. Expert Systems with Applications 41, 14 (2014), 6161–6173. DOI:
[24]
Paulo Carreira, Sílvia Resendes, and André C. Santos. 2014. Towards automatic conflict detection in home and building automation systems. Pervasive and Mobile Computing 12 (2014), 37–57. DOI:
[25]
Z. Berkay Celik, Gang Tan, and Patrick D. McDaniel. 2019. IoTGuard: Dynamic enforcement of security and safety policy in commodity IoT. In NDSS.
[26]
Dipankar Chaki and Athman Bouguettaya. 2020. Fine-grained conflict detection of IoT services. In 2020 IEEE International Conference on Services Computing (SCC). IEEE, 321–328. DOI:
[27]
Dipankar Chaki and Athman Bouguettaya. 2021. Adaptive priority-based conflict resolution of IoT services. In 2021 IEEE International Conference on Web Services (ICWS). IEEE, 663–668. DOI:
[28]
Dipankar Chaki and Athman Bouguettaya. 2021. Dynamic conflict resolution of IoT services in smart homes. In International Conference on Service-Oriented Computing. Springer, 368–384. DOI:
[29]
Dipankar Chaki, Athman Bouguettaya, and Sajib Mistry. 2020. A conflict detection framework for IoT services in multi-resident smart homes. In 2020 IEEE International Conference on Web Services (ICWS). IEEE, 224–231.
[30]
Zhao Chen, Fanping Zeng, Tingting Lu, and Wenjuan Shu. 2019. Multi-platform application interaction extraction for IoT devices. In 2019 IEEE 25th International Conference on Parallel and Distributed Systems (ICPADS). IEEE, 990–995. DOI:
[31]
Haotian Chi, Qiang Zeng, Xiaojiang Du, and Jiaping Yu. 2020. Cross-app interference threats in smart homes: Categorization, detection and handling. In 2020 DSN. IEEE, 411–423. DOI:
[32]
Manan Choksi, Dipankar Chaki, Abdallah Lakhdari, and Athman Bouguettaya. 2022. You are what you use: Usage-based profiling in IoT environments. In Adjunct Proceedings of the 2022 ACM International Joint Conference on Pervasive and Ubiquitous Computing and the 2022 ACM International Symposium on Wearable Computers. 21–23.
[33]
Flavio Cirillo, David Gómez, Luis Diez, Ignacio Elicegui Maestro, Thomas Barrie Juel Gilbert, and Reza Akhavan. 2020. Smart city IoT services creation through large-scale collaboration. IEEE Internet of Things Journal 7, 6 (2020), 5267–5275.
[34]
Fulvio Corno, Luigi De Russis, and Alberto Monge Roffarello. 2021. From users’ intentions to IF-THEN rules in the internet of things. ACM Transactions on Information Systems (TOIS) 39, 4 (2021), 1–33. DOI:
[35]
Jessamyn Dahmen, Diane J. Cook, Xiaobo Wang, and Wang Honglei. 2017. Smart secure homes: A survey of smart home technologies that sense, assess, and respond to security threats. Journal of Reliable Intelligent Environments 3, 2 (2017), 83–98. DOI:
[36]
Gulsun Demirezen, Alan S. Fung, and Mathieu Deprez. 2020. Development and optimization of artificial neural network algorithms for the prediction of building specific local temperature for HVAC control. International Journal of Energy Research 44, 11 (2020), 8513–8531.
[37]
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 (TOCHI) 24, 2 (2017), 1–52.
[38]
Anind K. Dey, Gregory D. Abowd, and Daniel Salber. 2001. A conceptual framework and a toolkit for supporting the rapid prototyping of context-aware applications. Human–Computer Interaction 16, 2-4 (2001), 97–166.
[39]
Wenbo Ding and Hongxin Hu. 2018. On the safety of IoT device physical interaction control. In Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security. 832–846. DOI:
[40]
Wenbo Ding, Hongxin Hu, and Long Cheng. 2021. IOTSAFE: Enforcing safety and security policy with real IoT physical interaction discovery. In the 28th Network and Distributed System Security Symposium (NDSS 2021).
[41]
Daniela Fogli, Matteo Peroni, and Claudia Stefini. 2017. ImAtHome: Making trigger-action programming easy and fun. Journal of Visual Languages & Computing 42 (2017), 60–75. DOI:
[42]
Radhika Garg and Hua Cui. 2022. Social contexts, agency, and conflicts: Exploring critical aspects of design for future smart home technologies. ACM Transactions on Computer-Human Interaction 29, 2 (2022), 1–30.
[43]
Giuseppe Ghiani, Marco Manca, Fabio Paternò, and Carmen Santoro. 2017. Personalization of context-dependent applications through trigger-action rules. ACM Trans. Comput.-Hum. Interact. 24, 2, Article 14 (Apr. 2017), 33 pages. DOI:
[44]
Emre Göynügür, Sara Bernardini, Geeth de Mel, Kartik Talamadupula, and Murat Şensoy. 2017. Policy conflict resolution in IoT via planning. In Advances in Artificial Intelligence: 30th Canadian Conference on Artificial Intelligence, Canadian AI 2017, Edmonton, AB, Canada, May 16–19, 2017, Proceedings 30. Springer, 169–175.
[45]
Emre Goynugur, Geeth de Mel, Murat Sensoy, and Seraphin Calo. 2017. Tractable policy management framework for IoT. In Ground/Air Multisensor Interoperability, Integration, and Networking for Persistent ISR VIII, Vol. 10190. SPIE, 48–54. DOI:
[46]
Rania Ben Hadj, Catherine Hamon, Stéphanie Chollet, German Vega, and Philippe Lalanda. 2017. Context-based conflict management in pervasive platforms. In 2017 PerCom Workshops. IEEE, 250–255. DOI:
[47]
Jared Hall. (n.d.)On operational policy conflict detection and resolution in CPS-IoT systems.
[48]
Alyaa A. Hamza, Islam Tharwat Abdel Halim, Mohamed A. Sobh, and Ayman M. Bahaa-Eldin. 2022. HSAS-MD analyzer: A hybrid security analysis system using model-checking technique and deep learning for malware detection in IoT apps. Sensors 22, 3 (2022), 1079.
[49]
Michelle Hepner, R. Gamble, Manasi Kelkar, L. Davis, and Daniel Flagg. 2006. Patterns of conflict among software components. Journal of Systems and Software 79, 4 (2006), 537–551.
[50]
Chien-Chang Hsu and Liang-Zong Wang. 2008. A smart home resource management system for multiple inhabitants by agent conceding negotiation. In 2008 IEEE International Conference on Systems, Man and Cybernetics. IEEE, 607–612. DOI:
[51]
Kai-Hsiang Hsu, Yu-Hsi Chiang, and Hsu-Chun Hsiao. 2019. SafeChain: Securing trigger-action programming from attack chains. IEEE Transactions on Information Forensics and Security 14, 10 (2019), 2607–2622. DOI:
[52]
Jie Hua, Haoxiang Yu, Sangsu Lee, Hamim Md. Adal, Colin Milhaupt, Gruia-Catalin Roman, and Christine Julien. 2022. CoPI: Enabling probabilistic conflict prediction in smart space through context-awareness. In 2022 IoTDI. IEEE, 30–42.
[53]
Bing Huang, Athman Bouguettaya, Hai Dong, and Liang Chen. 2016. Service mining for internet of things. In Service-Oriented Computing: 14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10–13, 2016, Proceedings 14. Springer, 566–574.
[54]
Bing Huang, Athman Bouguettaya, and Azadeh Ghari Neiat. 2018. Convenience-based periodic composition of IoT services. In International Conference on Service-Oriented Computing. Springer, 660–678. DOI:
[55]
Bing Huang, Athman Bouguettaya, and Azadeh Ghari Neiat. 2018. Discovering spatio-temporal relationships among IoT services. In 2018 IEEE International Conference on Web Services (ICWS). IEEE, 347–350.
[56]
B. Huang, H. Dong, and A. Bouguettaya. 2021. Conflict detection in IoT-based smart homes. In 2021 IEEE International Conference on Web Services (ICWS). IEEE Computer Society, Los Alamitos, CA, USA, 303–313. DOI:
[57]
Bing Huang, Boyu Zhang, Quan Z. Sheng, and Kwok-Yan Lam. 2022. A multi-task learning approach for predicting intentions using smart home IoT services. In International Conference on Service-Oriented Computing. Springer, 413–421.
[58]
Hamada Ibrhim, Hesham Hassan, and Emad Nabil. 2021. A conflicts’ classification for IoT-based services: A comparative survey. PeerJ Computer Science 7 (2021), e480. DOI:
[59]
Hamada Ibrhim, Sherif Khattab, Khaled Elsayed, Amr Badr, and Emad Nabil. 2020. A formal methods-based rule verification framework for end-user programming in campus building automation systems. Building and Environment 181 (2020), 106983. DOI:
[60]
Hiroshi Igaki and Masahide Nakamura. 2010. Modeling and detecting feature interactions among integrated services of home network systems. IEICE Transactions on Information and Systems 93, 4 (2010), 822–833. DOI:
[61]
Kamrul Islam, Weiming Shen, and Xianbin Wang. 2012. Security and privacy considerations for wireless sensor networks in smart home environments. In Proceedings of the 2012 CSCWD. IEEE, 626–633.
[62]
Yunhan Jack Jia, Qi Alfred Chen, Shiqi Wang, Amir Rahmati, Earlence Fernandes, Zhuoqing Morley Mao, and Atul Prakash. 2017. ContexloT: Towards providing contextual integrity to appified IoT platforms. In NDSS 2 (2017), 2–2.
[63]
Vesselin P. Jilkov, Jeffrey H. Ledet, and X. Rong Li. 2018. Multiple model method for aircraft conflict detection and resolution in intent and weather uncertainty. IEEE Trans. Aerospace Electron. Systems 55, 2 (2018), 1004–1020.
[64]
Asif Ali Laghari, Kaishan Wu, Rashid Ali Laghari, Mureed Ali, and Abdullah Ayub Khan. 2022. A review and state of art of internet of things (IoT). Archives of Computational Methods in Engineering 29, 3 (2022), 1395–1413. DOI:
[65]
Li Na Lee and Mi Jeong Kim. 2020. A critical review of smart residential environments for older adults with a focus on pleasurable experience. Frontiers in Psychology 10 (2020), 3080. DOI:
[66]
Ya-Hua Lee and Fuchun Joseph Lin. 2019. Situation awareness and conflict resolution in smart home with multiple users. In 2019 IEEE 5th World Forum on Internet of Things (WF-IoT). IEEE, 852–857.
[67]
Pattara Leelaprute, Takafumi Matsuo, Tatsuhiro Tsuchiya, and Tohru Kikuno. 2008. Detecting feature interactions in home appliance networks. In 2008 Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing. IEEE, 895–903. DOI:
[68]
Xinyi Li, Lei Zhang, and Xipeng Shen. 2020. DIAC: An inter-app conflicts detector for open IoT systems. ACM Transactions on Embedded Computing Systems (TECS) 19, 6 (2020), 1–25. DOI:
[69]
Jian Liang and Ruxu Du. 2005. Thermal comfort control based on neural network for HVAC application. In Proceedings of 2005 IEEE Conference on Control Applications, 2005. CCA 2005. IEEE, 819–824. DOI:
[70]
Tingting Liang, Liang Chen, Jian Wu, Hai Dong, and Athman Bouguettaya. 2016. Meta-path based service recommendation in heterogeneous information networks. In ICSOC 2016. Springer, 371–386.
[71]
Renju Liu, Ziqi Wang, Luis Garcia, and Mani Srivastava. 2019. RemedioT: Remedial actions for internet-of-things conflicts. In Proceedings of the 6th ACM International Conference on Systems for Energy-Efficient Buildings, Cities, and Transportation. 101–110. DOI:
[72]
Meiyi Ma, Sarah Masud Preum, and John A. Stankovic. 2017. CityGuard: A watchdog for safety-aware conflict detection in smart cities. In 2017 IEEE/ACM Second International Conference on Internet-of-Things Design and Implementation (IoTDI). 259–270.
[73]
M. Ma, S. Masud Preum, W. Tarneberg, M. Ahmed, M. Ruiters, and J. Stankovic. 2016. Detection of runtime conflicts among services in smart cities. In 2016 IEEE International Conference on Smart Computing (SMARTCOMP). 1–10. DOI:
[74]
Evan Magill and Jesse Blum. 2016. Exploring conflicts in rule-based sensor networks. Pervasive and Mobile Computing 27 (2016), 133–154. DOI:
[75]
Dinesh Babu Mariappan, Harshit Parihar, Mohit Kumar Gautham, and Deep Chandra Verma. 2020. Smart office area monitoring & control based on IoT. In 2020 2nd International Conference on Advances in Computing, Communication Control and Networking (ICACCCN). IEEE, 450–453.
[76]
Peter Marwedel. 2021. Specifications and Modeling. Springer International Publishing, Cham, 29–126. DOI:
[77]
Sven Meyer and Andry Rakotonirainy. 2003. A survey of research on context-aware homes. In Proceedings of the Australasian Information Security Workshop Conference on ACSW Frontiers 2003 - Volume 21 (ACSW Frontiers’03). Australian Computer Society, Inc., AUS, 159–168. DOI:
[78]
Fereshteh Jadidi Miandashti, Mohammad Izadi, Ali Asghar Nazari Shirehjini, and Shervin Shirmohammadi. 2020. An empirical approach to modeling user-system interaction conflicts in smart homes. IEEE Transactions on Human-Machine Systems 50, 6 (2020), 573–583.
[79]
Sajib Mistry, Athman Bouguettaya, Hai Dong, and Alex Kai Qin. 2016. Metaheuristic optimization for long-term IaaS service composition. IEEE Transactions on Services Computing 11, 1 (2016), 131–143.
[80]
Dragos Mocrii, Yuxiang Chen, and Petr Musilek. 2018. IoT-based smart homes: A review of system architecture, software, communications, privacy and security. Internet of Things 1 (2018), 81–98.
[81]
Azana Hafizah Mohd Aman, Elaheh Yadegaridehkordi, Zainab Senan Attarbashi, Rosilah Hassan, and Yong-Jin Park. 2020. A survey on trend and classification of internet of things reviews. IEEE Access 8 (2020), 111763–111782. DOI:
[82]
David Moher, Alessandro Liberati, Jennifer Tetzlaff, Douglas G. Altman, and PRISMA Group*. 2009. Preferred reporting items for systematic reviews and meta-analyses: The PRISMA statement. Annals of Internal Medicine 151, 4 (2009), 264–269.
[83]
Alberto Monge Roffarello. 2018. End user development in the IoT: A semantic approach. In 2018 14th International Conference on Intelligent Environments (IE). 107–110. DOI:
[84]
Vasudevan Nagendra, Arani Bhattacharya, Vinod Yegneswaran, Amir Rahmati, and Samir R. Das. 2019. VISCR: Intuitive and conflict-free automation for securing the dynamic consumer IoT infrastructures. arXiv preprint arXiv:1907.13288 (2019).
[85]
Masahide Nakamura, Hiroshi Igaki, and Ken-ichi Matsumoto. 2005. Feature interactions in integrated services of networked home appliances. In Proc. of Int’l. Conf. on Feature Interactions in Telecommunication Networks and Distributed Systems (ICFI’05). 236–251.
[86]
Masahide Nakamura, Kousuke Ikegami, and Shinsuke Matsumoto. 2013. Considering impacts and requirements for better understanding of environment interactions in home network services. Comput. Netw. 57, 12 (Aug. 2013), 2442–2453. DOI:
[87]
Masahide Nakamura, Akihiro Tanaka, Hiroshi Igaki, Haruaki Tamada, and Ken-ichi Matsumoto. 2008. Constructing home network systems and integrated services using legacy home appliances and web services. International Journal of Web Services Research (IJWSR) 5, 1 (2008), 82–98. DOI:
[88]
Jianbing Ni, Kuan Zhang, Xiaodong Lin, and Xuemin Shen. 2018. Securing fog computing for internet of things applications: Challenges and solutions. IEEE Communications Surveys & Tutorials 20, 1 (2018), 601–628. DOI:
[89]
C. L. Oguego, Juan Carlos Augusto, Mark Springett, Mario Quinde, and Carl James-Reynolds. 2021. Using argumentation to solve conflicting situations in users’ preferences in ambient assisted living. Applied Artificial Intelligence 35, 15 (2021), 2327–2369.
[90]
Matthew J. Page, Joanne E. McKenzie, Patrick M. Bossuyt, Isabelle Boutron, Tammy C. Hoffmann, Cynthia D. Mulrow, Larissa Shamseer, Jennifer M. Tetzlaff, Elie A. Akl, Sue E. Brennan, et al. 2021. The PRISMA 2020 statement: an updated guideline for reporting systematic reviews. International Journal of Surgery 88 (2021), 105906.
[91]
Charith Perera, Saeed Aghaee, and Alan Blackwell. 2015. Natural notation for the domestic internet of things. In International Symposium on End User Development. Springer, 25–41. DOI:
[92]
Charith Perera, Arkady Zaslavsky, Peter Christen, and Dimitrios Georgakopoulos. 2013. Context aware computing for the internet of things: A survey. IEEE Communications Surveys & Tutorials 16, 1 (2013), 414–454.
[93]
Thinagaran Perumal, Md. Nasir Sulaiman, Soumya Kanti Datta, Thinaharan Ramachandran, and Chui Yew Leong. 2016. Rule-based conflict resolution framework for internet of things device management in smart home environment. In 2016 IEEE 5th Global Conference on Consumer Electronics. IEEE, 1–2. DOI:
[94]
Pavana Pradeep and Krishna Kant. 2022. Conflict detection and resolution in IoT systems: A survey. IoT 3, 1 (2022), 191–218. DOI:
[95]
Pavana Pradeep, Amitangshu Pal, and Krishna Kant. 2021. Automating conflict detection and mitigation in large-scale IoT systems. In 2021 CCGrid. IEEE, 535–544. DOI:
[96]
Sarah Masud Preum, Abu Sayeed Mondol, Meiyi Ma, Hongning Wang, and John A. Stankovic. 2017. Preclude: Conflict detection in textual health advice. In 2017 IEEE International Conference on Pervasive Computing and Communications (PerCom). IEEE, 286–296.
[97]
Zishan Qin, Dipankar Chaki, Abdallah Lakhdari, Amani Abusafia, and Athman Bouguettaya. 2021. Occupancy estimation from thermal images. In International Conference on Service-Oriented Computing. Springer, 301–305.
[98]
Lara Quijano-Sánchez, Juan A. Recio-García, and Belén Díaz-Agudo. 2011. User satisfaction in long term group recommendations. In International Conference on Case-Based Reasoning. Springer, 211–225. DOI:
[99]
Parisa Rashidi and Diane J. Cook. 2013. COM: A method for mining and monitoring human activity patterns in home-based health monitoring systems. ACM Trans. Intell. Syst. Technol. 4, 4, Article 64 (Oct. 2013), 20 pages. DOI:
[100]
Parisa Rashidi, Diane J. Cook, Lawrence B. Holder, and Maureen Schmitter-Edgecombe. 2011. Discovering activities to recognize and track in a smart environment. IEEE Transactions on Knowledge and Data Engineering 23, 4 (2011), 527–539. DOI:
[101]
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 (2014), 699–715. DOI:
[102]
Jordi Serra, David Pubill, Angelos Antonopoulos, and Christos Verikoukis. 2014. Smart HVAC control in IoT: Energy consumption minimization with user comfort constraints. The Scientific World Journal 2014 (2014). DOI:
[103]
Mohamed Shehata, Armin Eberlein, and Abraham Fapojuwo. 2007. Using semi-formal methods for detecting interactions among smart homes policies. Science of Computer Programming 67, 2-3 (2007), 125–161. DOI:
[104]
Xipeng Shen, Lei Zhang, and Xinyi Li. 2017. A Systematic Examination of Inter-app Conflicts Detections in Open IoT Systems. Technical Report. North Carolina State University. Dept. of Computer Science.
[105]
Amit Kumar Sikder, Leonardo Babun, Z. Berkay Celik, Abbas Acar, Hidayet Aksu, Patrick McDaniel, Engin Kirda, and A. Selcuk Uluagac. 2020. Kratos: Multi-user multi-device-aware access control system for the smart home. In Proceedings of the 13th ACM Conference on Security and Privacy in Wireless and Mobile Networks. 1–12.
[106]
Prithvi Pal Singh, Praveen Kumar Khosla, and Mamta Mittal. 2019. Energy conservation in IoT-based smart home and its automation. Energy Conservation for IoT Devices (2019), 155–177. DOI:
[107]
Clay Stevens, Mohannad Alhanahnah, Qiben Yan, and Hamid Bagheri. 2020. Comparing formal models of IoT app coordination analysis. In Proceedings of the 3rd ACM SIGSOFT International Workshop on Software Security from Design to Deployment. 3–10.
[108]
Yolande Strengers, Mike Hazas, Larissa Nicholls, Jesper Kjeldskov, and Mikael B. Skov. 2020. Pursuing pleasance: Interrogating energy-intensive visions for the smart home. International Journal of Human-Computer Studies 136 (2020), 102379.
[109]
Yan Sun, Xukai Wang, Hong Luo, and Xiangyang Li. 2014. Conflict detection scheme based on formal rule model for smart building systems. IEEE Transactions on Human-Machine Systems 45, 2 (2014), 215–227. DOI:
[110]
Thanchanok Sutjarittham, Hassan Habibi Gharakheili, Salil S. Kanhere, and Vijay Sivaraman. 2019. Experiences with IoT and AI in a smart campus for optimizing classroom usage. IEEE Internet of Things Journal 6, 5 (2019), 7595–7607.
[111]
Jun Tang. 2019. Conflict detection and resolution for civil aviation: A literature survey. IEEE Aerospace and Electronic Systems Magazine 34, 10 (2019), 20–35.
[112]
Rahmadi Trimananda, Seyed Amir Hossein Aqajari, Jason Chuang, Brian Demsky, Guoqing Harry Xu, and Shan Lu. 2020. Understanding and automatically detecting conflicting interactions between smart home IoT applications. In Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 1215–1227. DOI:
[113]
Sylvie Trouilhet, Jean-Paul Arcangeli, Jean-Michel Bruel, and Maroun Koussaifi. 2021. Model-driven engineering for end-users in the loop in smart ambient systems. Journal of Universal Computer Science 27, 7 (2021), 755–773. DOI:
[114]
Verena Tuttlies, Gregor Schiele, and Christian Becker. 2007. Comity-conflict avoidance in pervasive computing environments. In OTM Confederated International Conferences “On the Move to Meaningful Internet Systems”. Springer, 763–772. DOI:
[115]
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). Association for Computing Machinery, New York, NY, USA, 803–812. DOI:
[116]
Hongbing Wang, Shizhi Shao, Xuan Zhou, Cheng Wan, and Athman Bouguettaya. 2009. Web service selection with incomplete or inconsistent user preferences. In Service-Oriented Computing: 7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009. Proceedings 2. Springer, 83–98.
[117]
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. 1439–1453. DOI:
[118]
Qi Wang, Wajih Ul Hassan, Adam Bates, and Carl Gunter. 2018. Fear and logging in the internet of things. In Network and Distributed Systems Symposium.
[119]
Ruiqin Wang, Yunliang Jiang, and Jungang Lou. 2021. Attention-based dynamic user preference modeling and nonlinear feature interaction learning for collaborative filtering recommendation. Applied Soft Computing 110 (2021), 107652. DOI:
[120]
W. M. Wang and S. L. Ting. 2011. Development of a computational simulation model for conflict management in team building. IJEBM 3 (2011), 14. DOI:
[121]
Andrew Whitmore, Anurag Agarwal, and Li Da Xu. 2015. The internet of things - A survey of topics and trends. Information Systems Frontiers 17, 2 (2015), 261–274. DOI:
[122]
Qihui Wu, Guoru Ding, Yuhua Xu, Shuo Feng, Zhiyong Du, Jinlong Wang, and Keping Long. 2014. Cognitive internet of things: A new paradigm beyond connection. IEEE Internet of Things Journal 1, 2 (2014), 129–143. DOI:
[123]
Ding Xiao, Qianyu Wang, Ming Cai, Zhaohui Zhu, and Weiming Zhao. 2020. A3ID: An automatic and interpretable implicit interference detection method for smart home via knowledge graph. IEEE Internet of Things Journal 7, 3 (2020), 2197–2211. DOI:
[124]
Miki Yagita, Fuyuki Ishikawa, and Shinichi Honiden. 2015. An application conflict detection and resolution system for smart homes. In 2015 IEEE/ACM 1st International Workshop on Software Engineering for Smart Cyber-physical Systems. IEEE, 33–39.
[125]
Lina Yao, Boualem Benatallah, Xianzhi Wang, Nguyen Khoi Tran, and Qinghua Lu. 2016. Context as a service: Realizing internet of things-aware processes for the independent living of the elderly. In ICSOC 2016. Springer, 763–779. DOI:
[126]
Yinbo Yu and Jiajia Liu. 2021. TAPInspector: Safety and liveness verification of concurrent trigger-action IoT systems. arXiv preprint arXiv:2102.01468 (2021).
[127]
Victor Zamudio and Victor Callaghan. 2009. Understanding and avoiding interaction-based instability in pervasive computing environments. International Journal of Pervasive Computing and Communications 5, 2 (2009), 163–186.
[128]
Kamal Aldein Mohammed Zeinab and Sayed Ali Ahmed Elmustafa. 2017. Internet of things applications, challenges and related future technologies. World Scientific News 67, 2 (2017), 126–148.
[129]
Valerie Zhao, Lefan Zhang, Bo Wang, Shan Lu, and Blase Ur. 2020. Visualizing differences to improve end-user understanding of trigger-action programs(CHI EA’20). Association for Computing Machinery, New York, NY, USA, 1–10. DOI:
Index Terms
- A Survey on Conflict Detection in IoT-based Smart Homes
Recommendations
IoT Smart Homes based on RFID Technology: Localization Systems Review
ICEMIS '18: Proceedings of the Fourth International Conference on Engineering & MIS 2018Internet of Things (IoT) become one of the buzzwords in the Information Technology. It an ecosystem of technologies monitoring the status of physical objects, capturing significant data, and communicating that information to software applications ...
Lazy Versus Eager Conflict Detection in Software Transactional Memory: A Real-Time Schedulability Perspective
Transactional memory is a mechanism of controlling access to shared resources in concurrent programs. Though originally implemented in hardware, software implementations of transactional memory are now available as library extensions in all major ...
Enablement of IoT Based Context-Aware Smart Home with Fog Computing
The recent advent of Internet of Things IoT, has given rise to a plethora of smart verticals-smart homes being one of them. Smart Home is a classic example of IoT, wherein smart appliances connected via home gateways constitute a local home network to ...
Comments
Information & Contributors
Information
Published In
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: 27 November 2023
Online AM: 23 October 2023
Accepted: 26 September 2023
Revised: 20 September 2023
Received: 27 September 2022
Published in CSUR Volume 56, Issue 5
Check for updates
Author Tags
Qualifiers
- Survey
Funding Sources
- Australian Research Council and supported by the Cyber Security Agency of Singapore (CSA)
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 691Total Downloads
- Downloads (Last 12 months)691
- Downloads (Last 6 weeks)33
Reflects downloads up to 12 Sep 2024
Other Metrics
Citations
Cited By
View all- Song ZChaki DLakhdari ABouguettaya A(2023)Positional Encoding-based Resident Identification in Multi-resident Smart HomesACM Transactions on Internet Technology10.1145/363135324:1(1-27)Online publication date: 22-Dec-2023
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in