Учёные МГУ разработали алгоритм, повышающий надёжность систем самолётов

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