IA-Graph Based Inter-App Conflicts Detection in Open IoT Systems
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.
Sun 23 JunDisplayed time zone: Tijuana, Baja California change
14:45 - 15:30
|Automating the Generation of Hardware Component Knowledge Bases|
|IA-Graph Based Inter-App Conflicts Detection in Open IoT Systems|
|ApproxSymate: Path Sensitive Program Approximation using Symbolic Execution|