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

МГУ создал алгоритм для более надёжных бортовых систем самолётов и критически важной техники.

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

Специалисты адаптировали технологии оптимизации обработки данных к системам, работающим в реальном времени, и решили проблему преобразования программного кода, которая усложняет верификацию и снижает предсказуемость. Подход учитывает требования безопасности при использовании современных компиляторов и снижает риски, связанные с оптимизацией кода, сообщает ТАСС.

Разработка может применяться при создании и сертификации программного обеспечения для авиационных и других критически важных систем, где необходимы высокая надёжность и предсказуемость. Как отметили в МГУ, результаты работы могут способствовать развитию технологий создания надёжного ПО для систем в условиях повышенных требований к безопасности.