Ученые МГУ разработали безопасный компилятор для авиационных бортовых систем
12 августа 2026, 16:45
© Сгенерировано нейросетью
Программное обеспечение для бортовых систем реального времени должно быть детерминированным, предсказуемым и устойчивым к ошибкам. Однако современные компиляторы, стремясь ускорить выполнение кода и снизить потребление памяти, применяют сложные оптимизации. Как пояснил доцент кафедры системного программирования ВМК МГУ Виктор Кулямин, многие такие оптимизации разрушают детерминированность и серьезно затрудняют анализ и верификацию кода, что может нарушить безопасность его применения. Об этом сообщает портал «Научная Россия».
Методика безопасной компиляции
Ученые Виктор Кулямин, Вадим Марченко и Виталий Чепцов проанализировали требования к оптимизирующим компиляторам для бортовых систем и определили ситуации, в которых компиляторные оптимизации создают угрозу безопасности. На основе этого анализа разработана методика компиляции, ограничивающая небезопасные оптимизации для выполнения требований безопасности.
Инструмент на базе Clang и его интеграция в ОС CLOS
В практической части исследования создан инструмент безопасной компиляции на основе популярного компилятора Clang, соответствующий отечественному стандарту ГОСТ Р 71206-2024. Инструмент интегрирован в операционную систему реального времени CLOS, разработанную по стандарту ARINC 653, который применяется при создании вычислительных систем для авиации. Результаты работы были представлены на конференции «Ломоносовские чтения».
Ожидается, что новый подход будет востребован при разработке и сертификации авиационного программного обеспечения и других критически важных систем.
Ранее «RUБЕЖ» сообщал, что VisionLabs внедрила биометрию в аэропортах, система пропускает до 30 человек в минуту.
Благодарим за оставленный Вами отзыв! Мы стараемся становиться лучше!
Подведены итоги Евразийских форумов по развитию пассажирских маршрутов NETWORK 2026 и развитию грузовых маршрутов NETWORK CARGO 2026
Владимир Баженов: «Дисциплинировать водителей и снижать аварийность до 30% в местах установки помогает система фотовидеофиксации»
Алексей Шабля: «Фактически сейчас отрасль обескровлена: у заказчиков нет возможности закупать новые технические средства»
Дамир Гарифзянов: «Включать требования ПП № 2107 в тендерную документацию начнем в 2017 году — по мере появления пулов сертифицированного оборудования»
Вячеслав Воробьев: «Наш выбор — закупки под ключ, в которых производитель отвечает за все лабораторные тесты»
Александр Белоусов: «Вступление ПП № 2107 — не повод для паники, а сигнал к ускорению продуктовой доработки»
Новый номер журнала RUБЕЖ о безопасности ТЭК: защита объектов в агрессивных средах, импортозамещение, закупки, биометрические СКУД и новые нормативные требования.
Журнал RUБЕЖ
Пожарная безопасность
Транспортная безопасность
Безопасность промышленности и ТЭК
