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