paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Understanding and automatically detecting conflicting interactions between smart home IoT applications

理解并自动检测智能家居 IoT 应用之间的冲突交互
FSE Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2020匹配度 2/10 · 论文关注智能家居 IoT 应用间的交互冲突检测,虽涉及程序分析与抽象解释,但与用户核心方向(PL 与 AI/LLM/Agent 的交叉、浮点程序分析、贝叶斯程序分析)没有直接关联。引用 46 inbox
Rahmadi Trimananda, Seyed Amir Hossein Aqajari, Jason Chuang, Brian Demsky, Guoqing Harry Xu, Shan Lu
crossref: 2026-09-12

AI 速览

一句话:研究智能家居多应用交互冲突,并自动检测危险动作。

论文关注智能家居环境中多个 IoT 应用协同工作时产生的交互冲突。由于单个应用功能有限,用户常需安装多个应用,不同应用可能彼此冲突,导致火灾时锁门等非预期动作。工作旨在理解此类冲突的成因与形态,并实现自动检测,以在部署或运行前发现危险交互。摘要未给出具体检测技术与实验数据,但标题与摘要表明其贡献在于对冲突交互的系统化理解及自动检测方案。

问题
多个功能有限的智能家居应用需协同工作,但应用间可能产生冲突,引发如火灾时锁门等危险或非预期动作。
方法
论文提出理解和自动检测智能家居 IoT 应用之间冲突交互的方法,以发现多应用部署中的危险交互。
评估
摘要未提供具体评估细节;根据标题与摘要,工作应围绕冲突检测的有效性展开,但摘要未报告实验数据或指标。
原文摘要(Abstract)

Smart home devices provide the convenience of remotely control-ling and automating home appliances. The most advanced smart home environments allow developers to write apps to make smart home devices work together to accomplish tasks, e.g., home security and energy conservation. A smart home app typically implements narrow functionality and thus to fully implement desired functionality homeowners may need to install multiple apps. These different apps can conflict with each other and these conflicts can result in undesired actions such as locking the door during a fire.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@inproceedings{paperbot5778,
  title = {Understanding and automatically detecting conflicting interactions between smart home IoT applications},
  author = {Rahmadi Trimananda and Seyed Amir Hossein Aqajari and Jason Chuang and Brian Demsky and Guoqing Harry Xu and Shan Lu},
  booktitle = {FSE},
  year = {2020},
  doi = {10.1145/3368089.3409682}
}