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