[논문 리뷰] Modeling Cyber-Physical Systems: Model-Driven Specification of Energy Efficient Buildings

Thomas Kurpick, Markus Look외 2명|arXiv (Cornell University)|2014. 09. 01.

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.

연구 동기 및 목표

• 기존 건물의 에너지 비효율성 문제를 체계적인 모델링을 통해 해결하기 위해.
• 기계로 검증 가능한 사양으로 건물 시스템을 형식화하여 수동 전문가 분석에 대한 의존도를 줄이기 위해.
• 물리적 및 기술적 건물 시스템을 모델링할 수 있는 도메인 특화 언어 기반 소프트웨어 도구를 도메인 전문가에게 제공하기 위해.
• 형식화된 모델와 제약 조건을 사용하여 모니터링된 데이터와 비교함으로써 에너지 비효율성을 탐지할 수 있도록 하기 위해.
• 사이버-물리 시스템 모델링과 실제 건물 에너지 최적화 사이의 격차를 메우기 위해.

제안 방법

• 저자들은 건물과 그 기술 설비(예: 환기·ventilation·공조(HVAC) 및 조명 시스템 등)를 모델링하기 위해 특화된 도메인 특화 언어(DSL)를 개발하였다.
• DSL은 도메인 전문가가 시스템 모델을 작성할 수 있도록 지원하는 소프트웨어 도구로 구현되었다.
• 에너지 효율성 요구사항과 운영 행동을 형식적으로 명시하기 위해 OCL 유사 규칙을 사용하여 제약 조건을 정의하였다.
• 실제 모니터링 데이터와의 비교를 통해 모델을 검증하여 비정상적인 편차(비효율성의 징후)를 탐지하였다.
• 건물 시스템 사양의 일관성과 정확성을 보장하기 위해 모델 기반 소프트웨어 공학 원칙을 통합하였다.
• 자동 검증을 통해 실제 건물 운영과 의도된 설계 행동 간의 준수 여부를 확인할 수 있도록 하였다.

실험 결과

연구 질문

• RQ1 사이버-물리 시스템 모델링 기법은 기존 건물의 에너지 효율성을 향상시키기 위해 어떻게 적응시킬 수 있는가?
• RQ2 형식적 검증을 지원할 수 있는 방식으로 건물과 그 기술 시스템을 모델링할 수 있는 도메인 특화 언어는 어떤 것이 적합한가?
• RQ3 OCL 유사 제약 조건은 건물 모델에서 에너지 효율성 요구사항을 어떻게 형식적으로 명시할 수 있는가?
• RQ4 모델 기반 검증은 기존의 모니터링 및 시각화 접근 방식보다 에너지 비효율성을 더 효과적으로 탐지할 수 있는가?
• RQ5 심층적인 소프트웨어 공학 전문 지식 없이 도메인 전문가가 형식적 건물 모델을 작성하고 검증할 수 있도록는 어떻게 지원할 수 있는가?

주요 결과

• 제안된 DSL은 직관적인 추상화를 통해 도메인 전문가가 복잡한 건물 시스템을 형식적 의미론으로 모델링할 수 있도록 한다.
• OCL 유사 제약 조건는 자동으로 검증 가능한 정밀한 에너지 효율 규칙 명시를 가능하게 한다.
• 모델 기반 접근법은 의도된 동작에서의 운영 편차를 탐지하여 잠재적 비효율성을 드러내는 데에 기여한다.
• 모니터링 데이터와 형식화된 모델을 통합함으로써 에너지 낭비를 더 신뢰성 있고 체계적으로 식별할 수 있게 된다.
• 소프트웨어 공학에 익숙하지 않은 비전문가의 실질적 활용을 지원하는 도구 기능 덕분에 건물 도메인 전문가의 접근성이 향상된다.
• 이 방법은 건물 운영을 형식화하고 검증할 수 있는 실현 가능한 길을 제시하며, 히ュ리스틱 분석에 대한 의존도를 줄인다.