[論文レビュー] Modeling Cyber-Physical Systems: Model-Driven Specification of Energy Efficient Buildings

Thomas Kurpick, Markus Look+2 more|arXiv (Cornell University)|Sep 1, 2014

Model-Driven Software Engineering Techniques参考文献 7被引用数 4

ひとこと要約

本論文では、ドメイン固有言語（DSL）とOCLに類似した制約を用いて、サイバーフィジカルシステムをモデル化する、モデル駆動のアプローチを提示している。建物のシステムと技術的施設を検証可能なルールで形式化することで、ドメイン専門家は監視データに対するモデルベース検証によりエネルギー非効率性を特定でき、正確性が向上し、人的な専門家分析への依存が低減される。

ABSTRACT

A lot of current buildings are operated energy inefficient and offer a great potential to reduce the overall energy consumption and CO2 emission. Detecting these inefficiencies is a complicated task and needs domain experts that are able to identify them. Most approaches try to support detection by focussing on monitoring the building's operation and visualizing data. Instead our approach focuses on using techniques taken from the cyber-physical systems' modeling domain. We create a model of the building and show how we constrain the model by OCL-like rules to support a sound specification which can be matched against monitoring results afterwards. The paper presents our domain-specific language for modeling buildings and technical facilities that is implemented in a software-based tool used by domain experts and thus hopefully providing a suitable contribution to modeling the cyber-physical world.

研究の動機と目的

• 既存建物におけるエネルギー非効率性の課題に、体系的なモデリングによって対処すること。
• 建物のシステムを機械検査可能な仕様で形式化することで、人的な専門家分析への依存を低減すること。
• ドメイン専門家が物理的および技術的建物システムをモデリングできる、ドメイン固有言語に基づくソフトウェアツールを提供すること。
• 制約を含む形式化されたモデルと監視データを照合することで、エネルギー非効率性を検出できること。
• サイバーフィジカルシステムモデリングと現実世界の建物エネルギー最適化の間のギャップを埋めること。

提案手法

• 著者は、HVACや照明システムを含む建物およびその技術的施設をモデリングするためのドメイン固有言語（DSL）を考案した。
• DSLは、ドメイン専門家がシステムモデルを構築できるソフトウェアツールとして実装された。
• エネルギー効率要件および運用行動を形式的に指定するために、OCLに類似したルールを用いた制約が定義された。
• モデルは実際の監視データに対して検証され、非効率性を示す兆候となる乖離を検出する。
• モデル駆動開発の原則を統合することで、建物システム仕様の整合性と正しさを保証する。
• この手法により、実際の建物運用と意図された設計動作との間の適合性を自動的に検証できる。

実験結果

リサーチクエスチョン

• RQ1 サイバーフィジカルシステムモデリング技術は、既存建物におけるエネルギー効率の向上にどのように適合できるか？
• RQ2 形式的検証を支援するように設計された、建物およびその技術的システムをモデリングするのに適したドメイン固有言語とは何か？
• RQ3 OCLに類似した制約は、建物モデルにおけるエネルギー効率要件をどのように形式的に指定できるか？
• RQ4 モデルベース検証は、従来の監視および可視化アプローチに比べて、エネルギー非効率性をより効果的に検出できるか？
• RQ5 ソフトウェア工学の専門知識が乏しいドメイン専門家が、形式的モデルの作成と検証をどのように支援できるか？

主な発見

• 提案されたDSLは、直感的な抽象化を用いて、ドメイン専門家が複雑な建物システムを形式的意味論でモデリングできることを可能にする。
• OCLに類似した制約は、自動的に検査可能な正確なエネルギー効率ルールの指定を可能にする。
• モデルベースのアプローチにより、意図された動作からの運用上の乖離を検出でき、潜在的な非効率性を示す。
• 監視データと形式的モデルの統合により、エネルギー損失のより信頼性が高く体系的な特定が可能になる。
• ソフトウェア工学の専門知識が乏しいユーザーの実用的導入を支援するツールチェーンが実現され、建物分野の専門家によるアクセス性が向上する。
• この手法は、建物運用の形式的定式化と検証の実現可能性を示しており、ヒューリスティック分析への依存を低減する道筋を提供する。