title: ÐÐ²ÑÐ¾Ð¼Ð°ÑÐ¸Ð·Ð¸ÑÐ¾Ð²Ð°Ð½Ð½ÑÐµ Ð¿ÑÐ¾Ð²ÐµÑÐºÐ¸ Ð¸Ð½ÑÐ¾ÑÐ¼Ð°ÑÐ¸Ð¾Ð½Ð½ÑÑ Ð¼Ð¾Ð´ÐµÐ»ÐµÐ¹ Ð¾Ð±ÑÐµÐºÑÐ¾Ð² ÐºÐ°Ð¿Ð¸ÑÐ°Ð»ÑÐ½Ð¾Ð³Ð¾ ÑÑÑÐ¾Ð¸ÑÐµÐ»ÑÑÑÐ²Ð°
title: Ð²ÑÐ¿ÑÑÐºÐ½Ð°Ñ ÐºÐ²Ð°Ð»Ð¸ÑÐ¸ÐºÐ°ÑÐ¸Ð¾Ð½Ð½Ð°Ñ ÑÐ°Ð±Ð¾ÑÐ° ÑÐ¿ÐµÑÐ¸Ð°Ð»Ð¸ÑÑÐ°
titleType: Subtitle
title: Automated checks of information models of capital construction object
Creators: name: Ð®ÑÐµÑÐµÐ²Ð°, ÐÐ½Ð½Ð°
Publisher: name: Ð¡Ð°Ð½ÐºÑ-ÐÐµÑÐµÑÐ±ÑÑÐ³ÑÐºÐ¸Ð¹ Ð¿Ð¾Ð»Ð¸ÑÐµÑÐ½Ð¸ÑÐµÑÐºÐ¸Ð¹ ÑÐ½Ð¸Ð²ÐµÑÑÐ¸ÑÐµÑ ÐÐµÑÑÐ° ÐÐµÐ»Ð¸ÐºÐ¾Ð³Ð¾
Year: 2020
Subjects: Ð¢ÐÐ
Ð°Ð²ÑÐ¾Ð¼Ð°ÑÐ¸Ð·Ð¸ÑÐ¾Ð²Ð°Ð½Ð½Ð°Ñ Ð¿ÑÐ¾Ð²ÐµÑÐºÐ° Ð¸Ð½ÑÐ¾ÑÐ¼Ð°ÑÐ¸Ð¾Ð½Ð½Ð¾Ð¹ Ð¼Ð¾Ð´ÐµÐ»Ð¸
Ð²ÐµÑÐ¸ÑÐ¸ÐºÐ°ÑÐ¸Ñ Ð¸Ð½ÑÐ¾ÑÐ¼Ð°ÑÐ¸Ð¾Ð½Ð½Ð¾Ð¹ Ð¼Ð¾Ð´ÐµÐ»Ð¸
ÑÐºÑÐ¿ÐµÑÑÐ¸Ð·Ð°
Solibri Model Checker
BIM
automated compliance checking
code checking

