Ученые МАДИ разработали математическую модель синхронизации времени в виртуальных средах, которая позволяет проектировать точные и отказоустойчивые системы управления цифровой транспортной инфраструктурой.
Современный транспорт (умные светофоры, датчики, навигация) требует идеальной координации всех компонентов в реальном времени. Для этого используется международный протокол синхронизации IEEE 1588 PTP. Сегодня отрасль активно переходит на виртуальные платформы как на более гибкое и экономичное решение. Однако в виртуальной среде возникают скрытые задержки, которые нарушают точность синхронизации. Исследование МАДИ дает инженерам инструмент для решения этой проблемы.
Исследователи развернули двухузловой тестовый стенд на базе отечественного программного обеспечения (РЕД ОС и РЕД Виртуализация). В ходе эксперимента проводились замеры синхронизации времени (на интервалах 5 минут и 1 час) с использованием стандартных программных методов (утилита ptp4l). Это позволило выявить закономерности работы системы в разных режимах.
Эксперимент доказал, что программная синхронизация дает обманчивую картину надежности:
● Хотя среднее смещение часов близко к нулю (от −1 486 до 1 114 нс), реальные скачки времени огромны: стандартное отклонение достигает 66 098 нс, а максимальная погрешность — до 688 304 нс.
● Коррекция частоты крайне нестабильна: при среднем значении −3 900 ppb отклонения превышают 6 000 ppb. Это означает, что система постоянно «колеблется» и не может выйти на устойчивый режим работы.
Главный научный результат: ученые разработали модель, которая объясняет причины этих сбоев. Она доказывает, что при программной синхронизации в систему попадают «невидимые» задержки: очереди данных (virtio), планировщик гипервизора и обработка прерываний. Стандартный протокол PTP не умеет их измерять, и обычными служебными сообщениями эту неопределенность устранить невозможно. Новая модель позволяет рассчитать и учесть эти скрытые факторы еще на этапе проектирования системы.
Разработка дает инженерам четкое и обоснованное правило: программная синхронизация времени подходит только для тестовых задач. Для ответственных применений (управление транспортной инфраструктурой, высокоточное позиционирование) модель однозначно указывает на необходимость использования аппаратных решений или специализированных функций гипервизора. Это позволяет заранее гарантировать требуемую точность и избежать дорогостоящих сбоев при реальной эксплуатации.
Исследование задает научно обоснованный стандарт проектирования цифровых транспортных систем. Математическая модель становится практическим инструментом для инженеров, что особенно важно в условиях импортозамещения и перехода отрасли на отечественные платформы (РЕД ОС и РЕД Виртуализация), обеспечивая безопасность и эффективность новых систем.
Исследование выполнено в рамках государственного задания Минобрнауки РФ (тема № FSFM-2025-0004) под руководством к.т.н. Т.К. Комаровой.
Подробные результаты опубликованы в международной базе IEEE Xplore по материалам конференции SYNCHROINFO 2026.
Источник: Минобрнауки России
