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