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