Зачем верифицируют российское ПО: как достигается цифровой суверенитет
К 2027 году планируется на 90% заменить крайне важные для инженеров и ученых иностранные программы математического моделирования (computer-aided design, или CAD, и computer-aided engineering, или САЕ) на отечественные аналоги. К этому стремится созданный в прошлом году по инициативе «Росатома» Консорциум российских разработчиков программ математического моделирования. Возможно ли реализовать данное начинание на практике и в столь сжатые сроки? Да, считает Сергей Букреев, технический директор АО «ИТЦ «ДЖЭТ», структуры «Росатома», входящей в Консорциум, но для этого необходимы серьезные усилия всех причастных к инициативе специалистов. В том числе в таком сложном и крайне необходимом процессе, как верификация программного обеспечения (ПО) — проверка соответствия продуктов исходным математическим моделям.
Очевидно, что до недавнего времени пробным камнем для ПО выступали иностранные программы. Однако сегодня они по большей части недоступны. Заменить их, впрочем, возможно: использование уже валидированного и верифицированного отечественного ПО может и должно стать доступным и удобным инструментом для проверки новых продуктов, которые будут выходить на российский рынок во все больших объемах.
Сергей Букреев обосновывает свое мнение успешным опытом верификации кода библиотеки электрики. Этот модуль входит в одну из немногих практически применяемых в различных сферах промышленности российских программ — платформу моделирования технологических процессов REPEAT. Ядро сервиса уже много лет лежит в основе тренажеров, имитирующих работу АЭС, на которых обучают персонал станций «Росатома». Оно позволило создать собственную среду моделирования, успешно применяющуюся для разработки цифровых двойников в энергетике.
В перспективе платформа способна справиться с различными задачами в области математического моделирования, ранее решаемыми только с помощью недоступных сейчас иностранных CAD/CAE-программ. В том числе в качестве инструмента верификации.
Еще в середине 2010-х годов перед создателями REPEAT встала задача разработки математических моделей электросборок для тренажеров АЭС, а также создания нового кодогенератора. Это инструмент, который на основе сведений об электросхеме, паспортных данных оборудования генерирует исходные тексты математических моделей по определенному численному алгоритму. Он стал одним из модулей новой платформы моделирования.
Для того чтобы успешно ее внедрить для технологических разработок в различных отраслях, нужно было оценить, насколько программа соответствует теоретической основе. Для этого провели верификацию, выполненную в два этапа:
- с помощью эксперимента, в ходе которого имитировались нагрузки на оборудование и системы, а результаты сравнивались с документацией;
- в ходе проверки сторонними продуктами. Использовался комплекс ETAP, один из самых известных мировых продуктов для расчета электротехнических процессов, а также EMTP-RV — программный инструмент для анализа электромагнитных переходных процессов и связанных с ними проблем изоляции.
«Ни одно из данных решений не могло прямо применяться в составе полномасштабных и аналитических тренажеров, — объясняет Сергей Букреев (АО «ИТЦ «ДЖЭТ»). — Это зарубежные программы, к тому же они ничего не воспроизводят в реальном времени — это полностью офлайн-симуляция. Однако данные продукты являются очень точными и повсеместно используются специалистами для расчета электроэнергетических систем и цепей, поэтому весь мир моделирует с их помощью. Нам они помогли установить, что компьютерная модель в области электрики соответствует математической с высокой точностью (до 1%) и с большим запасом вписывается в заданные границы в 2%».
Нужно отметить, что сегодня процесс верификации в России имеет нормативное обоснование, в частности в ГОСТ Р 57700.2-2017 и ГОСТ Р 57700.37-2021 — единственном в мире стандарте, описывающем процесс использования технологии цифровых двойников. Хотя в них и не конкретизируются способы проверки, но указано, что она производится путем сравнения с результатами аналитических тестов, теоретического анализа и включает обоснование точности, сходимости, устойчивости применяемых численных методов.
«Проверка каждого компонента модели показала, что мы практически всегда укладывались в погрешность ~0,1%, — говорит Сергей Букреев. — То есть платформа с верифицированной библиотекой уже может служить достаточно надежным способом поверки других программ моделирования. Соответственно, по мере наработки различных модулей возможности отечественного ПО в плане использования его для верификации будут расти. Благодаря этому уже в ближайшие пять лет в критически важных сферах мы сумеем достичь цифрового суверенитета в области моделирования, а значит, дать основу для быстрого технологического развития».