В России создан алгоритм, повышающий надежность бортсистем самолетов

Дата публикации: 15-07-2026 08:32:00

Российские ученые создали алгоритм, повышающий надежность бортовых систем самолетов. Саму же разработку можно применять при создании и сертификации программного обеспечения для авиационных и других критически важных систем, где необходимы высокая надежность и предсказуемость работы. Авторы решили проблему преобразования программного кода для повышения производительности ИТ-системы.

Основное содержимое страницы с новостью.

В России создан алгоритм, повышающий надежность бортсистем самолетов

Российские ученые создали алгоритм, повышающий надежность бортовых систем самолетов. Саму же разработку можно применять при создании и сертификации программного обеспечения для авиационных и других критически важных систем, где необходимы высокая надежность и предсказуемость работы. Авторы решили проблему преобразования программного кода для повышения производительности ИТ-системы.

Создание алгоритма

В России создали алгоритм, повышающий надежность бортовых систем самолетов, пишет ТАСС. Разработку можно применять при создании и сертификации программного обеспечения (ПО) для авиационных и других критически важных ИТ-систем.

В июле 2026 г. ученые Московского государственного университета (МГУ) имени М.В. Ломоносова разработали алгоритм, обеспечивающий точность и предсказуемость работы бортовых ИТ-систем самолетов и другой техники.

Исследователи факультета вычислительной математики и кибернетики МГУ предложили методику применения технологий безопасной компиляции для встроенных систем ответственного назначения.

Подход позволяет учитывать требования безопасности при использовании современных компиляторов и снижать риски, связанные с оптимизацией программного кода. Разработка может применяться при создании и сертификации ПО для авиационных и других критически важных ИТ-систем, где необходимы высокая надежность и предсказуемость работы, сообщили в пресс-службе вуза.

Авторам удалось адаптировать технологии оптимизации обработки данных к бортовым системам, работающим в реальном времени. Они решили проблему преобразования программного кода для повышения производительности ИТ-системы, которая влияет на предсказуемость работы таких программ и усложняет процесс верификации.

«Результаты работы могут способствовать развитию технологий разработки надежного ПО для ИТ-систем, работающих в условиях повышенных требований к безопасности. В исследовании проанализированы требования к оптимизирующим компиляторам для бортовых ИТ-систем с учетом специфики разных областей, а также выявлены сценарии, где такие компиляторные оптимизации могут приводить к нарушению требований безопасности ПО», — пояснили в МГУ.

Решение многих проблем

К встроенным ИТ-системам ответственного назначения предъявляются повышенные требования к безопасности и надежности. В зависимости от области применения на такие системы распространяются различные нормативные требования. Например, для бортовых операционных систем (ОС) реального времени в гражданской авиации применяются требования стандарта DO-178C, регулирующего процессы разработки и верификации ПО.

Одна из ключевых проблем — использование компиляторных оптимизаций. Современные компиляторы могут существенно преобразовывать программный и бинарный код для повышения производительности, но это снижает предсказуемость работы программ и усложняет их верификацию.

Особый интерес

Особое внимание ученые МГУ уделили интеграции безопасного компилятора, разработанного в соответствии с российским стандартом ГОСТ Р 71206-2024, в бортовую ОС реального времени. Предложена методика адаптации безопасного компилятора на основе компилятора Clang для применения во встроенных ИТ-системах. Подход был рассмотрен на примере бортовой ОС реального времени, построенной на основе стандарта ARINC 653, применяемого при создании авиационных вычислительных ИТ-систем.

Программные роботы, ИИ-инфлюенсеры и война с маркетплейсами: о чем говорят ритейлеры цифровизация

«При разработке ПО для ИТ-систем ответственного назначения важно учитывать, как компиляторные оптимизации могут влиять на безопасность и предсказуемость работы программ. Предложенная методика позволяет адаптировать технологии безопасной компиляции для использования в бортовых ИТ-системах и учитывать требования нормативных документов», — отметил доцент кафедры системного программирования факультета вычислительной математики и кибернетики (ВМК) МГУ Виктор Кулямин.

Исследователи также сравнили разработанный компилятор с одним из самых популярных современных компиляторов — Clang, оценив, насколько эффективно каждый из них предотвращает появление потенциальных ИТ-уязвимостей при оптимизации кода.

• Почём сегодня объектное хранилище на 2 000 Гб? Предложения десятков поставщиков ― на ИТ-маркетплейсе CNewsMarket

Схожие новости

#	Наименование новости	Тональность	Информативность	Дата публикации
1	В России создан алгоритм, повышающий надежность бортсистем самолетов	5	7	15-07-2026
2	В России создан алгоритм, повышающий надежность бортсистем самолетов	5	7	15-07-2026
3	В России создан алгоритм, повышающий надежность бортсистем самолетов	5	7	15-07-2026
4	В России разработали алгоритм для повышения надежности бортовых систем	0	5	15-07-2026
5	В МГУ создали алгоритм, повышающий надежность бортовых систем самолетов	5	7	15-07-2026
6	В России создали программное обеспечение для обучения бортового интеллекта самолета	0	0	23-04-2020
7	Российские ученые создали лазерный радар для повышения безопасности авиаполетов	0	0	30-08-2019
8	В России открыли способ создания сверхпрочных материалов для авиации и космической техники	5	8	17-06-2026
9	В России создали ИИ-систему для автоматической генерации уровней в видеоиграх	0	0	04-06-2025
10	В России разработали интеллектуальную систему обнаружения угроз в аэропортах	0	0	29-08-2019

Классификация: Наука. Схожих патентов: 0. Схожих новостей: 10. Тональность: 5. Информативность: 7. Источник: www.cnews.ru.