short-paper

A building automation case study setup and challenges

Authors:

João Cambeiro,

Cláudio Gomes,

Armanda Rodrigues,

Jácome CunhaAuthors Info & Claims

SEsCPS '18: Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems

Pages 41 - 44

https://doi.org/10.1145/3196478.3196482

Published: 27 May 2018 Publication History

Abstract

Smart buildings will play a fundamental role in ensuring comfort while reducing the energy required. However, due to the lack of knowledge about the operation of the smart controllers, the occupants can unintentionally increase the energy spent. Nevertheless, there is evidence that the informed and motivated user will actually cooperate with the system.

Some of the issues associated with researching control systems in the context of building automation are difficult to address, because of the chronic lack of effective laboratory settings for experimentation. In this paper, we describe a system representative of the usual complexity found in cyber-physical systems, whose purpose is to address the needs for experimenting with building automation, with a focus on control systems and gamification. Designed with pragmatic concerns, this system presents a unique set of challenges and opportunities to research a new generation of software control systems, and supporting interfaces, that leverage the occupants' behaviour.

References

[1]

Charilaos Akasiadis, Evaggelos Spyrou, Georgios Pierris, Dimitris Sgouropoulos, Giorgos Siantikos, Alexandros Mavrommatis, Costas Vrakopoulos, and Theodoros Giannakopoulos. 2015. Exploiting future internet technologies. In 8th ACM International Conference on Pervasive Technologies Related to Assistive Environments. ACM Press, New York, USA, 1--2.

Digital Library

[2]

Larry Apfelbaum and John Doyle. 1997. Model based testing. In Software Quality Week Conference. 296--300.

[3]

Ankica Barisic, Vasco Amaral, and Miguel Goulão. 2018. Usability driven DSL development with USE-ME. Computer Languages, Systems & Structures 51 (2018), 118--157.

Digital Library

[4]

Sergiy Bogomolov, Marius Greitschus, Peter G. Jensen, Kim G. Larsen, Marius Mikučionis, Thomas Strump, and Stavros Tripakis. 2015. Co-Simulation of Hybrid Systems with SpaceEx and Uppaal. In 11th International Modelica Conference. Linköping University Electronic Press, Paris, France, 159--169.

[5]

Sarah Darby. 2008. Energy feedback in buildings: improving the infrastructure for demand reduction. Building Research & Information 36, 5 (oct 2008), 499--508.

[6]

Anna Carolina Kossmann de Menezes, Richard Tetlow, C Philip Beaman, Dino Bouchlaghem, Andrew Cripps, and Richard A Buswell. 2012. Assessing the impact of occupant behaviour on electricity consumption for lighting and small power in office buildings. (2012).

[7]

Sebastian Deterding, Dan Dixon, Rilla Khaled, and Lennart Nacke. 2011. From game design elements to gamefulness. In 15th International Academic MindTrek Conference on Envisioning Future Media Environments. ACM Press, New York, USA, 9.

Digital Library

[8]

W. Stuart Dols, Steven J. Emmerich, and Brian J. Polidoro. 2016. Coupling the multizone airflow and contaminant transport software CONTAM with En-ergyPlus using co-simulation. Building Simulation 9, 4 (aug 2016), 469--479.

[9]

A.I. Dounis and C. Caraiscos. 2009. Advanced control systems engineering for energy and comfort management in a building environment-A review. Renewable and Sustainable Energy Reviews 13, 6--7 (aug 2009), 1246--1261.

[10]

Mark Eilers, John Reed, and TecMRKT Works. 1996. Behavioral aspects of lighting and occupancy sensors in private offices: a case study of a university office building. Summer Study on Energy Efficiency in Buildings (1996).

[11]

Valentina Fabi, Rune Vinther Andersen, Stefano Corgnati, and Bjarne W. Olesen. 2012. Occupants' window opening behaviour: A literature review of factors influencing occupant behaviour and models. Building and Environment 58 (dec 2012), 188--198.

[12]

Cláudio Gomes, Paschalis Karalis, Eva M. Navarro-López, and Hans Vangheluwe. 2017. Approximated Stability Analysis of Bi-Modal Hybrid Co-simulation Scenarios. In 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems. Trento, Italy, to appear.

[13]

Cláudio Gomes, Benoît Legat, Raphaël M. Jungers, and Hans Vangheluwe. 2017. Stable Adaptive Co-simulation : A Switched Systems Approach. In IUTAM Symposium on Co-Simulation and Solver Coupling. Darmstadt, Germany, to appear.

[14]

Cláudio Gomes, Casper Thule, David Broman, Peter Gorm Larsen, and Hans Vangheluwe. 2017. Co-simulation: State of the art. Technical Report. arXiv:1702.00686 http://arxiv.org/abs/1702.00686

[15]

