BIM-based Model Checking (BMC)
Eilif Hjelseth · American Society of Civil Engineers eBooks · 2015
This chapter presents Building Information Model (BIM)-based model checking (BMC). BMC is often referred to as one of the major benefits in utilizing BIM, where everyone can perform compliance checking and design coordinating. Wide use of BMC software in BIM-based projects should therefore be expected. This study is based on a broad approach, ranging from exploring principles of model checking to practices in state-of-the-art companies, in addition to reviewing commercial software. Outcomes indicate that functionality in commercial software covers requirements for model checking in projects based on the use of simple rules and unspecified content of information in the BIM-file. Improved collaboration based on coordinating merged BIM-files and automatic clash detection was regarded as the main benefit. BMC was regarded as a part of company quality assurance systems for model coordination. Wide use was not observed, and the use of BMC software was regarded as a specialist tool operated by a limited number of users. This study indicates a potential for the further development of rule sets and procedures for trustworthy compliance checking. In this respect, BMC can be regarded as a catalyst for the exchange of high-quality BIM for cross-disciplinary collaboration. Utilization of BMC can be an indicator of BIM-maturity.