More Web Proxy on the site http://driver.im/

research-article

IA-graph based inter-app conflicts detection in open IoT systems

Authors:

Xipeng ShenAuthors Info & Claims

LCTES 2019: Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems

Pages 135 - 147

https://doi.org/10.1145/3316482.3326350

Published: 23 June 2019 Publication History

Abstract

This paper tackles the problem of detecting potential conflicts among independently developed apps that are to be installed into an open Internet of Things (IoT) environment. It provides a new set of definitions and categorizations of the conflicts to more precisely characterize the nature of the problem, and employs a graph representation (named IA Graph) for formally representing IoT controls and inter-app interplays. It provides an efficient conflicts detection algorithm implemented on a SmartThings compiler and shows significantly improved efficacy over prior solutions.

References

[1]

Pavol Bielik, Veselin Raychev, and Martin Vechev. 2015. Scalable race detection for android applications. In ACM SIGPLAN Notices, Vol. 50. ACM, 332–348.

Digital Library

[2]

N. Cardozo, S. González, K. Mens, R. Van Der Straeten, and T. DHondt. 2013. Modeling and Analyzing Self-Adaptive Systems with Context Petri Nets. In Proceedings of International Symposium on Theoretical Aspects of Software Engineering.

Digital Library

[3]

Jason Croft, Ratul Mahajan, Matthew Caesar, and Madan Musuvathi. 2015. Systematically Exploring the Behavior of Control Programs. In Proceedings of the 2015 USENIX Conference on Usenix Annual Technical Conference (USENIX ATC ’15). USENIX Association, Berkeley, CA, USA, 165–176. http://dl.acm.org/citation.cfm?id=2813767.2813780

Digital Library

[4]

Robert I Davis and Alan Burns. 2011. A survey of hard real-time scheduling for multiprocessor systems. ACM Computing Surveys (CSUR) 43, 4 (2011), 35.

Digital Library

[5]

C. Dixon, R. Mahajan, S. Agarwal, A.J. Brush, B. Lee, S. Saroiu, and P. Bahl. 2012. An Operating System for the Home. In the USENIX Symposium on Networked Systems Design and Implementation (NSDI 12).

Digital Library

[6]

Gartner, Inc. 2017. The world’s leading information technology research and advisory company. (2017). h ttps://www.gartner.com/technology/home.jsp.

[7]

Groovy 2017. Groovy Programming Language. (2017). h ttp://www.groovy-lang.org.

[8]

C.H. Hsiao, J. Yu, S. Narayanasamy, Z Kong, C.L. Pereira, G. A. Pokam, P. M. Chen, and Jason Flinn. 2014. Race Detection for Event-Driven Mobile Systems. In International Conference on Programming Language Design and Implementation (PLDI).

Digital Library

[9]

IFTTT 2017. IFTTT website. (2017). http://ifttt.com.

[10]

Ahmed Khurshid, Xuan Zou, Wenxuan Zhou, Matthew Caesar, and P Brighten Godfrey. 2013. Veriflow: verifying network-wide invariants in real time. In Presented as part of the 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI 13). 15–27.

[11]

Chieh-Jan Mike Liang, Lei Bu, Zhao Li, Junbei Zhang, Shi Han, Börje F. Karlsson, Dongmei Zhang, and Feng Zhao. 2016. Systematically Debugging IoT Control System Correctness for Building Automation. In Proceedings of the 3rd ACM International Conference on Systems for Energy-Efficient Built Environments (BuildSys’16). ACM, New York, NY, USA, 133–142.

Digital Library

[12]

Chieh-Jan Mike Liang, Börje F. Karlsson, Nicholas D. Lane, Feng Zhao, Junbei Zhang, Zheyi Pan, Zhao Li, and Yong Yu. 2015. SIFT: Building an Internet of Safe Things. In Proceedings of the 14th International Conference on Information Processing in Sensor Networks (IPSN ’15). ACM, New York, NY, USA, 298–309.

Digital Library

[13]

Sirajum Munir and John A. Stankovic. 2014. DepSys: Dependency Aware Integration of Cyber-Physical Systems for Smart Homes. In ICCPS ’14: ACM/IEEE 5th International Conference on Cyber-Physical Systems (with CPS Week 2014) (ICCPS ’14). IEEE Computer Society, Washington, DC, USA, 127–138.

Digital Library

[14]

J. Newcomb, S. Chandra, J. Jeannin, C. Schlesinger, and M. Sridharan. 2017. IOTA: A Calculus for Internet of Things Automation. In Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward! 2017). ACM, New York, NY, USA, 119–133.

