В МГУ установили, почему ускорение бортового ПО угрожает безопасности самолёта

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