Author:
Gade Peter N.,Svidt Kjeld
Abstract
The use of BIM-based Model Checking (BMC) has the potential to improve building design processes by enabling the automation of building assessments. However, only a few BMC systems are being used in the building design practices. The limited use has been identified to be related to socio-technical challenges that have so far not received much attention in research regarding BMC systems. To explore these challenges, a Design Science Research methodology was used to design a BMC prototype to improve the socio-technical challenges of BMC systems, specifically challenges of transparency and flexibility. The prototype was tested with practitioners to investigate aspects of BMC systems that potentially hinder its use. The results were used to discuss the potential for more practical application of BMC systems in design practices to obtain the benefits of providing a faster, more consistent, and more precise assessment of buildings.
Publisher
International Council for Research and Innovation in Building and Construction
Subject
Computer Science Applications,Building and Construction,Civil and Structural Engineering
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献