Ученые МГУ разработали безопасный компилятор для авиационных бортовых систем
53 минуты назад
© Сгенерировано нейросетью
Программное обеспечение для бортовых систем реального времени должно быть детерминированным, предсказуемым и устойчивым к ошибкам. Однако современные компиляторы, стремясь ускорить выполнение кода и снизить потребление памяти, применяют сложные оптимизации. Как пояснил доцент кафедры системного программирования ВМК МГУ Виктор Кулямин, многие такие оптимизации разрушают детерминированность и серьезно затрудняют анализ и верификацию кода, что может нарушить безопасность его применения. Об этом сообщает портал «Научная Россия».
Методика безопасной компиляции
Ученые Виктор Кулямин, Вадим Марченко и Виталий Чепцов проанализировали требования к оптимизирующим компиляторам для бортовых систем и определили ситуации, в которых компиляторные оптимизации создают угрозу безопасности. На основе этого анализа разработана методика компиляции, ограничивающая небезопасные оптимизации для выполнения требований безопасности.
Инструмент на базе Clang и его интеграция в ОС CLOS
В практической части исследования создан инструмент безопасной компиляции на основе популярного компилятора Clang, соответствующий отечественному стандарту ГОСТ Р 71206-2024. Инструмент интегрирован в операционную систему реального времени CLOS, разработанную по стандарту ARINC 653, который применяется при создании вычислительных систем для авиации. Результаты работы были представлены на конференции «Ломоносовские чтения».
Ожидается, что новый подход будет востребован при разработке и сертификации авиационного программного обеспечения и других критически важных систем.
Ранее «RUБЕЖ» сообщал, что VisionLabs внедрила биометрию в аэропортах, система пропускает до 30 человек в минуту.
Благодарим за оставленный Вами отзыв! Мы стараемся становиться лучше!
Мегафон обеспечил связью и быстрым интернетом новый терминал аэропорта Рощино
Страны СНГ возглавили анти-рейтинг по числу авиапроисшествий по итогам первого полугодия 2026 года
Перевозчиков топлива освободили от весогабаритного контроля до конца 2026 года
РЖД тестирует в Москве беспилотную «Ласточку» 4-го поколения
ИТС Брянской агломерации модернизировала 40 светофоров и установила 138 детекторов транспорта
Госсовет обсудил тему «гарантирующих перевозчиков» в регионах и новые источники финансирования
Журнал RUБЕЖ собрал в новом номере мнения участников рынка о ключевых изменениях в сфере пожарной безопасности: как работать проектировщикам после обновления Сводов правил 3, 6, 484, 485, нормативные новации, анализ госзакупок и применение нацрежима.
Журнал RUБЕЖ
Пожарная безопасность
Транспортная безопасность
Безопасность промышленности и ТЭК
