Программное средство моделирования модульных вычислительных систем для проверки ограничений реального временитезисы доклада