[论文解读] Toward user-centric feature composition for the Internet of Things

Pamela Zave, Eric Cheung+1 more|arXiv (Cornell University)|Oct 22, 2015

Context-Aware Activity Recognition Systems参考文献 25被引用 9

一句话总结

本文提出了一种面向物联网（IoT）的以用户为中心的运行时特性组合机制，通过基于优先级的冲突解决方法解决特性冲突，实现在智能家居环境中直观、易懂且灵活的自动化。该方法在确保期望系统行为的同时，通过形式化语义和用户研究验证，简化了特性规范并提升了用户理解。

ABSTRACT

Many user studies of home automation, as the most familiar representative of the Internet of Things, have shown the difficulty of developing technology that users understand and like. It helps to state requirements as largely-independent features, but features are not truly independent, so this incurs the cost of managing and explaining feature interactions. We propose to compose features at runtime, resolving their interactions by means of priority. Although the basic idea is simple, its details must be designed to make users comfortable by balancing manual and automatic control. On the technical side, its details must be designed to allow meaningful separation of features and maximum generality. As evidence that our composition mechanism achieves its goals, we present three substantive examples of home automation, and the results of a user study to investigate comprehension of feature interactions. A survey of related work shows that this proposal occupies a sensible place in a design space whose dimensions include actuator type, detection versus resolution strategies, and modularity.

研究动机与目标

• 解决物联网系统中特性冲突的问题，该问题会损害用户在智能家居环境中的信任感与理解力。
• 设计一种系统，平衡自动控制与手动控制，确保用户在享受自动化优势的同时仍感到掌控感。
• 通过结构化组合实现简单、模块化的特性规范，提高其鲁棒性并减少错误。
• 确保特性冲突对用户而言是可理解的，而不仅仅是技术上的解决。
• 提供一种通用且形式化定义的机制，适用于实时控制系统中多种执行器。

提出的方法

• 定义一种特性组合机制，通过基于优先级的重叠执行器控制解决方法，在运行时解决冲突。
• 将系统结构化为：特性独立指定与实现，由中央协调器管理执行器访问。
• 使用形式化建模，保证组合逻辑具有可预测且直接明了的语义。
• 支持自动与手动控制模式，允许用户直接覆盖或启动操作。
• 设计该机制以适用于不同类型的执行器（如照明、门锁、恒温器）并具备通用性与可扩展性。
• 集成用户反馈机制，如显示面板上的状态信息，以在运行时解释交互行为。

实验结果

研究问题

• RQ1 基于优先级的运行时组合机制能否在智能家居场景中产生用户认为直观且可取的系统行为？
• RQ2 当通过优先级自动解决冲突时，用户对特性交互的理解程度如何，相较于复杂的配置方式？
• RQ3 简单、模块化的特性规范在存在交互的情况下，对系统行为的鲁棒性与正确性有何影响？
• RQ4 静态分析与形式化验证能否补充运行时组合，以检测潜在冲突或确保系统属性（如最终静止）？
• RQ5 是否存在一种心智模型或组织结构，用于组织特性、协调器与执行器，从而在多样化交互场景中简化用户理解？

主要发现

• 所提出的特性组合机制通过明确定义的语义实现可预测且形式化指定的行为，确保了运行时交互解决的正确性。
• 三个真实场景示例——照明、门锁与恒温器——表明，该机制在不同执行器类型下仍能保持特性规范的简洁性与表达力。
• 一项小型用户研究显示，系统行为完全符合用户期望，表明与用户预期高度一致。
• 研究还显示，在解释特性交互方面取得部分成功，表明用户虽能理解行为，但解释机制仍有待进一步优化。
• 该机制支持手动与自动控制之间的平衡，这对用户信任感与在家庭自动化中感知的控制力至关重要。
• 该方法与现有物联网平台（如Spitfire、Perla与HomeOS）兼容，支持直接集成与部署。