Масштабирование результатов верификации моделей компонентов модульных вычислительных системтезисы доклада