AutoIoT：基于大语言模型的自动化物联网平台
密码学与安全
2024-11-19 v1
摘要
物联网平台，特别是提供显著生活便利的智能家居平台（如 Apple HomeKit 和 Samsung SmartThings），允许用户通过触发-动作编程创建自动化规则。然而，部分用户可能缺乏制定自动化规则所需知识，从而无法充分享受智能家居技术带来的便利。为此，智能家居平台基于用户注册的智能家居设备提供预定义自动化策略。然而，这些策略因预先生成且相对简单，无法充分覆盖用户的多样化需求。此外，自动化规则之间可能产生冲突，将冲突检测集成到物联网平台会增加开发者负担。本文提出 AutoIoT，一种基于大语言模型（LLM）和形式化验证技术的自动化物联网平台，旨在通过设备信息提取、基于 LLM 的规则生成、冲突检测与规避实现端到端自动化。AutoIoT 可帮助用户生成无冲突自动化规则，协助开发者生成冲突检测代码，从而提升体验。设计了代码适配器以将逻辑推理与代码生成的语法细节分离，使 LLM 能生成其训练数据之外编程语言的代码。最后，我们评估了 AutoIoT 性能，并展示了案例研究，演示 AutoIoT 如何与现有物联网平台集成。
引用
@article{arxiv.2411.10665,
title = {AutoIoT: Automated IoT Platform Using Large Language Models},
author = {Ye Cheng and Minghui Xu and Yue Zhang and Kun Li and Ruoxi Wang and Lian Yang},
journal= {arXiv preprint arXiv:2411.10665},
year = {2024}
}
备注
12 pages, 10 figures, 6 tables