Exploration of practitioner experiences of flexibility and transparency to improve BIM-based model checking systems

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.