Abstract
Various types of programs are used to check information models, which include many functions and parameters. For versatility and ease of operation, there is a data exchange format called IFC (Industry Foundation Classes). In the research, there was Solibri software analyzed, which is a product of the Finnish company Solibri Inc., (a structural division of the Nemetschek) and specializes in the development of tools for verifying information models. During the verification, the sequential execution of the program code of each rule compiled inside the Solibri software package is performed. For each rule, an unambiguous value of compliance or noncompliance of the model with the parameters of the degree of fire resistance and the class of constructive fire hazard specified for this rule is calculated. Based on the calculated values of the degree of fire resistance and the class of constructive fire hazards in the model, an unambiguous data set is formed. The next step is to evaluate the compliance of the dataset from the model with the requirements described in the rule.