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.
|
Year | DOI | Venue |
---|---|---|
2019 | 10.1145/3316482.3326350 | Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems |
Keywords | Field | DocType |
Compiler, Conflicts Detection, IOT | Graph,Computer science,Internet of Things,Parallel computing,Computer network | Conference |
ISBN | Citations | PageRank |
978-1-4503-6724-0 | 0 | 0.34 |
References | Authors | |
0 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Xinyi Li | 1 | 6 | 3.24 |
lei zhang | 2 | 403 | 143.70 |
Xipeng Shen | 3 | 2025 | 118.55 |