Digital Library

[15]

J.P. Quielle and J. Sifakis. 1981. Specification and verification of concurrent systems in CESAR. In Proc. 5th International Symposium on Programming.

[16]

Wolfgang Reisig. 1985. Petri nets: an introduction, volume 4 of EATCS monographs on theoretical computer science. (1985).

Digital Library

[17]

SmartApp 2017. SmartApp Repository. (2017). h ttps://github.com/SmartThingsCommunity/SmartThingsPublic.

[18]

SmartThings 2017. SmartThings by Samsung. (2017). h ttp://www.smartthings.com.

[19]

VisionMobile 2017. A leading analyst firm in the developer economy. (2017). https://www.visionmobile.com.

[20]

Z3 2017. Z3 Theorem Prover by Microsoft Research. (2017). h ttps://z3.codeplex.com.

Cited By

Trimananda RLuo WDemsky BXu G(2022)Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not TerminateVerification, Model Checking, and Abstract Interpretation10.1007/978-3-030-94583-1_20(400-424)Online publication date: 14-Jan-2022
https://doi.org/10.1007/978-3-030-94583-1_20
Li XZhang LShen X(2020)DIACACM Transactions on Embedded Computing Systems10.1145/339189519:6(1-25)Online publication date: 3-Oct-2020
https://dl.acm.org/doi/10.1145/3391895
Trimananda RAqajari SChuang JDemsky BXu GLu SDevanbu PCohen MZimmermann T(2020)Understanding and automatically detecting conflicting interactions between smart home IoT applicationsProceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering10.1145/3368089.3409682(1215-1227)Online publication date: 8-Nov-2020
https://dl.acm.org/doi/10.1145/3368089.3409682

Index Terms

IA-graph based inter-app conflicts detection in open IoT systems
1. Computer systems organization
  1. Embedded and cyber-physical systems
    1. Embedded systems
2. Software and its engineering
  1. Software notations and tools
    1. Compilers

Recommendations

DIAC: An Inter-app Conflicts Detector for Open IoT Systems
Special Issue on LCETES, Part 2, Learning, Distributed, and Optimizing Compilers

This article tackles the problem of detecting and solving potential conflicts among independently developed apps that are to be installed into an open Internet-of-Things (IoT) environment. It provides a new set of definitions and categorizations of the ...
Reconciling transactional conflicts with compiler's help
CGO '12: Proceedings of the Tenth International Symposium on Code Generation and Optimization

Software transactional memory(STM) is a promising programming paradigm for shared memory multithreaded programs. While STM offers the promise of being less error-prone and more programmer friendly compared to traditional lock-based synchronization, it ...
Towards designing open and secure IoT systems: insights for practitioners
IOT '18: Proceedings of the 8th International Conference on the Internet of Things

Fast growth in a number of connected devices, heterogeneity, constrained resources, privacy, software upgrades and operational environment create important security related challenges in Internet of Things (IoT) domain. In this research, a literature ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

LCTES 2019: Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems

June 2019

218 pages

ISBN:9781450367240

DOI:10.1145/3316482

General Chair:
Jian-Jia Chen
TU Dortmund, Germany
,
Program Chair:
Aviral Shrivastava
Arizona State University, USA

Copyright © 2019 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 ACM 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]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 23 June 2019

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

LCTES '19

Sponsor:

LCTES '19: 20th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems

June 23, 2019

AZ, Phoenix, USA

Acceptance Rates

Overall Acceptance Rate 116 of 438 submissions, 26%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
116
Total Downloads

Downloads (Last 12 months)5
Downloads (Last 6 weeks)1

Reflects downloads up to 11 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Trimananda RLuo WDemsky BXu G(2022)Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not TerminateVerification, Model Checking, and Abstract Interpretation10.1007/978-3-030-94583-1_20(400-424)Online publication date: 14-Jan-2022
https://doi.org/10.1007/978-3-030-94583-1_20
Li XZhang LShen X(2020)DIACACM Transactions on Embedded Computing Systems10.1145/339189519:6(1-25)Online publication date: 3-Oct-2020
https://dl.acm.org/doi/10.1145/3391895
Trimananda RAqajari SChuang JDemsky BXu GLu SDevanbu PCohen MZimmermann T(2020)Understanding and automatically detecting conflicting interactions between smart home IoT applicationsProceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering10.1145/3368089.3409682(1215-1227)Online publication date: 8-Nov-2020
https://dl.acm.org/doi/10.1145/3368089.3409682

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 Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents