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