Применение среды ДИАНА для синтеза и оптимизации архитектур реального временитезисы доклада