Development of automated checks for the examination of a digital information model of a construction object in terms of the section of architectural solutions

В исследовательской работе проанализированы существующие программные комплексы и системы по верификации информационных моделей, разработаны алгоритмы создания автоматизированных проверок, рассмотрены инструменты работы программного комплекса Solibri Model Checker и созданы автоматизированные проверки в нем. На основе создания и использования правил проверок в данном комплексе и анализа этого процесса разработаны требования к ЦИМ архитектурных решений. In the research work, the existing software systems and systems for verifying information models are analyzed, algorithms for creating automated checks are developed, the tools for the Solibri Model Checker software package are considered and automated checks are created in it. Based on the creation and use of check rules in this complex and the analysis of this process, requirements for the CIM of architectural solutions have been developed.