Аннотация:Рассматривается программный комплекс, предназначенный для всесторонней поддержки методов современной системной инженерии, обеспечивающих формирование, анализ, трансформацию цифровых моделей по ходу жизненного цикла сложных инженерных изделий. Дан краткий обзор автоматизируемых процессов системной инженерии. Представлен состав и функции подсистем программного комплекса. Описаны ключевые принципы математического аппарата системной инженерии на базе конструктивной логики и теории категорий, способного обеспечить точный автоматический расчет системных решений.