Данная работа посвящена исследованию автоматизации проверок информационных моделей и разработке пакета проверок на соответствие СанПиН 2.4.1.3049-13 в ПК Solibri Model Checker (SMC). Задачи, которые решались в ходе работы: 1. Провести обзор опыта автоматизации проверок строительной документации на государственном уровне в мире; 2. Рассмотреть функционал программных продуктов, предназначенных для автоматизированной проверки информационной модели; 3. Создать пакет проверок на соответствие СанПиН 2.4.1.3049-13 в SMC; 4. Разработать требования к BIM-модели для проведения проверки; 5. Проанализировать подход автоматизации проверок с помощью SMC. Практическая часть работы проведена совместно со специалистами компании «ПСС ГРАЙТЕК»». В результате работы сформирован пакет проверок в SMC на соответствие вышеупомянутому СанПиН, а также разработаны требования к информационным моделям для проведения проверки. На основании проделанной работы был проведен вебинар по данной теме, и сформированный пакет проверок есть в открытом доступе.

The given work is devoted to studying automation of checks of information models and development of a package of compliance checks with SanPiN 2.4.1.3049- 13 in Solibri Model Checker (SMC). The work set the following goals: 1. To review the experience of expertise automation of building documentation at the state level in the world; 2. To consider the functionality of software products designed for automated verification of the information model; 3. To create a package of checks for compliance with SanPiN 2.4.1.3049-13 in SMC; 4. To develop requirements for the BIM-model for verification; 5. To analyze the approach of expertise automation using SMC. The practical part of the work was carried out jointly with the specialists of the company “PSS GRAITEC”. As a result, a package of checks was created in the SMC for compliance with the above-mentioned SanPiN, and requirements for information models for the verification were developed. Based on the work done, a webinar on this topic was held, and the generated checks package is in the public domain.