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