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