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

Дата публикации: 15-07-2026 07:55:11

Исследователи факультета вычислительной математики и кибернетики МГУ предложили методику применения технологий безопасной компиляции для встроенных систем ответственного назначения. Подход позволяет учитывать требования безопасности при использовании современных компиляторов и снижать риски, связанные с оптимизациями программного кода. Разработка может использоваться при создании и сертификации программного обеспечения для авиационных и других критически важных систем, где требуется высокая надежность и предсказуемость работы.
К встроенным системам ответственного назначения предъявляются повышенные требования к безопасности и надёжности. В зависимости от области применения на такие системы распространяются различные нормативные требования. Например, для бортовых операционных систем реального времени в гражданской авиации применяются требования стандарта DO-178C, регулирующего процессы разработки и верификации программного обеспечения (ПО).
Одна из ключевых проблем – использование компиляторных оптимизаций. Современные компиляторы могут существенно преобразовывать программный и бинарный код для повышения производительности, но это снижает предсказуемость работы программ и усложнять их верификацию.
В исследовании проанализированы требования к оптимизирующим компиляторам для бортовых систем с учётом специфики разных областей, а также выявлены сценарии, где такие компиляторные оптимизации могут приводить к нарушению требований безопасности ПО.
Особое внимание ученые уделили интеграции безопасного компилятора, разработанного в соответствии с российским стандартом ГОСТ Р 71206-2024, в бортовую операционную систему реального времени. Предложена методика адаптации безопасного компилятора на основе компилятора Clang для применения во встроенных системах. Подход был рассмотрен на примере бортовой операционной системы реального времени, построенной на основе стандарта ARINC 653, применяемого при создании авиационных вычислительных систем.
Исследователи также сравнили разработанный компилятор с одним из самых популярных современных компиляторов — Clang, оценив, насколько эффективно каждый из них предотвращает появление потенциальных уязвимостей при оптимизации кода.
«При разработке программного обеспечения для систем ответственного назначения важно учитывать, как компиляторные оптимизации могут влиять на безопасность и предсказуемость работы программ. Предложенная методика позволяет адаптировать технологии безопасной компиляции для использования в бортовых системах и учитывать требования нормативных документов», — отметил доцент кафедры системного программирования факультета ВМК МГУ Виктор Кулямин.
Работа была представлена на научной конференции «Ломоносовские чтения».

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

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

#	Наименование новости	Тональность	Информативность	Дата публикации
1	В России создан алгоритм, повышающий надежность бортсистем самолетов	5	7	15-07-2026
2	📅Среда, друзья! Середина лета ☀ А наш загоревший на море ...	5	7	15-07-2026
3	Платформа вместо хаоса: как российское решение наводит порядок в коде и его безопасности	5	7	11-06-2026
4	В МГУ создали алгоритм, повышающий надежность бортовых систем самолетов	5	7	15-07-2026
5	DevSecOps на практике: райтапы заданий с митапа CyberCamp глазами тех, кто их придумал	5	7	09-07-2026
6	🚀 ТОП-10 изобретений и технологических разработок России в 2026 году ...	5	8	04-07-2026
7	Ученые РФ классифицируют уязвимости платформ "Умного города" для создания систем защиты	0	0	01-05-2020
8	В России создали программное обеспечение для обучения бортового интеллекта самолета	0	0	23-04-2020
9	В России разработали микрокомпьютер с ИИ для робототехники	0	5	10-07-2026

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