В МГУ создали алгоритм, повышающий надежность бортовых систем самолетовВ МГУ создали алгоритм, повышающий надежность бортовых систем самолетов
15.07.2026
Источник: ТАСС Ученые Московского государственного университета имени М. В. Ломоносова создали алгоритм, обеспечивающий точность и предсказуемость бортовых систем самолетов и другой техники. Об этом сообщили ТАСС в пресс-службе вуза. "Исследователи факультета вычислительной математики и кибернетики МГУ предложили методику применения технологий безопасной компиляции для встроенных систем ответственного назначения. Подход позволяет учитывать требования безопасности при использовании современных компиляторов и снижать риски, связанные с оптимизацией программного кода. Разработка может применяться при создании и сертификации программного обеспечения для авиационных и других критически важных систем, где необходимы высокая надежность и предсказуемость работы", - сообщили в МГУ. Авторы смогли адаптировать технологии оптимизации обработки данных к бортовым системам, работающим в реальном времени. Они решили проблему преобразования программного кода для повышения производительности системы, которая влияет на предсказуемость работы таких программ и усложняет процесс верификации. "Результаты работы могут способствовать развитию технологий разработки надежного программного обеспечения для систем, работающих в условиях повышенных требований к безопасности", - пояснили в вузе. |
В данный момент работает актуальная почта samara@srpov.gosnadzor.gov.ru
Телефон доверия по нарушениям промышленной безопасности 8 (846) 971-03-57
28.07.2026 г. Руководитель управления - Евгений Васильев проведет приём граждан в приемной Президента в г. Саратове
Уважаемые заявители! Выдача удостоверений Отраслевой Территориальной Комиссии (ОТК) Средне-Поволжском Управлении Ростехнадзора осуществляется в КАНЦЕЛЯРИИ в городе Самара (ул. Нагорная, 136 «А») понедельник - четверг с 16-00 до 17-00 / пятница с 15-00 до 16-00