description: ÐÐ°Ð½Ð½Ð°Ñ ÑÐ°Ð±Ð¾ÑÐ° Ð¿Ð¾ÑÐ²ÑÑÐµÐ½Ð° Ð¸ÑÑÐ»ÐµÐ´Ð¾Ð²Ð°Ð½Ð¸Ñ Ð°Ð²ÑÐ¾Ð¼Ð°ÑÐ¸Ð·Ð°ÑÐ¸Ð¸ Ð¿ÑÐ¾Ð²ÐµÑÐ¾Ðº Ð¸Ð½ÑÐ¾ÑÐ¼Ð°ÑÐ¸Ð¾Ð½Ð½ÑÑ Ð¼Ð¾Ð´ÐµÐ»ÐµÐ¹ Ð¸ ÑÐ°Ð·ÑÐ°Ð±Ð¾ÑÐºÐµ Ð¿Ð°ÐºÐµÑÐ° Ð¿ÑÐ¾Ð²ÐµÑÐ¾Ðº Ð½Ð° ÑÐ¾Ð¾ÑÐ²ÐµÑÑÑÐ²Ð¸Ðµ Ð¡Ð°Ð½ÐÐ¸Ð 
2.4.1.3049-13 Ð² ÐÐ Solibri Model Checker (SMC). ÐÐ°Ð´Ð°ÑÐ¸, ÐºÐ¾ÑÐ¾ÑÑÐµ ÑÐµÑÐ°Ð»Ð¸ÑÑ Ð² 
ÑÐ¾Ð´Ðµ ÑÐ°Ð±Ð¾ÑÑ: 
1. ÐÑÐ¾Ð²ÐµÑÑÐ¸ Ð¾Ð±Ð·Ð¾Ñ Ð¾Ð¿ÑÑÐ° Ð°Ð²ÑÐ¾Ð¼Ð°ÑÐ¸Ð·Ð°ÑÐ¸Ð¸ Ð¿ÑÐ¾Ð²ÐµÑÐ¾Ðº ÑÑÑÐ¾Ð¸ÑÐµÐ»ÑÐ½Ð¾Ð¹ Ð´Ð¾ÐºÑÐ¼ÐµÐ½ÑÐ°ÑÐ¸Ð¸ Ð½Ð° Ð³Ð¾ÑÑÐ´Ð°ÑÑÑÐ²ÐµÐ½Ð½Ð¾Ð¼ ÑÑÐ¾Ð²Ð½Ðµ Ð² Ð¼Ð¸ÑÐµ; 
2. Ð Ð°ÑÑÐ¼Ð¾ÑÑÐµÑÑ ÑÑÐ½ÐºÑÐ¸Ð¾Ð½Ð°Ð» Ð¿ÑÐ¾Ð³ÑÐ°Ð¼Ð¼Ð½ÑÑ Ð¿ÑÐ¾Ð´ÑÐºÑÐ¾Ð², Ð¿ÑÐµÐ´Ð½Ð°Ð·Ð½Ð°ÑÐµÐ½Ð½ÑÑ Ð´Ð»Ñ 
Ð°Ð²ÑÐ¾Ð¼Ð°ÑÐ¸Ð·Ð¸ÑÐ¾Ð²Ð°Ð½Ð½Ð¾Ð¹ Ð¿ÑÐ¾Ð²ÐµÑÐºÐ¸ Ð¸Ð½ÑÐ¾ÑÐ¼Ð°ÑÐ¸Ð¾Ð½Ð½Ð¾Ð¹ Ð¼Ð¾Ð´ÐµÐ»Ð¸; 
3. Ð¡Ð¾Ð·Ð´Ð°ÑÑ Ð¿Ð°ÐºÐµÑ Ð¿ÑÐ¾Ð²ÐµÑÐ¾Ðº Ð½Ð° ÑÐ¾Ð¾ÑÐ²ÐµÑÑÑÐ²Ð¸Ðµ Ð¡Ð°Ð½ÐÐ¸Ð 2.4.1.3049-13 Ð² SMC; 
4. Ð Ð°Ð·ÑÐ°Ð±Ð¾ÑÐ°ÑÑ ÑÑÐµÐ±Ð¾Ð²Ð°Ð½Ð¸Ñ Ðº BIM-Ð¼Ð¾Ð´ÐµÐ»Ð¸ Ð´Ð»Ñ Ð¿ÑÐ¾Ð²ÐµÐ´ÐµÐ½Ð¸Ñ Ð¿ÑÐ¾Ð²ÐµÑÐºÐ¸; 
5. ÐÑÐ¾Ð°Ð½Ð°Ð»Ð¸Ð·Ð¸ÑÐ¾Ð²Ð°ÑÑ Ð¿Ð¾Ð´ÑÐ¾Ð´ Ð°Ð²ÑÐ¾Ð¼Ð°ÑÐ¸Ð·Ð°ÑÐ¸Ð¸ Ð¿ÑÐ¾Ð²ÐµÑÐ¾Ðº Ñ Ð¿Ð¾Ð¼Ð¾ÑÑÑ SMC. 
ÐÑÐ°ÐºÑÐ¸ÑÐµÑÐºÐ°Ñ ÑÐ°ÑÑÑ ÑÐ°Ð±Ð¾ÑÑ Ð¿ÑÐ¾Ð²ÐµÐ´ÐµÐ½Ð° ÑÐ¾Ð²Ð¼ÐµÑÑÐ½Ð¾ ÑÐ¾ ÑÐ¿ÐµÑÐ¸Ð°Ð»Ð¸ÑÑÐ°Ð¼Ð¸ ÐºÐ¾Ð¼Ð¿Ð°Ð½Ð¸Ð¸ Â«ÐÐ¡Ð¡ ÐÐ ÐÐÐ¢ÐÐÂ»Â». Ð ÑÐµÐ·ÑÐ»ÑÑÐ°ÑÐµ ÑÐ°Ð±Ð¾ÑÑ ÑÑÐ¾ÑÐ¼Ð¸ÑÐ¾Ð²Ð°Ð½ Ð¿Ð°ÐºÐµÑ Ð¿ÑÐ¾Ð²ÐµÑÐ¾Ðº Ð² 
SMC Ð½Ð° ÑÐ¾Ð¾ÑÐ²ÐµÑÑÑÐ²Ð¸Ðµ Ð²ÑÑÐµÑÐ¿Ð¾Ð¼ÑÐ½ÑÑÐ¾Ð¼Ñ Ð¡Ð°Ð½ÐÐ¸Ð, Ð° ÑÐ°ÐºÐ¶Ðµ ÑÐ°Ð·ÑÐ°Ð±Ð¾ÑÐ°Ð½Ñ ÑÑÐµÐ±Ð¾Ð²Ð°Ð½Ð¸Ñ Ðº Ð¸Ð½ÑÐ¾ÑÐ¼Ð°ÑÐ¸Ð¾Ð½Ð½ÑÐ¼ Ð¼Ð¾Ð´ÐµÐ»ÑÐ¼ Ð´Ð»Ñ Ð¿ÑÐ¾Ð²ÐµÐ´ÐµÐ½Ð¸Ñ Ð¿ÑÐ¾Ð²ÐµÑÐºÐ¸. ÐÐ° Ð¾ÑÐ½Ð¾Ð²Ð°Ð½Ð¸Ð¸ 
Ð¿ÑÐ¾Ð´ÐµÐ»Ð°Ð½Ð½Ð¾Ð¹ ÑÐ°Ð±Ð¾ÑÑ Ð±ÑÐ» Ð¿ÑÐ¾Ð²ÐµÐ´ÐµÐ½ Ð²ÐµÐ±Ð¸Ð½Ð°Ñ Ð¿Ð¾ Ð´Ð°Ð½Ð½Ð¾Ð¹ ÑÐµÐ¼Ðµ, Ð¸ ÑÑÐ¾ÑÐ¼Ð¸ÑÐ¾Ð²Ð°Ð½Ð½ÑÐ¹ 
Ð¿Ð°ÐºÐµÑ Ð¿ÑÐ¾Ð²ÐµÑÐ¾Ðº ÐµÑÑÑ Ð² Ð¾ÑÐºÑÑÑÐ¾Ð¼ Ð´Ð¾ÑÑÑÐ¿Ðµ.
description: 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.