[論文レビュー] 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

ひとこと要約

本稿は、スマートホームにおける直感的で理解しやすく、かつ柔軟な自動化を可能にする、ユーザー中心の実行時機能構成メカニズムを提案する。このアプローチは、優先度に基づく衝突解決を通じて機能干渉を解消し、望ましいシステム動作を保証するとともに、形式的意味論とユーザースタディーの検証により、機能仕様の簡素化とユーザー理解の向上を実現する。

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.

研究の動機と目的

• スマートホーム環境におけるユーザー信頼および理解の低下を引き起こす、IoTシステムにおける機能干渉の課題に対処すること。
• ユーザーが制御感を保ちつつ自動化の利点を享受できるように、自動制御と手動制御のバランスを取ったシステムを設計すること。
• 構造的な組み合わせを通じて、堅牢でエラーが起きにくいシンプルでモジュラーな機能仕様を可能にすること。
• 機能干渉が技術的に解決されるだけでなく、ユーザーにとって理解可能であることを保証すること。
• リアルタイム制御システムにおける多様なアクチュエータに適用可能な一般化された、形式的に定義されたメカニズムを提供すること。

提案手法

• 重複するアクチュエータ制御を優先度に基づいて解決する実行時における機能構成メカニズムを定義する。
• 機能を独立して仕様・実装できるようにシステムを構造化し、中央のコーディネータがアクチュエータへのアクセスを管理する。
• 形式的モデリングを用いて、構成論理の予測可能で直感的な意味論を保証する。
• 自動制御モードと手動制御モードの両方をサポートし、ユーザーが直接操作を上書きまたは開始できるようにする。
• 照明、ドアロック、温度制御などの異なるアクチュエータタイプに一般化・拡張可能に設計する。
• 実行時における相互作用を説明するために、ディスプレイパネルへのステータスメッセージなどのユーザーフィードバックメカニズムを統合する。

実験結果

リサーチクエスチョン

• RQ1 優先度に基づく実行時構成メカニズムは、スマートホームのシナリオにおいて、ユーザーが直感的で望ましいと感じるシステム動作を生み出せるか。
• RQ2 複雑な設定ではなく、優先度による自動的解決がなされた場合、ユーザーはどの程度機能干渉を理解できるか。
• RQ3 シンプルでモジュラーな機能仕様は、干渉が生じる状況下でも、システム動作の堅牢性および正しさにどのように影響するか。
• RQ4 静的解析および形式的検証は、実行時構成と併用することで、潜在的な衝突の検出や、最終的静止状態などのシステム特性の保証に寄与できるか。
• RQ5 機能、コーディネータ、アクチュエータの間のメンタルモデルや組織的構造は、多様な相互作用シナリオにおいてユーザー理解を簡素化できるか。

主な発見

• 提案された機能構成メカニズムは、明確に定義された意味論により、実行時における相互作用解決の正しさを保証する予測可能で形式的に定義された動作を達成する。
• 照明、ドアロック、温度制御の3つの実世界の事例から、多様なアクチュエータタイプにわたり、機能仕様がシンプルかつ表現力豊かであることが示された。
• 小規模なユーザースタディーでは、ユーザーが望む動作を完全に達成したことが確認され、ユーザー期待との強い整合性が示された。
• スタディでは、機能干渉の説明について部分的な成功が得られたが、ユーザーは動作を理解できたものの、説明メカニズムの洗練化がさらに必要であることが示唆された。
• 本メカニズムは、手動制御と自動制御のバランスを取ることができ、ホームオートメーションにおけるユーザー信頼および制御感の維持に不可欠である。
• 本アプローチは、Spitfire、Perla、HomeOS といった既存のIoTプラットフォームと互換性があり、容易な統合とデプロイメントが可能である。