RemedioT: Remedial Actions for Internet-of-Things Conflicts
RemedioT: Remedial Actions for Internet-of-Things Conflicts
复制标题
DOI：
10.1145/3360322.3360837
复制
发表时间：
2019-11
期刊：
影响因子：
--
通讯作者：
Renju Liu;Ziqi Wang;Luis Garcia;M. Srivastava
中科院分区：
文献类型：
--
作者：
Renju Liu;Ziqi Wang;Luis Garcia;M. Srivastava
使用物联网设备的日益复杂性和普遍性加剧了智能家居、智能建筑和智能城市等智能环境中现有的编程挑战。最近的工作主要集中在检测物联网应用程序的安全性和实用性的冲突，但他们通常不强调任何冲突解决方法，而只是向应用程序用户报告冲突并阻止冲突行为。我们提出了RemedIoT，一个解决物联网冲突的补救措施1框架。RemedIoT框架使用现有技术来检测在给定的分布式IoT应用集合中是否存在关于策略集合的冲突，即，定义设备的允许和受限状态空间转换的规则。对于每个识别出的冲突，RemedIoT将通过利用RemedIoT的编程抽象向用户建议一组补救措施。这些编程抽象实现了IoT模块的不同实现，同时安全地提供相同级别的实用性，例如，如果用于实现冷却模块的空调应用与需要在家中通风的CO2监控应用冲突，则将向用户建议不冲突的智能风扇应用。我们在三星SmartThings应用程序和IFTTT小程序上评估了RemedIoT，并显示对于74个样本应用程序中的102个检测到的冲突，RemedIoT能够修复环境中发现的约80%的冲突，这些冲突通常会被以前的解决方案阻止。我们进一步证明了我们的方法在智慧城市环境中的有效性和可扩展性。
The increasing complexity and ubiquity of using IoT devices exacerbate the existing programming challenges in smart environments such as smart homes, smart buildings, and smart cities. Recent works have focused on detecting conflicts for the safety and utility of IoT applications, but they usually do not emphasize any means for conflict resolution other than just reporting the conflict to the application user and blocking the conflicting behavior. We propose RemedIoT, a remedial action 1 framework for resolving Internet-of-Things conflicts. The RemedIoT framework uses state of the art techniques to detect if a conflict exists in a given set of distributed IoT applications with respect to a set of policies, i.e., rules that define the allowable and restricted state-space transitions of devices. For each identified conflict, RemedIoT will suggest a set of remedial actions to the user by leveraging RemedIoT's programming abstractions. These programming abstractions enable different realizations of an IoT module while safely providing the same level of utility, e.g., if an air-conditioner application that is used to implement a cooling module conflicts with a CO2 monitor application that requires ventilation at home, a non-conflicting smart fan application will be suggested to the user. We evaluate RemedIoT on Samsung SmartThings applications and IFTTT applets and show that for 102 detected conflicts across 74 sample applications with 11 policies, RemedIoT is able to remediate ~ 80% of the conflicts found in the environment, which would normally be blocked by prior solutions. We further demonstrate the efficacy and scalability of our approach for smart city environments.