There is a direct correlation between the quality of the planning documents and the success of a building project. Today, with the increasing digitalization in the building industry a change in the processes and coordination of building projects is required. This bachelor thesis describes the validation of Building Information Models on a theoretical basis as well as a detailed analysis of the model-checking tool Solibri Model Checker™. In the BIM process, the geometric modelling of a building is usually performed with pre-fabricated building components. The geometry of these components is described using processes that are implicit or explicit. Additionally, the building components are associated with semantic information by setting object attributes in the model. The exchange of data as well as the subsequent processing of data from a Building Information Model requires a standardization of the data formats. The model validation process is comprised of multiple steps such as the preparation of the building model, the translation of the model rules into a machine-interpreted language, the model validation and the follow up of the results. The rules to be checked in the model checker can pertain to the model structure, the quality of the model as well as the model coordination. Some model validation tools also provide additional functionality, which allow verification of the adherence to building standards and guidelines. The Solibri Model Checker™ analyzed in this thesis is a model-checking platform, which provides this functionality. Another useful aspect of the Solibri Model Checker™ is the visualization of the model after the initial ingestion of the building model in the native data structure of the Solibri Model Checker™. Before a validation can be completed of the model, some components must be classified and some rules require parameterization. The results of model validation are presented in a list, which allows the user to select the problem and automatically navigate to the associated issue. Furthermore, a presentation tool is provided for the presentation of errors in the model. The Solibri Model Checker™ can be used for information and quantity takeoffs. This thesis presents an analysis of a BIM model checker based on several case studies. One of the buildings to be validated was initially modeled in Allplan. This model was then subsequently checked according to a predefined architecture model checking rule set, which include validation of the rooms, defect detection as well as conflicts between architectural components. Furthermore, an extended validation of the rooms and escape routes was performed. The last step involved model coordination between different discipline models such as architecture models and structural models.     «

There is a direct correlation between the quality of the planning documents and the success of a building project. Today, with the increasing digitalization in the building industry a change in the processes and coordination of building projects is required. This bachelor thesis describes the validation of Building Information Models on a theoretical basis as well as a detailed analysis of the model-checking tool Solibri Model Checker™. In the BIM process, the geometric modelling of a building i...     »