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