摘要:智能家居赋予家庭设备以智能，受到用户的广泛欢迎.由于用户需求不同，服务提供商采用“触发-动作”编程（TAP）模式以支持用户定制规则.然而，现在TAP编程和智能家居执行引擎中流行的Event-State时序范式极易出错，且难以修改规则和追踪运行错误.对TAP缺陷的原因进行系统分析之后，提出一种编写和修改难度较低、且能够检测规则运行异常的方案，记为SSRules.SSRules允许用户以一种改进的State-State时序范式输入规则，并基于Z3定理证明器将其翻译为Event-State时序范式，且为开源智能家居系统Home Assistant所接受的规则输入.考虑到智能家居需要实时掌握设备的动态，SSRules引入了运行时子系统获取实体状态信息，并对规则执行有效性检查.最后，基于Unity3D开发了智能家居模拟器HA-Simulator.测试结果表明：SSRules与传统方法相比表达简洁，规则数目平均减少60%左右，且能够及时检测瞬时异常并记录原因，更易被用户理解和使用.



Abstract:Smart home systems make home devices smart and are widely welcomed by users. Due to different user needs, service providers use “trigger-action” programming (TAP) mode to support user-tailored rules. However, the Event-State paradigm, which is now popular in TAP programming and smart home rule engines, is highly error-prone, and the modification of the rules and the tracking of errors are difficult. After systematic analysis of the causes of TAP defects, a scheme with low difficulty in writing and modification and being able to detect abnormal rule operation is proposed, denoted as SSRules. SSRules allows users to enter rules written in improved State-State paradigm, and SSRules can translate them into rules written in Event-State paradigm and acceptable by the open-source smart home system Home Assistant based on the Z3 Theorem Prover. Considering that smart homes need to master the dynamics of the device in real-time, SSRules introduces a runtime subsystem to obtain state information and perform rule execution validity checks. Finally, a smart home simulator HA-Simulator is developed in Unity3D. Tests on it show that SSRules is more concise than traditional methods, the number of rules is reduced by around 60% on average. It can detect transient anomalies promptly and record the cause, which is easier for users to understand and use.



PDF全文下载地址:

http://jos.org.cn/jos/article/pdf/6098