Ученые МГУ выяснили, как оптимизация кода угрожает авиационной безопасности

Стремление ускорить бортовое ПО может подорвать безопасность полетов. Исследователи ВМК МГУ пришли к выводу, что отдельные улучшения современных компиляторов делают поведение кода менее предсказуемым, а значит, его сложнее проверить на соответствие стандартам. Об этом сообщается в издании «Научная Россия». Эту информацию сообщает сайт Самара онлайн 24.

Обычные компиляторы нацелены на рост скорости и экономию ресурсов. Для авиации этого мало: нужно заранее знать, как система отработает в конкретный момент и сколько времени займет каждая задача.

Ученые проанализировали ситуации, когда оптимизация кода нарушает эти характеристики. Особое внимание уделили авиационным системами реального времени, требования к которым задает стандарт DO-178C.

На базе компилятора Clang команда создала безопасную версию, ограничивающую преобразования, мешающие соблюдению требований. Разработка учитывает российский ГОСТ Р 71206-2024 для безопасных компиляторов C/C++.

Методику опробовали на бортовой ОС реального времени, построенной на стандарте ARINC 653. Исследователи сопоставили свою адаптацию с обычным Clang и оценили, насколько обе версии предотвращают нарушения требований безопасности при оптимизации.

Авторы надеются, что подход пригодится не только при создании и сертификации авиационного ПО, но и в других критических системах, где важна строгая предсказуемость. Работа представлена на «Ломоносовских чтениях — 2026». Ранее Владимир Путин поздравил научное сообщество с запуском синхротрона СКИФ на заседании Совета по науке и образованию. Президент назвал событие импульсом для образования, науки и ключевых производств. Об этом написал портал Togliatti24.