[Paper Review] 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 Techniques7 references4 citations

TL;DR

This paper presents a model-driven approach for specifying energy-efficient buildings using a domain-specific language (DSL) and OCL-like constraints to model cyber-physical systems. By formalizing building systems and technical facilities with verifiable rules, the method enables domain experts to detect energy inefficiencies through model-based validation against monitoring data, improving accuracy and reducing reliance on manual expert analysis.

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.

Motivation & Objective

• To address the challenge of energy inefficiency in existing buildings through systematic modeling.
• To reduce reliance on manual expert analysis by formalizing building systems with machine-checkable specifications.
• To provide domain experts with a software tool based on a domain-specific language for modeling physical and technical building systems.
• To enable detection of energy inefficiencies by matching monitored data against formalized models with constraints.
• To bridge the gap between cyber-physical systems modeling and real-world building energy optimization.

Proposed method

• The authors developed a domain-specific language (DSL) tailored for modeling buildings and their technical facilities such as HVAC and lighting systems.
• The DSL is implemented in a software tool to support domain experts in creating system models.
• Constraints are defined using OCL-like rules to formally specify energy efficiency requirements and operational behaviors.
• The model is validated against real monitoring data to detect deviations indicating inefficiencies.
• The approach integrates model-driven engineering principles to ensure consistency and correctness of building system specifications.
• The method enables automated verification of compliance between actual building operation and intended design behavior.

Experimental results

Research questions

• RQ1 How can cyber-physical systems modeling techniques be adapted to improve energy efficiency in existing buildings?
• RQ2 What kind of domain-specific language is suitable for modeling buildings and their technical systems in a way that supports formal verification?
• RQ3 How can OCL-like constraints be used to formally specify energy efficiency requirements in building models?
• RQ4 Can model-based validation detect energy inefficiencies more effectively than traditional monitoring and visualization approaches?
• RQ5 How can domain experts be supported in creating and validating formal models of buildings without deep software engineering expertise?

Key findings

• The proposed DSL enables domain experts to model complex building systems with formal semantics using intuitive abstractions.
• OCL-like constraints allow for precise specification of energy efficiency rules that can be automatically checked.
• The model-based approach supports detection of operational deviations from intended behavior, indicating potential inefficiencies.
• The integration of monitoring data with formal models enables more reliable and systematic identification of energy waste.
• The tooling supports practical adoption by non-experts in software engineering, increasing accessibility for building domain experts.
• The method demonstrates a viable pathway to formalize and verify building operations, reducing reliance on heuristic analysis.