Ученые МГУ научили авиационные системы работать предсказуемо

Современные компиляторы часто оптимизируют программный код для ускорения вычислений, однако такие изменения делают поведение системы менее прозрачным, что недопустимо в авиации. Разработка МГУ позволяет адаптировать технологии безопасной компиляции для встроенных систем, строго соблюдая требования безопасности и отраслевых стандартов, таких как DO-178C или ARINC 653.

Команда Виктора Кулямина интегрировала безопасный компилятор, соответствующий стандарту ГОСТ Р 71206-2024, в архитектуру бортовой операционной системы. В ходе испытаний ученые сравнили эффективность своего решения с широко используемым компилятором Clang, оценив способность обоих инструментов предотвращать появление уязвимостей в коде. Предложенный подход дает возможность разработчикам внедрять высокопроизводительные решения без потери контроля над надежностью критических узлов самолета.