В МГУ выяснили, почему ускорение бортового ПО опасно для самолёта
AI Изображение создано с помощью ИИ и носит иллюстративный характер
Поведение бортового программного обеспечения самолета может стать менее предсказуемым из-за оптимизации, выполняемой современными компиляторами. К такому выводу пришли исследователи факультета ВМК МГУ, работа опубликована в издании «Научная Россия». Об этом сообщает издание Самара онлайн 24.
Обычные компиляторы ускоряют программы и экономят ресурсы, но для авиации этого недостаточно. Критически важно заранее знать, сколько времени займет выполнение каждой задачи, поэтому система должна вести себя точно в заданные моменты.
Ученые изучили, когда оптимизация кода нарушает эти требования. Особое внимание уделили авиационным системам реального времени, сертификация и верификация которых регулируются стандартом DO-178C.
На основе Clang специалисты адаптировали безопасный компилятор, ограничивающий преобразования, мешающие соблюдению авиационных стандартов. Разработка соответствует ГОСТ Р 71206-2024 для безопасных компиляторов C/C++.
Эксперимент провели на бортовой операционной системе реального времени, построенной по стандарту ARINC 653. Адаптированную версию сравнили с обычным Clang, оценив, насколько каждый вариант предотвращает нарушения безопасности.
Авторы надеются, что их подход будет востребован не только в авиастроении, но и в других критических системах, где требуется строгая предсказуемость программ. Исследование представили на конференции «Ломоносовские чтения — 2026».
