BIM-Model Checking in Building Design

Model checking frameworks employ rule-based systems to a proposed design, with results such as "pass", "fail" or "warning", or `unknown' for cases where the needed data is incomplete or missing and generally they do not modify a building design, but rather assesses a design on the basis of the configuration of objects, their relations or attributes. The complexity in the building design and building construction process is increasing and the need for automatic model checking is becoming critical. This work presents an overview of existing frameworks for model checking in building design and particularly structural BIM (Building Information Models). The study reviews main concepts for SmartCodes and model checking and examines rules checking systems that assess building designs according to various criteria. This includes evaluating and reviewing the functional capabilities of both the technology and structure of current BIM model checking systems. The paper suggests a new framework for automated rule and code conformance systems for the structural domain.