Cláudio Gomes, Yentl Van Tendeloo, Joachim Denil, Paul De Meulenaere, and Hans Vangheluwe. 2017. Hybrid System Modelling and Simulation with Dirac Deltas. In Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium (DEVS '17). Virginia Beach, Virginia, USA, to appear.

Digital Library

[16]

S. Harte. 2005. Fault tolerance in sensor networks using self-diagnosing sensor nodes. In IEE Seminar on Intelligent Building Environments, Vol. 2005. IEE, v2--7--v2--7.

[17]

Tianzhen Hong and Hung-Wen Lin. 2013. Occupant behavior: impact on energy use of private offices. Technical Report.

[18]

Daniel Johnson, Ella Horton, Rory Mulcahy, and Marcus Foth. 2017. Gamification and serious games within the domain of domestic energy consumption: A systematic review. Renewable and Sustainable Energy Reviews 73 (jun 2017), 249--264.

[19]

Vasileios Karagiannis, Periklis Chatzimisios, Francisco Vazquez-Gallego, and Jesus Alonso-Zarate. 2015. A Survey on Application Layer Protocols for the Internet of Things. Transaction on IoT and Cloud Computing 3, 1 (2015), 11--17.

[20]

David P. Y. Lawrence, Claudio Gomes, Joachim Denil, Hans Vangheluwe, and Didier Buchs. 2016. Coupling Petri nets with Deterministic Formalisms Using Co-simulation. In Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium. Pasadena, CA, USA, 6:1--6:8.

Digital Library

[21]

Edward A. Lee. 2008. Cyber Physical Systems: Design Challenges. In 11th IEEE International Symposium on Object Oriented Real-Time Distributed Computing (ISORC). 363--369.

Digital Library

[22]

Edward A Lee, Mehrdad Niknami, Thierry S Nouidui, and Michael Wetter. 2015. Modeling and Simulating Cyber-physical Systems Using CyPhySim. In 12th International Conference on Embedded Software (EMSOFT '15). IEEE Press, Piscataway, NJ, USA, 115--124.

Digital Library

[23]

Libelium. 2018. Open Aquarium Platform Description. (2018). https://www.cooking-hacks.com/documentation/tutorials/open-aquarium-aquaponics-fish-tank-monitoring-arduino

[24]

Levi Lúcio, Bentley James Oakes, Cláudio Gomes, Gehan Selim, Juergen Dingel, James R. Cordy, andHans Vangheluwe. 2015. SyVOLT: Full Model Transformation Verification Using Contracts. In 8th International Conference on Model Driven Engineering Languages and Systems. Ottawa, Canada.

[25]

Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Fabio Merli, and Enrico Tronci. 2013. System Level Formal Verification via Model Checking Driven Simulation. In Computer Aided Verification, Natasha Sharygina and Helmut Veith (Eds.). Lecture Notes in Computer Science, Vol. 8044. Springer Berlin Heidelberg, 296--312.

[26]

Luca Morganti, Federica Pallavicini, Elena Cadel, Antonio Candelieri, Francesco Archetti, and Fabrizia Mantovani. 2017. Gaming for Earth: Serious games and gamification to engage consumers in pro-environmental behaviours for energy efficiency. Energy Research & Social Science 29 (jul 2017), 95--102.

[27]

Sirajum Munir, John a. Stankovic, Chieh-Jan Mike Liang, and Shan Lin. 2013. Cyber Physical System Challenges for Human-in-the-Loop Control. The 8th International Workshop on Feedback Computing (2013).

[28]

Don Norman. 2013. The design of everyday things: Revised and expanded edition. Basic Books (AZ).

[29]

T G Papaioannou, D Kotsopoulos, C Bardaki, and S Lounis. 2017. " IoT-Enabled Gamification for Energy Conservation in Public Buildings ". (2017).

[30]

Wout Parys, Dirk Saelens, and Hugo Hens. 2011. Coupling of dynamic building simulation with stochastic modelling of occupant behaviour in offices - a review-based integrated methodology. Journal of Building Performance Simulation 4, 4 (dec 2011), 339--358.

[31]

Srinath Perera, Suhothayan Sriskandarajah, Mohanadarshan Vivekanandalingam, Paul Fremantle, and Sanjiva Weerawarana. 2014. DEBS Grand Challenge : Solving the Grand Challenge Using an Opensource CEP engine Categories and Subject Descriptors. Debs '14 (2014), 288--293.

Digital Library

[32]

Timothy I. Salsbury. 2005. A Survey of Control Technologies in the Building Automation Industry. IFAC Proceedings Volumes 38, 1 (2005), 90--100.

[33]

Dimitris Sgouropoulos, Evaggelos Spyrou, Giorgos Siantikos, and Theodoros Giannakopoulos. 2015. Counting and tracking people in a smart room: An IoT approach. In 10th International Workshop on Semantic and Social Media Adaptation and Personalization. IEEE, 1--5.

Digital Library

[34]

Pervez Hameed Shaikh, Nursyarizal Bin Mohd Nor, Perumal Nallagownden, Irraivan Elamvazuthi, and Taib Ibrahim. 2014. A review on optimized control systems for building energy and comfort management of smart sustainable buildings. Renewable and Sustainable Energy Reviews 34 (jun 2014), 409--429.

[35]

David Sousa Sousa Nunes, Pei Zhang, and Jorge Sa Silva. 2015. A Survey on human-in-The-loop applications towards an internet of all. IEEE Communications Surveys and Tutorials 17, 2 (2015), 944--965.

[36]

Richard M. Tetlow, Chris van Dronkelaar, C. Philip Beaman, Abbas A. Elmualim, and Kevin Couling. 2015. Identifying behavioural predictors of small power electricity consumption in office buildings. Building and Environment 92 (oct 2015), 75--85.

[37]

C. J. Tomlin, I. Mitchell, A. M. Bayen, and M. Oishi. 2003. Computational techniques for the verification of hybrid systems. Proc. IEEE 91, 7 (jul 2003), 986--1001.

[38]

Michal Veselý and Wim Zeiler. 2014. Personalized conditioning and its impact on thermal comfort and energy performance - A review. Renewable and Sustainable Energy Reviews 34 (jun 2014), 401--408.

[39]

Molly Webb. 2008. Smart 2020: Enabling the low carbon economy in the information age. Technical Report 1. 1 pages. https://www.theclimategroup.org/sites/default/files/archive/files/Smart2020Report.pdf

[40]

F. Yamada, K. Yonezawa, S. Sugawara, and N. Nishimura. 1999. Development of air-conditioning control algorithm for building energy saving. In IEEE International Conference on Control Applications, Vol. 2. IEEE, 1579--1584.

[41]

Wim Zeiler, Derek Vissers, Rik Maaijen, and Gert Boxem. 2014. Occupants' behavioural impact on energy consumption: 'human-in-the-loop' comfort process control. Architectural Engineering and Design Management 10, 1--2 (apr 2014), 108--130.

Cited By

Cambeiro JDeantoni JAmaral V(2021)Supporting the Engineering of Multi-Fidelity Simulation Units With Simulation Goals2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)10.1109/MODELS-C53483.2021.00053(317-321)Online publication date: Oct-2021
https://doi.org/10.1109/MODELS-C53483.2021.00053
Paris JCambeiro JAmaral VRodrigues A(2019)Using Gamification to Motivate Occupants to Energy Efficiency in a Social Setting of a Building Automation System2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC)10.1109/COMPSAC.2019.00097(638-643)Online publication date: Jul-2019
https://doi.org/10.1109/COMPSAC.2019.00097

