Developing rule-based model checking for verifying energy properties of windows : Promoting sustainable construction practices

Within the Architecture, Engineering and Construction (AEC) sector, collaboration among diverse stakeholders is essential for successful construction projects. The industry is witnessing a digital transformation, characterised by the emerging advancements in technology, ensuring cooperation across the project lifecycle. This study aims to reinforce models against deviations from construction standards, focusing on energy efficiency. To achieve this, model checking methodologies are considered, involving a comprehensive examination of prevailing industry standards and regulations for buildings which ultimately results in the formulation of custom rulesets for Solibri Model Checker. The research is verified through a case study which involves enhancement of the BIM model and checking against various rulesets for verifying energy properties of windows in Solibri. Through precise verification process, the efficacy of the developed model-checking framework is assessed.This undertaking streamlines project execution, mitigates risks, and enhances compliance with energy efficiency imperatives. This contributes to refining model technologies in the AEC domain and catalyses advancements towards more sustainable and efficient construction practices.