Index Terms

A building automation case study setup and challenges

Recommendations

Software architecture challenges in building automation
CSN '07: Proceedings of the Sixth IASTED International Conference on Communication Systems and Networks

In the last decade intensive efforts to develop systems that control buildings has brought several standard approaches. However, recent technological advances have yielded numerous ubiquitous devices that can sense, act and re-act in a pervasive way. ...
Identifying Gamification Project Challenges through Literature Review and Post-Mortem Documents
Asian CHI '23: Proceedings of the Asian HCI Symposium 2023

Video game software development consists of multiple disciplines with their own unique challenges. The key to successful game development lies in effective requirements engineering, which involves managing teams with diverse roles and transitioning from ...
Enabling hardware-in-the-loop for building automation networks: A case study for BACnet and PowerDEVS
IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society
Hardware-in-the-Loop (HIL) is a well-established concept for developing and testing embedded systems. While it is widely used in industrial automation and the automotive area, it is rarely applied to Building Automation Systems (BAS). This work proposes ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

SEsCPS '18: Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems

May 2018

66 pages

ISBN:9781450357289

DOI:10.1145/3196478

Program Chairs:
Tomas Bures
Charles University, Czech Republic
,
John Fitzgerald
Newcastle University, UK
,
Bradley Schmerl
Carnegie Mellon University
,
Danny Weyns
Katholieke Universiteit Leuven, Belgium

Copyright © 2018 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGSOFT: ACM Special Interest Group on Software Engineering
IEEE-CS: Computer Society

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 27 May 2018

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Short-paper

Funding Sources

Universidade Nova de Lisboa

Conference

ICSE '18

Sponsor:

SIGSOFT
IEEE-CS

ICSE '18: 40th International Conference on Software Engineering

May 27 - 29, 2018

Gothenburg, Sweden

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
155
Total Downloads

Downloads (Last 12 months)10
Downloads (Last 6 weeks)1

Reflects downloads up to 12 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Cambeiro JDeantoni JAmaral V(2021)Supporting the Engineering of Multi-Fidelity Simulation Units With Simulation Goals2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)10.1109/MODELS-C53483.2021.00053(317-321)Online publication date: Oct-2021
https://doi.org/10.1109/MODELS-C53483.2021.00053
Paris JCambeiro JAmaral VRodrigues A(2019)Using Gamification to Motivate Occupants to Energy Efficiency in a Social Setting of a Building Automation System2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC)10.1109/COMPSAC.2019.00097(638-643)Online publication date: Jul-2019
https://doi.org/10.1109/COMPSAC.2019.00097

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents